Hacker News new | ask | show | jobs
by zadler 2596 days ago
Its a bit domain specific to describe as a programming language. The blog post didn’t describe and control flow features for example. I suppose computation because it is able to incorporate diverse computational algorithms. The unit aware resolver seems like a spin in type systems.
1 comments

> The blog post didn’t describe and control flow features for example.

Is there anything innovative to describe?