Slightly related to Magic Expressions of a Known Type, allow a static assertion saying there does NOT exist a function of a given type. This is somewhat of a solution in search of a problem.
E.g., X should never be an instance of Ord.
Slightly related to Magic Expressions of a Known Type, allow a static assertion saying there does NOT exist a function of a given type. This is somewhat of a solution in search of a problem.
E.g., X should never be an instance of Ord.
No comments :
Post a Comment