![]() CCHR is implemented in Haskell, with software transactional memory to manage synchronization of multiple solver threads working on the same problem. According to the site referenced by the above-mentioned link, "It also contains an implementation of WAM for Haskell, so Prolog-style terms with variables are now possible." STM-based CHR implementation, by Michael Stahl (gzipped TAR file) CCHR: STM-based CHR implementation by Lam and Sulzmann According to the site referenced by the above-mentioned link, "CCHR is an experimental concurrent implementation of Constraint Handling Rules, designed to exploit concurrency and parallelism explicitly. Generic Haskell Generic Haskell An extension of Haskell that supports generic programmingĭata Field Haskell Data Field Haskell A dialect of the functional programming language Haskell that provides an instance of data fieldsĮden Eden A Haskell dialect for parallel programmingĬhameleon Chameleon A Haskell-style language which implements the ideas described in a ``A Theory of Overloading``ĬHR (Constraint Handling Rules) Haskell CHR A concurrent committed-choice constraint logic programming language, implemented using GHC's software transactional memory. Helium Helium A Haskell subset for educational purposes pH A parallel version of Haskell from MIT. The compiler runs under Mac OS X, Windows (Cygwin), and various Unix flavors. UHC supports almost all Haskell 98 features plus experimental extensions. ![]() Large languages Haskell GHC GHC, The Glasgow Haskell Compiler, is written in Haskell Yhc Yhc, The York Haskell Compiler, is written in Haskell Jhc Jhc is a Haskell compiler which aims to produce the most efficient programs possible via whole program analysis nhc98 A compiler for Haskell 98, written in Haskell Ehc The purpose of the EHC project is to provide a description of a Haskell compiler which is as understandable as possible so it can be used for education as well as research. 2.7 QML, a functional quantum programming language.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |