Re:Show HN: Dependently typed language for proofs that you c...
by Zababa on Sunday October 03, 2021 @01:49PM
(#28739010)
Programming languages aren't natural languages though, and I don't think they should be forced to look like them.
One thing for the "type before name" camp is that you don't have to use a keyword like "let" or "function" when declaring a function, but on the other hand you're going to introduce a keyword anyways if you add type inference.
One thing for the "type before name" camp is that you don't have to use a keyword like "let" or "function" when declaring a function, but on the other hand you're going to introduce a keyword anyways if you add type inference.