/LeatherScript

experimental altjs

Primary LanguageJavaScript

LeatherScript

Setup

npm install

Try

node src/cli/lthstx.js lib/lthstx.lthstx.json lib/std.lthstx > lib/std.lthstx.json
node src/cli/lthstx.js lib/std.lthstx.json examples/scratch.lth > examples/scratch.lth.json
node src/cli/lthgen.js examples/scratch.lth.json

Features

Recursive types

再帰的な構造に型をつけることができます。 例:

f : mutable simple string -> 'a as 'a;
f := (x : simple string) -> f