22 Jul
2013
22 Jul
'13
9:06 a.m.
On Mon, Jul 22, 2013 at 07:52:06PM +1200, Chris Wong wrote:
A binding is memoized if, ignoring everything after the equals sign, it looks like a constant.
In other words, these are memoized: [...] f = \x -> x + 1 [...] and these are not:
f x = x + 1
In what sense is the former memoised? I'm not aware of any difference between these two definitions. Tom