Re:Show HN: Dependently typed language for proofs that you c...
by tluyben2 on Saturday October 02, 2021 @03:04AM
(#28726613)
Maybe it is because of when you are doing this all day, you really don't see this anymore? I can read j/k just fine, as well as Haskell, but I find many imperative languages noisy and basically ugly and unreadable. I like things terse and as much as I can on 1 screen so I don't have to scroll or remember things (when you get older, remembering wtf something was called again gets pretty annoying; very strict static typing and defining types precisely (aka a zipcode or telephone number are not strings!) together with terse functional constructs help a lot; the IDE will know everything so you can focus on implementation).
[ Parent
| on HN ]
There are no comments on this comment yet.