Haskell

Haskell 中文群

u-facafichciiiheihbb 1 week ago
Newtype吧
u-ga 1 week ago
不确定是哪里的问题,回头有时间再试试看
u-facafichciiiheihbb 1 week ago
这个是一直存在的问题,所以要newtype封装
u-facafichciiiheihbb 1 week ago
这个跟递归有关系,会被拦截
u-ga 1 week ago
我估计应该和type family有关系,GHC不能判断两个不同的type family一定不相等,所以报错,两个State类型不能区分
u-facafichciiiheihbb 1 week ago
这个在mtl也一样,都是不能确定选哪个
u-facafichciiiheihbb 1 week ago
所以大部分库都用newtype去去定义了
u-efb 1 week ago
大家好,转发一个远程web developer招聘帖子,内核为OCaml,欢迎扩散。谢谢!
u-habiihdgfjhf 1 week ago
OCaml啊。。
u-habiihdgfjhf 1 week ago
我毕设就是用OCaml做的[emoji][emoji]
u-gffba 1 week ago
这个学校我记得是跟银行合作的多吧
u-efb 1 week ago
@‭PolluSticki 哪家学校要求OCaml?
u-habiihdgfjhf 1 week ago
不是学校要求,是导师要求。。。
u-habiihdgfjhf 1 week ago
我说我对函数式感兴趣,他就让我用OCaml搞,他说他搞过他可以来指导我。。
u-jeifbagdge 1 week ago
初学haskell,向大佬们学习[社会社会]
u-ebcejg 1 week ago
这个对副作用的理解对吗?副作用和主作用还可以互换?
u-bafba 1 week ago
抖机灵
u-chehbefifh 1 week ago
还有39个赞呢
u-bj 1 week ago
看放在哪里理解了 放在积极修辞的语境里面就是这个意思
u-ga 1 week ago
type family 和 data family 的区别
u-ab 1 week ago
请问一下, 这种情况如何查找问题? 
u-ab 1 week ago
应该是依赖的问题。但是不知道问题是什么
u-ab 16 hours ago
请教一下 这里的 ~ 是什么概念?求一个对应的资料
u-ab 13 hours ago
感谢。 我学习学习。