noether-lang/noether
View on GitHub ↗ ★ 130
Noether programming language
4 mentions on Hacker News by 4 people: 1 story, 3 comments · first 2015-03-20 · latest 2024-12-09
20082026
-
You might like the Noether programming language design https://github.com/noether-lang/noether/blob/4115cdb3f472360... , although I don't know if it'll ever be actually implemented.
comment by lmm · 2024-12-09 · in JSON5 – JSON for Humans -
…how it is built in layers that let one trade verification difficulty vs expressiveness as desired. https://github.com/noether-lang/noether/tree/master/doc/pres... Among other interesting features. I recommend reading old one then new one.
comment by nickpsecurity · 2017-10-30 · in Simplicity: A New Language for Blockchains [pdf] -
…being that as you add features you lessen your ability to reason about aspects of your code. See https://github.com/noether-lang/noether/blob/master/doc/pres... and skip down the slide "Sublanguages and their symmetries".
comment by kibwen · 2015-03-20 · in OCaml: Polymorphism