プロジェクトの説明

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.

レビュー
あなたの評価
レビューする

統計情報

最新の動き

2019-04-19
10:18
JPL
[SVN] リビジョン 613 をコミットしました
fix list typing: use lists of structs
2019-04-18
06:32
JPL
[SVN] リビジョン 611 をコミットしました
fix bug in foreach & rewrite more code from c to jpl
04:38
JPL
[SVN] リビジョン 610 をコミットしました
use foreach loop to iterate over list
03:52
JPL
[SVN] リビジョン 609 をコミットしました
emit destructors of structs in list in struct
活動履歴を見る