Felix

A high performance statically typed polymorphic microthreaded C/C++ compatible scripting language integrating procedural and functional programming styles ...

Index of /debian

[DIR] Parent Directory 18-May-2006 06:43 - [ ] felix_1.1.0-1.diff.gz 11-Jul-2005 11:50 3k GZIP compressed docume> [ ] felix_1.1.0-1.dsc 11-Jul-2005 11:50 1k ...

polymorphism

Polymorphism. Felix provides a simplified kind of template style compile time polymorphism. All definitions and declarations can be polymorphic. ...

pattern matching

Pattern Matching. patterns_match. Felix provides 3 kinds of pattern matching: algebraic pattern matching, regular sequence matching and general LR parsing. ...

Regular Expressions

Dynamic Typing: Regular Strings. Felix supports subtyping of strings by regular expressions. The typing can be enforced at run time, and uses a fast ...

Static typing model

Name, Sample Type annotation, Sample Value, Comments. Tuple, int * long * double, 1,2L,3.0, Categorical product. Unit, 1, (), Degenerate product. Variant ...

[PS] Compiling logic programs to C using GNU C as a portable assembler ...

File Format: Adobe PostScript - Compiling logic programs to C using GNU C as a portable assembler. Fergus Henderson, Thomas Conway, and Zoltan Somogyi. ffjh,conway,zsg@cs.mu.OZ. ...

Felix Download Felix 1.1.2

Prerequisites. You must first have installed:. Ocaml 3.09 to build the Felix compiler,; Python to run the build scripts,; A C++ compiler. ...

1. FELIX DOCUMENTATION

1. FELIX DOCUMENTATION. 1.1. TUTORIAL and REFERENCE. Basic Tutorial (interscript): tutorial/introduction/en_flx_tutorial_top.html ...

interesting Papers

Some Interesting Papers. GNU C tricks. Fergus Henderson, Thomas Conway, and Zoltan Somogyi wrote a report on Compiling logic programs to C using GNU C as a ...