Re: [Haskell-cafe] modules as implicit data structures

Thank you everyone, these are some very interesting pointers to explore! Petr čt 6. 9. 2018 v 15:01 odesílatel Sven Panne napsal:

Am Do., 6. Sep. 2018 um 11:43 Uhr schrieb Petr Pudlák

...

:

...

[...] 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.