Haskell

Haskell 中文群

u-facafichciiiheihbb 1 month ago
Newtype吧
u-ga 1 month ago
不确定是哪里的问题,回头有时间再试试看
u-facafichciiiheihbb 1 month ago
这个是一直存在的问题,所以要newtype封装
u-facafichciiiheihbb 1 month ago
这个跟递归有关系,会被拦截
u-ga 1 month ago
我估计应该和type family有关系,GHC不能判断两个不同的type family一定不相等,所以报错,两个State类型不能区分
u-facafichciiiheihbb 1 month ago
这个在mtl也一样,都是不能确定选哪个
u-facafichciiiheihbb 1 month ago
所以大部分库都用newtype去去定义了
u-efb 1 month ago
大家好,转发一个远程web developer招聘帖子,内核为OCaml,欢迎扩散。谢谢!
u-habiihdgfjhf 1 month ago
OCaml啊。。
u-habiihdgfjhf 1 month ago
我毕设就是用OCaml做的[emoji][emoji]
u-gffba 1 month ago
这个学校我记得是跟银行合作的多吧
u-efb 1 month ago
@‭PolluSticki 哪家学校要求OCaml?
u-habiihdgfjhf 1 month ago
不是学校要求,是导师要求。。。
u-habiihdgfjhf 1 month ago
我说我对函数式感兴趣,他就让我用OCaml搞,他说他搞过他可以来指导我。。
u-jeifbagdge 1 month ago
初学haskell,向大佬们学习[社会社会]
u-ebcejg 1 month ago
这个对副作用的理解对吗?副作用和主作用还可以互换?
u-bafba 1 month ago
抖机灵
u-chehbefifh 1 month ago
还有39个赞呢
u-bj 1 month ago
看放在哪里理解了 放在积极修辞的语境里面就是这个意思
u-ga 1 month ago
type family 和 data family 的区别
u-ab 1 month ago
请问一下, 这种情况如何查找问题? 
u-ab 1 month ago
应该是依赖的问题。但是不知道问题是什么
u-ab 3 weeks ago
请教一下 这里的 ~ 是什么概念?求一个对应的资料
u-ab 3 weeks ago
感谢。 我学习学习。
u-ab 3 weeks ago
haskell 怎么解决依赖问题? 有一个包跟QuickCheck 冲突了,然后降级了QuickCheck ,从2.4 尝试到了2.8 , 都有各种各样的异常。
u-hefbfhfad 3 weeks ago
用stack
u-facafichciiiheihbb 3 weeks ago
@高斯 package import
u-jebabbad 3 weeks ago
一黑黑俩
u-abahjbfebbc 3 weeks ago
intensional type analysis是什么……
u-ab 3 weeks ago
"#(fnil % ::larluo): @高斯 package import" - - - - - - - - - - - - - - - 我最后直接拉下来依赖,手动改了冲突,然后依赖放到我自己的github上了[Emm]
u-chehbefifh 3 weeks ago
有人看过这篇文章吗
u-gfhad 3 weeks ago
看标题就很硬核
u-hb 3 weeks ago
水泥流积分
u-facafichciiiheihbb 2 weeks ago
我记得有个函数是: Maybe (a, b) -> (Maybe a, Maybe b), 叫啥名字来着?
u-facafichciiiheihbb 2 weeks ago
unzip
u-egi 2 weeks ago
去 hoogle 上按类型搜。