|
|
|
|
|
|
by zcesur
2050 days ago
|
|
|
In addition to @ratmice's comment, check out this post[1] on Existential Type. I've dabbled in Haskell myself with not much experience in ML, so I found it interesting to see how ML modules differ from Haskell typeclasses. Though they seem to be equi-expressive for the most part. [1]: https://existentialtype.wordpress.com/2011/04/16/modules-mat... |
|
|