Haskell

Haskell 中文群 

u-facafichciiiheihbb 3 weeks ago
rust可以堆垃圾代码,干活快活。。。
u-jjbab 3 weeks ago
🤔好的👌
u-bhejbhf 3 weeks ago
趣学haskell那本书 我觉得入门很不错啊
u-fecd 2 weeks ago
更不要说现在比较流行的higher category了[Grin]
u-jjbab 3 weeks ago
你id多少,我去回fo
u-dd 3 weeks ago
可以看一下,基本都介绍了
u-jhafjh 3 weeks ago
比cpp那套好太多了,最近就是package的管理。bazel已经快吐了
u-jebabbad 3 weeks ago
> Fast forward 10 years and the majority of functional languages out there have a version of the data structure Phil invented. Arguably, the rise of functional programming in the last 5 years would not have been possible without it. So, Phil happened to influence the development of functional programming to no small degree even though he never wrote programs in a functional language himself.
u-jjbab 3 weeks ago
当时看高级数据结构课程,就把遇到的都写了遍
u-fecd 2 weeks ago
"Yanick: 十个haskell爱好者,有九个会给我说范畴论" - - - - - - - - - - - - - - - 十个会跟你说猫论的我觉得九个都不是正经会猫论的…
u-ghdd 3 weeks ago
rust 能写出 skiplist 这样的结构? 估计有点痛苦吧
u-dd 3 weeks ago
等我告诉你
u-aa 3 weeks ago
都开始流行自封为王了
u-dd 3 weeks ago
andelf是你吗?
u-fecd 2 weeks ago
如果有一天,HoTT真的代替了ZFC,那可能会出现更友好版本的范畴论吧
u-bhejbhf 3 weeks ago
好吧 也是
u-jjbab 3 weeks ago
该unsafe就unsafe,省脑细胞
u-fecd 2 weeks ago
猫论本身是因为algebraic topology之类的东西才被弄出来的,而大部分猫论结构都和at有关,比如presheaf为啥要叫presheaf,它不就是个type family吗,那么原因自然是来自于拓扑学了
u-ee 5 days ago
Cpp是个自行车 C++是个摩托车 Rust是个柴油车 Java是个电动车
u-bebfg 5 days ago
意思是还是要搞特斯拉
u-bebfg 5 days ago
司机gkd
u-cbha 1 week ago
各位知道有哪些函数式3D建模的开源项目? 像libfive 这样的 它嵌入的是gnu gulie
u-hei 5 days ago
scala 3 去掉了很多 OO 的部分吗?
u-jfde 5 days ago
我也这样想的,最后找不到就用cpp了
u-jic 5 days ago
scala3的macro是推倒重做的 一些库用到macro的也推倒重写似乎不合实际…
u-jb 1 week ago
今天在考虑k x y = f (g x) (h y)这样的函数如何化简成没有x和y的形式?
u-cbgb 5 days ago
并不是haskell程序员贵,贵和便宜的都有。但只有贵的程序员有话语权
u-ffeagdj 1 week ago
@3d建模Ryan 看上去是F#?
u-ga 5 days ago
真爱[Smile]