4 ms·
> It seems that if we take one more logical step in this direction, we'll get generics. I agree, Unix would have been so much better with generics, ADTs, highe
by Camel2 11y ago
> It seems that if we take one more logical step in this direction, we'll get generics.
I agree, Unix would have been so much better with generics, ADTs, higher-order functions, monads, higher-kinded types, dependent types and structural pattern matching.
As I always say: "Those who do not understand generics were condemned to invent Unix, poorly."
- golergka 11y agoYes, what you mean by sarcasm is exactly what I meant. When you try to improve stuff by going more universal, more abstract way, with data formats that are more "right", that's where you'll find yourself. So, may be it's actually good that among all the modern tools in our arsenal we actually have something extremely simple and non-generic, which doesn't follow some abstract principle and just works instead.
- Mr_T_ 11y agoIf the Unix guys were smart they would have used an Idris REPL as default shell.
- bishop_mandible 11y agoWhy not Nimlang?
- Mr_T_ 11y agoBecause Nim is not dependently typed. You can't get sh*t done without dependent types.