http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM6RalfLaemmel 2026-04-06T01:03:02Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M6RalfLaemmel&diff=207&oldid=prev 2011-12-12T10:06:27Z

<p>1 revision</p> <p><b>New page</b></p><div>[[Category:WG211]]<br /> <br /> <br /> &lt;h2&gt;The Expression Lemma&lt;/h2&gt;<br /> <br /> &lt;h3&gt;Ralf L&amp;auml;mmel, joint work with Ondrej Rypacek&lt;/h3&gt;<br /> <br /> Algebraic data types and catamorphisms (folds) play a central role in functional programming as they allow programmers to define recursive data structures and operations on them uniformly by structural recursion. Likewise, in object-oriented (OO) programming, recursive hierarchies of object types with virtual methods play a central role for the same reason. There is a semantical correspondence between these two situations which we reveal and formalize categorically. To this end, we assume a coalgebraic model of OO programming with functional objects. The development may be helpful in deriving refactorings that turn sufficiently disciplined functional programs into OO programs of a designated shape and vice versa.</div>

Admin