4 ms·
You sort of can with functors or GADTs.
by DonPellegrino 11y ago
You sort of can with functors or GADTs.
- lindig 11y agoLike you say, sort of. This would imply that you wrap all the basic types in a sum type. It's quite heavy. Using the PPX mechanism the compiler can also be extended to generate this code automatically but again, this isn't very natural at the moment.