
20 Dec
2013
20 Dec
'13
9:50 a.m.
On Fri, Dec 20, 2013 at 10:22 AM, John Wiegley
Daniel Trstenjak
writes: There are '$' and '$!', so it's just pity that '<$>' and '<$!>' would break this naming consistency, because '<$!>' wouldn't be the strict version of '<$>'.
I agree with Daniel.
What would be the strict version of <$>?