29 Feb
2016
29 Feb
'16
2:25 p.m.
On Mon, Feb 29, 2016 at 09:08:01AM +0100, Kristoffer Føllesdal wrote:
Internally in programs I will use the specific functions for each case. But I want some «syntactic sugar» for this functions when doing direct calculations in for example ghci. It will be more user friendly for direct interaction not to have four different functions that in practice do the same thing.
It's a reasonable desire, but I think losing type inference is going to lose you more than you gain.