Re:Reflecting on Haskell in 2017
by runeks on Monday December 04, 2017 @12:39PM
(#15845701)
> A lot of the time you can't tell whether something is a type parameter or a value.
> […] the mandatory split/duplication between function declaration and definition feels weird...
I believe you just answered your own critique: you can always tell whether something is a type parameter or a value, because type and implementation are kept separate.
Re:Reflecting on Haskell in 2017
by lmm on Monday December 04, 2017 @01:41PM
(#15846306)
They're in separate clauses but they look the same on their own. You have to look out to a few lines of context to see which is which. At a glance it's not even obvious which lines are function declarations and which are implementations.
> […] the mandatory split/duplication between function declaration and definition feels weird...
I believe you just answered your own critique: you can always tell whether something is a type parameter or a value, because type and implementation are kept separate.