项目描述

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.

Your rating
Review this project

统计

近期活动

2022-09-01
04:56
JPL
[SVN] Commit revision 1252
fix missing deleter in if/when next
2022-08-21
01:18
JPL
[SVN] Commit revision 1251
fix double-free bug for lists
2022-08-20
09:52
JPL
[SVN] Commit revision 1250
fix bug: clear pointer after object has been deleted to prevent duplicate free by throw in assign...
2022-08-16
05:56
JPL
[SVN] Commit revision 1249
more compiler warnings & copy compiler error messages to file
Show history