As a toy project, I'm actually experimenting with this, but instead with Lua. https://github.com/capsadmin/nattlua https://github.com/capsadmin/nattlua You ca

As a toy project, I'm actually experimenting with this, but instead with Lua. https://github.com/capsadmin/nattlua https://github.com/capsadmin/nattlua You can see some examples in the readme. To me it makes sense that the typesystem is basically lua rather than a mathematical ish looking language. It could prove to be more difficult to work with but I guess I'll find out.