4 Sep
2011
4 Sep
'11
7:03 a.m.
* Sean Leather
On Sun, Sep 4, 2011 at 12:31, Roman Cheplyaka wrote:
I'm looking for an example of idiomatic usage of the fixpoint library[1].
I'm not sure if this counts for idiomatic usage, but you can check out our approach to incrementalization.
Yeah, it has more or less the same problems as my code above. You essentially defined your tree twice (Tree and F (Tree)). For such a simple type it's fine, but if it was an AST with a few dozens of constructors, such approach would be unacceptable. -- Roman I. Cheplyaka :: http://ro-che.info/