没有合适的资源?快使用搜索试试~ 我知道了~
representable-tries:可代表的尝试
共18个文件
hs:9个
markdown:2个
cabal:1个
需积分: 5 0 下载量 18 浏览量
2021-05-17
03:21:05
上传
评论
收藏 22KB ZIP 举报
温馨提示
可代表的尝试 该程序包提供了一个基于可表示函子概念的简单功能记忆方案。 在范畴论中,一个可表示的函子(在学上更是一个核心可表示的函子)是这样的,即fa对x -> a是同构x -> a 。 我们在这里选择名称Representable是因为我们正在谈论haskell Functor实例,并且它们都是协变的,所以这是Haskell的可表示性的更自然的概念。 在存在可表示函子的情况下,我们可以选择一个以我们的数据类型作为表示形式的Traversable表示函子,并通过构建一个数据结构来记忆功能,该数据结构在一个位置上为每个可能的参数保留每个答案。 联系信息 欢迎提供贡献和错误报告! 请随时通过github或irc.freenode.net上的#haskell IRC频道与我联系。 爱德华·克梅特(Edward Kmett)
资源推荐
资源详情
资源评论
收起资源包目录
representable-tries-master.zip (18个子文件)
representable-tries-master
.gitignore 68B
CHANGELOG.markdown 110B
src
Numeric
Nat
Zeroless.hs 6KB
Data
Functor
Representable
Trie.hs 12KB
Trie
Bool.hs 3KB
Either.hs 5KB
List.hs 4KB
Vector.hs 4KB
Vector
Zeroless.hs 9KB
Traversable
Fair.hs 5KB
Control
Monad
Reader
Trie.hs 5KB
representable-tries.cabal 2KB
.travis.yml 232B
LICENSE 1KB
.ghci 85B
.vim.custom 767B
README.markdown 1KB
Setup.lhs 117B
共 18 条
- 1
资源评论
小旗旗
- 粉丝: 25
- 资源: 4557
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功