[ prog / sol / mona ]

prog


(Strong Static vs Weak Dynamic) -> Typesystems

10 2024-11-07 16:39

>>5

This. Except that I think such language should be less like english and more like math. I'd say Haskell is pretty close to what I'm imagining.

11


VIP:

do not edit these