Projektbeschreibung

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.

Bewertung
Ihr Bewertung
Rezensionen verfassen

Statistiken

Kürzliche Aktivitäten

2019-10-19
06:48
JPL
[SVN] Commit revision 815
implement compare-construct
2019-10-16
04:07
JPL
[SVN] Commit revision 814
implement compare-construct on primitive types and lists of primitive types (matching Haskell's l...
2019-10-15
2019-10-10
03:09
JPL
[SVN] Commit revision 812
use call-by-reference instead of call-by-value
Historie anzeigen