> 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…
> 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…