Difference between revisions of "The Monad.Reader/Discuss Issue11"
Jump to navigation
Jump to search
m |
m |
||
Line 4: | Line 4: | ||
--[[User:Dfplace|Dfplace]] 16:04, 12 September 2008 (UTC) |
--[[User:Dfplace|Dfplace]] 16:04, 12 September 2008 (UTC) |
||
+ | |||
+ | === First-Order Logic à la Carte === |
||
+ | |||
+ | === MonadPlus: What a Super Monad! === |
Revision as of 23:10, 12 September 2008
How to Refold a Map
A reader (roconnor on the www.reddit.com website) pointed out that Incremental Map might be better implemented with FingerTrees. I was unfamiliar with FingerTrees, but very pleased with what I found. Indeed, it is easy to directly implement Incremental Maps with FingerTrees. I've attached a sketch of the implementation to serve as a follow-up to my article.
--Dfplace 16:04, 12 September 2008 (UTC)