Felix language

Felix is a modern statically typed, modular programming language which targets shared libraries rather than programs. It features automatic generation of event driven, cooperatively multitasked programs written in algorithmic style. It is hybrid functional, procedural and object oriented system

Felix generates C++ which is then built into a shared library and dynamically loaded by a client written architectural framework, which is also responsible for feeding an appropriate Felix coroutine messages.

Felix provides no primitive types. Instead, it provides powerful type combinators, and a facility for binding C++ types to Felix ones. A set of basic primitive types are provided in the standard library.

Here is an example of a C++ binding.

type int = "int";

incomplete type int = "int";

ctypes int, long;

incomplete ctypes astruct, bstruct;

fun add: int * int -> int = "$1+$2";

proc print: int = 'printf("%d",$1);';

Symbols are exported by the export statement. Function, procedures, and types can be exported. Note that types must be enclosed in brackets, because unfortunately 'as' is a keyword used in recursive type expressions.

export fun add of (int * int) as "add_int";

export proc print of (int * int) as "add_int";

export type (int) as "flx_int";

*.flx are Felix input files

*.cpp generated C++ implementation files *.hpp generated C++ header files

std.flx is the standard library.

1.1.1_rc1

felix(1) for a language introduction and man page index

flx(1) for a list of the tools.

flxcc(1) for a description of the wrapper generator tool.

flx_lit(1) for a description of literals

flx_op(1) for a list of operators

flx_cop(1) for a list of C operator precedence names

flx_key(1) for a list of keywords

flx_grammar(1) for a grammar summary

flx_lib_typ(1) for a list of library types

flx_dir(1) for a list of directives

flx_exec(1) for a list of executable statements

flx_decl(1) for a list of declarative statements

flx_bind(1) for a list of binding statements

See http://felix.sourceforge.net

John Maxwell Skaller, mailto:skaller@users.sourceforge.net