4 ms·

This is true, but higher-order functions and polymorphism are extremely well-understood. (Including that there are various compromises with type-inference when

This is true, but higher-order functions and polymorphism are extremely well-understood. (Including that there are various compromises with type-inference when you combine them with other constructs),

di4na 3y ago
No. No they really are not well understood and the complications in the type system multiply fast.