Haskell dependent type - Programming版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

Programming版 - Haskell dependent type

相关主题
● haskell 怎样解决库的版本问题？	● 想学函数语言和高层次抽象的同学看过来
● Scala,F#或haskell怎么用DI?	● 有人用Haskell吗
● 大家有没有觉得Scala不如Haskell美？	● haskell怎么读取二进制数组?
● 搞haskell的请总结industry best practice和未来发展方向	● 请问个老的COMBINATION题
● help abt C++	● [合集] 看了一段时间haskell，感觉被骗了
● 程序员薪水	● 请问有哪位师傅知道haskell语言的？
● 数学和编程	● 有哪些公司用Lisp开发程序
● Any one knows 'Q Programming Language'?	● Haskell的学习曲线是指数增长的！

相关话题的讨论汇总
话题: haskell话题: dependent话题: type

进入Programming版参与讨论

1

(共1页)

n*w 发帖数: 3393	1 谁能简介一下？说haskell在往这方向走。
p*****2 发帖数: 21240	2 大牛先说说吧【在 n*w 的大作中提到】 : 谁能简介一下？说haskell在往这方向走。
a*****e 发帖数: 1700	3 可以看一下 Stephanie Weirich 今年在 ICFP 的 keynote: Depending on Types https://www.youtube.com/watch?v=rhWMhTjQzsU
c*******9 发帖数: 9032	4 最简单的例子是输入n 返回 n 个元素的vector，输入m，n 返回（m，n）矩阵。维数不同的vector，matrix 是不同type，便于编译器分析。线性代数编程简化多了。【在 n*w 的大作中提到】 : 谁能简介一下？说haskell在往这方向走。

1

(共1页)

进入Programming版参与讨论

相关主题
● Haskell的学习曲线是指数增长的！	● help abt C++
● 如何提取一个executable的所有dependency?	● 程序员薪水
● Haskell; Standard ML类语言的问题	● 数学和编程
● How to Parsing function in haskell?	● Any one knows 'Q Programming Language'?
● haskell 怎样解决库的版本问题？	● 想学函数语言和高层次抽象的同学看过来
● Scala,F#或haskell怎么用DI?	● 有人用Haskell吗
● 大家有没有觉得Scala不如Haskell美？	● haskell怎么读取二进制数组?
● 搞haskell的请总结industry best practice和未来发展方向	● 请问个老的COMBINATION题

相关话题的讨论汇总
话题: haskell话题: dependent话题: type

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)