Haskell
PulseAugur coverage of Haskell — every cluster mentioning Haskell across labs, papers, and developer communities, ranked by signal.
2 天有情绪数据
-
Mastodon 用户抵制 AI，寻求社区帮助解决 Haskell 工具链问题
一位 Mastodon 用户强烈表示厌恶 AI、算法和定向广告，认为它们具有操纵性且不受欢迎。用户表示自己是人力有限、时间有限的人类，依靠社区支持而非 AI。他们还询问了关于在 NixOS 上加速 Haskell 工具链编译的问题，特别提到了 GHC。
-
Haskell 生态系统因 AI 集成面临批评
一位计算机科学家对 Haskell 生态系统健壮性下降表示担忧，并引用了一个名为 git-annex 的项目链接。该观点暗示了对 AI，特别是 LLM，集成到编码实践中的负面看法。
-
新的FPMoE模型提升函数式代码生成能力
研究人员开发了FPMoE，一个旨在改进函数式编程语言代码生成的新型开源模型。与以往在跨语言干扰方面遇到困难或未能捕捉共享抽象的旧方法不同，FPMoE采用了稀疏专家混合架构，为Haskell、OCaml和Scala设有专门的专家，并设有一个用于常见函数式模式的共享专家。这种设计使得FPMoE能够以显著更少的激活参数实现具有竞争力的性能，在FPEval基准测试中表现优于更大的模型。
-
NeSyCat论文统一了神经符号ULLER框架的语义与单子
研究人员引入了NeSyCat，一个基于单子的新颖范畴框架，它统一了神经符号ULLER系统的语义。该方法表明，ULLER的一阶逻辑语法的经典、模糊和概率语义都是单一基于单子的结构的实例。该框架便于模块化地添加新语义，并实现它们之间的系统性转换，其中一个例子展示了逻辑张量网络中广义量化的扩展。
-
Replit 新增 Clojure 和 Haskell 支持，面向函数式编程
Replit 通过在其在线编码环境中添加 Clojure 和 Haskell，扩展了其语言支持。该平台正专注于整合更多函数式编程语言，Clojure 运行在 Java 虚拟机上，Haskell 则提供类似 GHCi 的 REPL 体验。这些新增功能旨在为开发者在 Replit 平台内直接提供更多函数式编程的选择。