[Haskell-cafe] modules as implicit data structures

Sven Panne svenpanne at gmail.com
Thu Sep 6 13:00:54 UTC 2018

Am Do., 6. Sep. 2018 um 11:43 Uhr schrieb Petr Pudlák <petr.mvd at gmail.com>:

> [...] Has some language explored this idea of making modules explicit as
> language-level objects? It seems that there could be some interesting
> possibilities, such as: [...]

You might want to have a look at Standard ML's signatures, structures and
functors, they are probably what you're thinking about.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180906/1a7eb3bc/attachment.html>

More information about the Haskell-Cafe mailing list