![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
xacidhttps://bitbucket.org/pl-uwr/helium
Helium is a very experimental programming language that boasts advanced algebraic effects, sophisticated polymorphism and abstraction for types and effects through a simple module system in the style of ML. This package contains the language itself, as well as a rudimentary standard library and some larger examples. The source code can be found in the src subdirectory, and the library and examples respectively in lib and examples subdirectories. There is also some basic support for editing Helium code in vim and emacs, which should at the least provide syntax highlighting.
Requirements
Helium is written in pure OCaml with no external libraries. In order to build Helium you need running installation of OCaml 4.05.0 or higher and ocamlbuild.
https://bitbucket.org/pl-uwr/helium/wiki/popl20/Home.md
Helium is a very experimental programming language that boasts advanced algebraic effects, sophisticated polymorphism and abstraction for types and effects through a simple module system in the style of ML. This package contains the language itself, as well as a rudimentary standard library and some larger examples. The source code can be found in the src subdirectory, and the library and examples respectively in lib and examples subdirectories. There is also some basic support for editing Helium code in vim and emacs, which should at the least provide syntax highlighting.
Requirements
Helium is written in pure OCaml with no external libraries. In order to build Helium you need running installation of OCaml 4.05.0 or higher and ocamlbuild.
https://bitbucket.org/pl-uwr/helium/wiki/popl20/Home.md
