2009/7/1 Matthias Görgens <[email protected]>:
>> As a side note, (allowing seq and unsafePerformIO if necessary) is it
>> possible to implement a map that preserves cycles (instead of
>> transparently replacing them with infinite copies?  Not horribly
>> useful, but would be quite cute.
>
> Baltasar Trancon y Widemann gave a talk on a generalized version of
> this problem at HaL4.  Short answer: The problem is tractable in
> theory, but you need heavy math.
>

Pretty cool--any paper/slides/transcript/video?

AHH
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to