Maciej Kotowicz asked about implementing binomial heaps using types to
enforce the shape invariants.  I dug up an old email from 1998 talking
about how to do this with nested types, and posted it to my blog:
http://okasaki.blogspot.com/2009/10/binomial-queues-as-nested-type.html

-- Chris

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to