Project Description

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.

Review
Your rating
Review this project

Statistics

Recent Activities

2021-02-28
08:31
JPL
[SVN] Commit revision 1180
simplify accessing variables from c-code
08:00
JPL
[SVN] Commit revision 1179
use exception-system wherever possible, exit only on internal errors
2021-02-27
07:53
JPL
[SVN] Commit revision 1178
remove error-construct (use UNSAFE flag and verbatim c-code instead, if necessary)
07:44
JPL
[SVN] Commit revision 1177
comment-out error-construct
07:34
JPL
[SVN] Commit revision 1176
require UNSAFE flag to use verbatim c-code
Show history