News for hackers. Stuff that matters.
Re:Ask HN: Go programming language is over ten years old. Wh... by cercatrova on Monday October 26, 2020 @12:40AM (#24892879)
TypeScript might be good for your use case, expressing programs in terms of their types. You could also try OCaml/ReasonML.

There are no comments on this comment yet.