Project Description Developer Dashboard Página Web Review this project

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.

Opinión
Your rating
Review this project

Statistics

Recent Activities

2019-01-16
14:34
JPL
[SVN] Commit revision 409
type-safety: use non-empty strings where possible
2019-01-14
05:09
JPL
[SVN] Commit revision 408
regression-test for reduce check when matching enums
05:08
JPL
[SVN] Commit revision 407
reduce check to verify finity when matching enums in recursive function
2019-01-13
10:44
JPL
[SVN] Commit revision 406
regression-test for finity-check for recursion on matched optionals
10:43
JPL
[SVN] Commit revision 405
finity-check for recursion with matching optionals
Show history