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

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

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

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