[Haskell-cafe] Local types
imantc at gmail.com
Mon Jan 25 10:48:55 UTC 2016
>> is this not an attempt to move module functionality inside function?
> Same counter-argument can be applied to local functions.
not quite. Let's look at the current state:
Module inside module: ok (module reexport)
Type inside type: ok (data declaration etc)
Function inside function: ok (local functions)
Type / Instance / module inside function is quite a bit different
> finer granularity than module level.
by turning function into a mini module?
Currently module does not give control over instance export. Should
this not be addressed first?
This would be a step towards more complexity in syntax. While there
may be benefits, complexity always comes at a price.
> Haskell programmers are more or less used to pay the cost of abstraction.
well should we not start thinking about keeping those costs down if
possible - performance and otherwise? Ideally, minimizing them?
More information about the Haskell-Cafe