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.
This page is a skeleton web page which was automatically set up by OSDN system. The purpose of this page is to encourage the full use of the project web.
You can use the project web area to freely build Web sites to provide project information. For more details on the functions and rules of the project Web and how to use it, please read the documents regarding web site hosting.