On 28 February 2011 10:38, Henning Thielemann
Now that almost every syntax can be redirected to custom functions (RebindableSyntax, OverloadedStrings), would it make sense to map 'let' to 'fix' ?
For the record: are you talking about rewriting: let f = e in b into something like: (\f -> e) `letin` (\f -> b) where `letin` can be overloaded ("rebinded" is probably the better term) and has the default implementation: letin :: (a -> a) -> (a -> b) -> b fe `letin` fb = fb (fix fe) For example the following: let fac = \n -> if n == 0 then 1 else n * fac (n-1) in (fac 3, fac 5) would be translated into: (\fac -> \n -> if n == 0 then 1 else n * fac (n-1)) `letin` (\fac -> (fac 3, fac 5)) Bas