Difference between revisions of "The Monad.Reader/Discuss Issue11"
Jump to navigation
Jump to search
m |
m (Reverted edits by Tomjaguarpaw (talk) to last revision by Dfplace) |
||
(2 intermediate revisions by 2 users not shown) | |||
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! === |
Latest revision as of 15:18, 6 February 2021
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)