Re:OCaml Programming: Correct and Efficient and Beautiful
by laserlight on Saturday June 25, 2022 @03:19AM
(#31873258)
I’ve similarly developed my own habits. But why spend our effort into developing habits, when we can address the problems across people --- junior and senior --- automatically with a type system.
[ Parent
| on HN ]
Re:OCaml Programming: Correct and Efficient and Beautiful
by camgunz on Saturday June 25, 2022 @12:33PM
(#31876610)
Oh 100% agree. The problem I've run into is my habits aren't others' habits, so we burn time arguing about how best to $CODE, and I rarely walk away from those satisfied or more educated (I'm sure this feeling is mutual haha). I wonder if "immune system" is to "type system" as "my special formatting" is to "use a formatter" here.