[Haskell-cafe] modules as implicit data structures

[Petr Pudlák]

Thank you everyone, these are some very interesting pointers to explore!

Petr

čt 6. 9. 2018 v 15:01 odesílatel Sven Panne <svenpanne at gmail.com> napsal:

> 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.
>
> Cheers,
>    S.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180910/f96de1e2/attachment.html>