User:Andreykapustin

I'm currently working on a new language SPL (System Programming Language) to replace C for OS implementation. The idea was to take C as a starting point, and add missing features (error handling, strict typing, programming-by-contract, modularity, and so on).

I've been doing it for quite some time, so the SPL specifications are finished, and the SPL compiler (written in SPL itself) can correctly process any SPL code. I'm only now starting to write some OS-related code, at the same time finishing the native IA-32 compiler backend.

Anyone interested can find out more at the project site at [1], from which language/library specifications can be downloaded as well as the current stable compiler (alas, Windows only at this time, but it works under WINE/Linux too).