国内对haskell完全没有信心啊

国内精通haskell的人有10人吗？我很好奇呢~
PL界被分为lambda和pi两部分，前者研究语言表达力，后者研究验证。国内至今没在前者出过哪怕一个顶级学者，这个结果，仅从haskell在国内的现状来看实在不难理解。
PL文章里默认大家都知道、会不加介绍直接使用的语言，就两种，ml和haskell。你两方面几乎都没人懂，你怎么做？不就只有闭门造25年前的车？ 🤣🤣🤣

大哥我学haskell在一个地方卡四五天了能不能帮我看看

不感兴趣

开通SVIP免广告

大大我这边安装出问题了，到现在都找不到解决方法，能帮忙吗？

顶尖人才好像没有，但不代表没有国人在做这方面，比如Ningning Xie（xnning）和Cheng Shao（TerrorJack），以及各路想用Haskell打上CF红名的OIer

扫二维码下载贴吧客户端

下载贴吧APP
看高清直播、视频！

5回复贴，共1页

<<返回haskell吧

分享到:

日	一	二	三	四	五	六