文件名称：representable-tries:可代表的尝试
文件大小：22KB
文件格式：ZIP
更新时间：2024-06-05 21:07:45
Haskell
可代表的尝试 该程序包提供了一个基于可表示函子概念的简单功能记忆方案。 在范畴论中，一个可表示的函子（在学上更是一个核心可表示的函子）是这样的，即fa对x -> a是同构x -> a 。 我们在这里选择名称Representable是因为我们正在谈论haskell Functor实例，并且它们都是协变的，所以这是Haskell的可表示性的更自然的概念。 在存在可表示函子的情况下，我们可以选择一个以我们的数据类型作为表示形式的Traversable表示函子，并通过构建一个数据结构来记忆功能，该数据结构在一个位置上为每个可能的参数保留每个答案。 联系信息 欢迎提供贡献和错误报告！ 请随时通过github或irc.freenode.net上的#haskell IRC频道与我联系。 爱德华·克梅特（Edward Kmett）
【文件预览】：
representable-tries-master
----.gitignore(68B)
----CHANGELOG.markdown(110B)
----src()
--------Numeric()
--------Data()
--------Control()
----representable-tries.cabal(2KB)
----.travis.yml(232B)
----LICENSE(1KB)
----.ghci(85B)
----.vim.custom(767B)
----README.markdown(1KB)
----Setup.lhs(117B)