Description du projet

JPL - "Jakob's Programming Language" (working title).
This programming language is developed to compile to c and to implement c-bindings easily while at the same time being as safe as possible (i.e. implementing strong static type-checking with explicitly distinguishing between partial resp. total functions).
It combines elements from C++, Haskell, OCaml and Rust.
While it's type-system won't be as fancy as Haskell's in the foreseeable future,
the language will neither introduce Haskell's pitfalls (e.g. space-leaks).
JPL is self-hosting from the first week of it's development (built starting from a small 1k core that compiled itself to c) as an additional test of it's capabilities.

Évaluation
Votre évaluation
Votre avis sur ce projet

Statistiques

Activités récentes

2021-12-03
02:45
JPL
[SVN] Commit revision 1229
fix missing error-message when call gives too few results in return
2021-11-27
2021-11-21
04:44
JPL
[SVN] Commit revision 1227
update limitiations: datas can now be mutually recursive
2021-11-19
21:57
JPL
[SVN] Commit revision 1226
introduce mutually recursive data-types
2021-11-09
09:31
JPL
[SVN] Commit revision 1225
factor-out id from let definitions
Afficher l'historique