没有合适的资源?快使用搜索试试~ 我知道了~
egison:Egison编程语言
共319个文件
segi:131个
egi:93个
hs:43个
需积分: 5 0 下载量 13 浏览量
2021-05-08
16:40:34
上传
评论
收藏 2.98MB ZIP 举报
温馨提示
Egison编程语言 Egison是一种功能性编程语言,具有其富有表现力的模式匹配功能。 Egison允许用户为任意用户定义的数据类型(包括列表,多集,集合,树,图和数学表达式)等非用户定义的数据类型定义高效且富有表现力的模式匹配方法。 这是Egison解释器的存储库。 有关更多信息,请访问。 推荐论文 模式匹配 中木聪(Satoshi Egi),西胁友一(Yuichi Nishiwaki):(APLAS 2018) 中木智一(Satoshi Egi),西胁雄一(Yuichi Nishiwaki):(2020) 张量指数符号 中本聪(Satoshi Egi):()的(Scheme Workshop 2017) 非自由数据类型的非线性模式匹配 我们可以对Egison中的非自由数据类型使用非线性模式匹配。 非自由数据类型是其数据没有规范形式或表示该对象的标准方式的数据类型。 例如,多集是
资源推荐
资源详情
资源评论
收起资源包目录
egison:Egison编程语言 (319个子文件)
AUTHORS 97B
egison.cabal 8KB
syntax.egi 18KB
collection.egi 12KB
result.egi 10KB
thurston.egi 9KB
thurston-non-sym.egi 9KB
cdcl.egi 9KB
expression.egi 8KB
collection.egi 8KB
chopsticks2.egi 7KB
matrix.egi 6KB
primitive.egi 5KB
chopsticks.egi 5KB
chopsticks3.egi 4KB
number.egi 4KB
generalized-sequential-pattern-mining.egi 4KB
prime-pairs-6.egi 4KB
prime-pairs-2.egi 4KB
t.egi 4KB
number.egi 3KB
riemann-curvature-tensor-of-T2.egi 3KB
riemann-curvature-tensor-of-T2-non-sym.egi 3KB
arithmetic.egi 2KB
functions.egi 2KB
root.egi 2KB
string.egi 2KB
order.egi 2KB
derivative.egi 2KB
assoc.egi 2KB
shell.egi 2KB
poker-hands.egi 2KB
riemann-curvature-tensor-of-S2.egi 2KB
poker-hands-with-joker.egi 2KB
tensor.egi 2KB
io.egi 2KB
graph.egi 2KB
random.egi 2KB
mahjong.egi 2KB
riemann-curvature-tensor-of-S5.egi 2KB
dp.egi 2KB
riemann-curvature-tensor-of-S5-non-sym.egi 2KB
string.egi 2KB
sort.egi 1KB
tree.egi 1KB
order.egi 1KB
cubic-equation.egi 1KB
curvature-form.egi 1KB
equations.egi 1KB
assoc.egi 1KB
quartic-equation.egi 1KB
random.egi 1KB
io.egi 1KB
17th-root-of-unity.egi 1KB
analysis.egi 1KB
integral.egi 1KB
base.egi 1KB
primes.egi 1003B
hodge-laplacian-polar.egi 981B
n-queens.egi 972B
inverse.egi 969B
base.egi 901B
7th-root-of-unity.egi 875B
quadratic-equation.egi 844B
sqlite.egi 833B
5th-root-of-unity.egi 738B
shell.egi 687B
normalize.egi 685B
differential-form.egi 626B
bellman-ford.egi 584B
tribonacci.egi 584B
sort.egi 560B
algebra.egi 499B
arithmetic.egi 494B
tensor.egi 374B
demo1-ja.egi 365B
demo1.egi 354B
vector.egi 343B
collection-bench-snoc.egi 272B
collection-bench-cons-large.egi 269B
collection-bench-cons.egi 268B
pm-paper-bench.egi 263B
maybe.egi 247B
maybe.egi 235B
ioRef.egi 225B
minkowski-space.egi 176B
4d-euclidean-space.egi 153B
3d-euclidean-space.egi 150B
constants.egi 126B
fact-30000.egi 92B
no-normalize.egi 55B
b.egi 42B
c.egi 37B
fact-bench.egi 12B
a.egi 11B
s-egison-mode.el 9KB
egison-mode.el 5KB
.gitignore 170B
Core.hs 51KB
NonS.hs 30KB
共 319 条
- 1
- 2
- 3
- 4
资源评论
不吃酸菜的小贱人
- 粉丝: 44
- 资源: 4667
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功