20 Dec
2013
20 Dec
'13
11 a.m.
On Fri, Dec 20, 2013 at 11:57 AM, Daniel Trstenjak < daniel.trstenjak@gmail.com> wrote:
On Fri, Dec 20, 2013 at 10:50:24AM +0100, Johan Tibell wrote:
What would be the strict version of <$>?
In my case, it's more about the intuition of the name '<$!>' and less about the possibility of a strict version of '<$>'.
What's unintuitive about the definition of <$!> above? It's seems like the only sensible one.