[commit: ghc] master: Cite the TrieMap idea [skip-ci] (f6609b0)

git at git.haskell.org git at git.haskell.org
Mon Mar 2 22:52:23 UTC 2015


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/f6609b0ed031135b8402fd179b3370958698ecb2/ghc

>---------------------------------------------------------------

commit f6609b0ed031135b8402fd179b3370958698ecb2
Author: Edward Z. Yang <ezyang at cs.stanford.edu>
Date:   Mon Mar 2 14:54:30 2015 -0800

    Cite the TrieMap idea [skip-ci]
    
    Signed-off-by: Edward Z. Yang <ezyang at cs.stanford.edu>


>---------------------------------------------------------------

f6609b0ed031135b8402fd179b3370958698ecb2
 compiler/coreSyn/TrieMap.hs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/compiler/coreSyn/TrieMap.hs b/compiler/coreSyn/TrieMap.hs
index 96db166..dad00e1 100644
--- a/compiler/coreSyn/TrieMap.hs
+++ b/compiler/coreSyn/TrieMap.hs
@@ -47,6 +47,12 @@ The code is very regular and boilerplate-like, but there is
 some neat handling of *binders*.  In effect they are deBruijn
 numbered on the fly.
 
+The regular pattern for handling TrieMaps on data structures was first
+described (to my knowledge) in Connelly and Morris's 1995 paper "A
+generalization of the Trie Data Structure"; there is also an accessible
+description of the idea in Okasaki's book "Purely Functional Data
+Structures", Section 10.3.2
+
 ************************************************************************
 *                                                                      *
                    The TrieMap class



More information about the ghc-commits mailing list