Hi,
Bas van Dijk wrote:
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`
Now that almost every syntax can be redirected to custom functions
(RebindableSyntax, OverloadedStrings), would it make sense to map 'let'
to 'fix' ? Would this open a way to implement observable sharing as
needed in EDSLs by a custom 'fix'?
___
On 28 February 2011 10:38, Henning Thielemann
lemm...@henning-thielemann.de wrote:
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