Comments on: Elegant memoization with functional memo tries http://conal.net/blog/posts/elegant-memoization-with-functional-memo-tries Inspirations & experiments, mainly about denotative/functional programming in Haskell Sat, 26 Sep 2020 21:06:12 +0000 hourly 1 http://wordpress.org/?v=4.1.17 By: Audun http://conal.net/blog/posts/elegant-memoization-with-functional-memo-tries#comment-181 Tue, 29 May 2012 11:12:47 +0000 http://conal.net/blog/?p=54#comment-181 Thank you for adding the instance, and for the attribution :)

If you make another release, you can add my full name: Audun Skaugen (no hurry, though).

Oh, and sorry for the code formatting in the previous comment; that’s what you get for not previewing.

]]> By: conal http://conal.net/blog/posts/elegant-memoization-with-functional-memo-tries#comment-180 Sun, 06 May 2012 23:12:04 +0000 http://conal.net/blog/?p=54#comment-180 Hi Audun. I like your idea of a HasTrie Void instance. Omitting it was an oversight. I just added your instance and released version 0.4.12.

I think you meant “there is one function Void -> a” (rather than none), ignoring bottoms, namely the empty function.

]]> By: Audun http://conal.net/blog/posts/elegant-memoization-with-functional-memo-tries#comment-179 Sat, 21 Apr 2012 19:26:45 +0000 http://conal.net/blog/?p=54#comment-179 Hi, I had use for a HasTrie instance for the Void type. I could think of two instances. The instance that would seem to follow from the isomorphisms is:

instance HasTrie Void where data Void :->: a = VoidTrie trie _ = VoidTrie untrie VoidTrie = absurd enumerate VoidTrie = []

That is, there are no functions Void -> a, and a^Void is isomorphic to Unit. However, this instance makes constant functions strict, so that memo (const a) undefined == undefined. This can be alleviated with an instance closer to the Unit instance.

Any thoughts? Would you be willing to add a Void instance to MemoTrie?

]]> By: Conal Elliott » Blog Archive » Memoizing polymorphic functions via unmemoization http://conal.net/blog/posts/elegant-memoization-with-functional-memo-tries#comment-178 Sat, 02 Oct 2010 15:40:49 +0000 http://conal.net/blog/?p=54#comment-178 […] can work out an answer by appealing to the same laws of exponents used in memoization, but now applied in reverse (to create function types instead of eliminate […]

]]> By: Conal Elliott » Blog Archive » Memoizing higher-order functions http://conal.net/blog/posts/elegant-memoization-with-functional-memo-tries#comment-177 Wed, 21 Jul 2010 15:41:24 +0000 http://conal.net/blog/?p=54#comment-177 […] all at once from a denotational perspective, and incrementally from an operational perspective. See Elegant memoization with functional memo tries and Elegant memoization with higher-order […]

]]> By: Conal Elliott » Blog Archive » Elegant memoization with higher-order types http://conal.net/blog/posts/elegant-memoization-with-functional-memo-tries#comment-176 Wed, 21 Jul 2010 04:48:29 +0000 http://conal.net/blog/?p=54#comment-176 […] using the essential idea of Ralf Hinze’s paper Generalizing Generalized Tries. The blog post Elegant memoization with functional memo tries describes a library, MemoTrie, based on both of these sources, and using associated data types. I […]

]]> By: Conal Elliott » Blog Archive » Nonstrict memoization http://conal.net/blog/posts/elegant-memoization-with-functional-memo-tries#comment-175 Wed, 14 Jul 2010 02:46:28 +0000 http://conal.net/blog/?p=54#comment-175 […] written a few posts about functional memoization. In one of them, Luke Palmer commented that the memoization methods are correct only for strict functions, which I […]

]]> By: Conal Elliott » Blog Archive » Memoizing polymorphic functions - part two http://conal.net/blog/posts/elegant-memoization-with-functional-memo-tries#comment-174 Fri, 20 Nov 2009 19:33:26 +0000 http://conal.net/blog/?p=54#comment-174 […] Comments conal on Elegant memoization with functional memo triesShawn Willden on Elegant memoization with functional memo triesDave Crossland on Seeking advice on […]

]]> By: conal http://conal.net/blog/posts/elegant-memoization-with-functional-memo-tries#comment-173 Sat, 14 Nov 2009 19:22:02 +0000 http://conal.net/blog/?p=54#comment-173 @Shawn — Fixed now. Thanks for the note.

]]> By: Shawn Willden http://conal.net/blog/posts/elegant-memoization-with-functional-memo-tries#comment-172 Sat, 14 Nov 2009 07:13:13 +0000 http://conal.net/blog/?p=54#comment-172 Your source code links are broken. Could you please fix them so I can understand what it is you’re talking about? Thanks.

]]>