3 ms·
In most languages the type language is a different language to the executable language. In cases where this is so, I prefer the type declaration to be on a sepa
by kybernetikos 3y ago
In most languages the type language is a different language to the executable language. In cases where this is so, I prefer the type declaration to be on a separate line to the executable definition rather than having them intermixed. I think Haskell has the right approach here.
- mrkeen 3y ago> I think Haskell has the right approach here. I dislike that I can't instantly see which parameter has which type, but I suppose it's the only way to support currying and point-free.