Stories with similar links:
- FLENG Version 12 - A compiler for a concurrent logic programming language authored by Bunny351 3 months ago | 17 points | 4 comments
- FLENG Version 9 now available authored by Bunny351 1 year ago | 18 points | 11 comments
- Version 7 of FLENG, a concurrent logic programming language, has been released authored by Bunny351 1 year ago | 11 points | 8 comments
Nice! Is this a successor to Strand? Could you elaborate on the differences?
Indeed, after learning a lot from implementing Strand, I was able to start fresh while still taking over some ideas,
From the implementation side: the runtime system is written in C (and not Forth), and the compiler generates x86-64 or arm32 assembler and the overall system is much faster. Calling C code is relatively straightforward. The system uses a refcounting GC (no pauses) and utilizes native threads (with no shared heap), but there are currently no facilities for distributed computing (yet). I was able to be slightly more faithful in the implementation of non-determinism: clause selection can now suspend on multiple variables (but matching still takes place sequentially).
From the language side: FLENG is very low level, but FGHC is basically Strand with full (output-) unification.