类型 Class 和代数数据类型之间的区别
[英]Difference between Type Class and Algebraic data types
据我了解，类型 Class不是具体的东西，而只是临时和参数多态性的构造。 Eq和Semigroup是类型类的例子。 另一方面，有代数数据类型，它是具体的复合类型，例如Either和Maybe 。 他们也是Functors 。 因此，JavaScript 的代数数据类型有一个规范： https:// ...
用 state monad 重构不纯递归？
[英]Refactor impure recursion with state monad?
我一直在剖析aoc 第 14 天的这个单线解决方案，并遇到了一个优雅的不纯递归解决方案：def s(x,y): if y>h: return True if (x,y) in m: return False return next((r for d i ...
在 haskell 中转换 [[a]] -> 集合 (Set a)
[英]Converting [[a]] -> Set (Set a) in haskell
我正在尝试将列表列表转换为 haskell 中的一组集合。 我已经这样定义了我的集合 所以本质上我的集合（集合 a）将是一棵二叉树，其中每个节点都是二叉树（即集合）。 我的清单已经订购，所以我可以这样做： 但我现在想知道是否有更有效的方法 ...
haskell 出列的不变性
[英]Immutability of haskell dequeue
我有一个应用程序需要处理队列中的一些项目。 有时脱掉物品，有时穿上新物品。 鉴于 haskell 数据结构的不变性，我对如何实现这一目标感到困惑。 这是我的实验代码 有了这段代码，我希望每次迭代时出列增加 1，但事实并非如此。 这意味着结构保持不变。 如何通过不同的迭代使用出列？ ...
远藤的不动点有多少个值？
[英]How many values does the fixpoint of Endo have?
考虑以下数据类型： 这本质上是Data.Monoid中Endo的固定点。 我想知道这种类型有什么价值。 一些例子： 这很快将我们带到了一个极限点： 但是，我找不到任何区分这些值的半决策程序。 我的直觉告诉我没有，这意味着这些值实际上都是相等的。 那么EndoFix表达的实际拓扑空间是什么？ ...
计算实数和复数的二次方程
[英]quadratic equation calculating real and complex numbers
在 visual studio code 中，最后 3 行出现错误，我不明白。 我哪里出错了，我保存了什么吗？ 我接受代码的建议和更正。 非常感谢你！ ...
let 绑定如何用 lambda 表达式表示？
[英]How are let bindings represented with lambda expressions?
在正常的 Haskell do 块中，我可以指定要评估为 let 绑定的值，但我不太确定它如何转换为 lambda 表达式。 以下面的（小）例子letEx :: IO [Char] letEx = do let x = [v | v <- [1 .. 100], v `mod` 2 == ...
如何将文字 1 返回为 Maybe Integer？
[英]how to return the literal 1 as Maybe Integer?
我正在学习 Haskell 并且无法将文字1返回为Maybe IntegeralwaysOne:: Integer -> Maybe Integer alwaysOne n = 1 加薪 ...
`:i` 如何显示与 `:t` 不同的类型？
[英]How can `:i` show a different type than `:t`?
使用random-fu 0.3.0.0 时，我对探索random的类型感到困惑。 检查:t我明白了ghci> :t Data.Random.sample Data.Random.sample :: (Data.Random.Distribution d t, Data.Random.St ...
使用 Haskell 在文件名中放置时间戳
[英]Using Haskell to put timestamp in filenames
长话短说：我正在使用 XMonad 并尝试将动态时间戳记放在屏幕录像上。 我本可以通过将它制作成一个 bash 脚本来作弊并解决这个问题，该脚本可以轻松让您使用更改时间戳，但我认为这是深入研究 Haskell 的好机会。 我尝试使用的代码：import Data.Time timeStamp = f ...
Haskell中导入模块（初学者）
[英]Importing Modules in Haskell (beginner)
我今天刚开始学习 Haskell，一直在视频讲座、编程练习和http://learnyouahaskell.com/电子书之间交替。 我在学习中还没有遇到的一件事是导入自定义模块的最佳实践方法，我猜一般情况下 Haskell 是如何导入模块的。 语境在过去的几个小时里，我一直在使用命令行stack ...
递归构造一个无限的、惰性的 Monad 值
[英]Constructing an infinite, lazy Monad value recursively
作为练习，我尝试在 monad 中递归地构造一个无限的惰性列表。 基本上，相当于nat ，但是monat ：nat :: Int -> [Int] nat n = n : nat (n+1) monat :: Monad m => Int -> m [Int] monat n = ...
无法在 OS X Ventura 上为 Haskell 构建 VSC devcontainer
[英]unable to build VSC devcontainer for Haskell on OS X Ventura
我正在尝试在 OS X Ventura 上为 vsc 使用官方 haskell devcontainer 。 将 .devcontainer 文件夹移动到项目的根目录并单击Reopen in container后，这就是我得到的： 我正在按照有关如何在 vsc 中运行 devcontainer 的 ...
如何为自由幺半群定义超类约束？
[英]How to define a superclass constraint for free monoids?
考虑以下类型 class 的免费幺半群。class FreeMonoid f where inj :: a -> f a univ :: Monoid m => (a -> m) -> f a -> m inj向自由幺半群注入一个值，而univ是自 ...
Haskell 无论输入如何，堆栈都会给出 InvalidRelDir 错误
[英]Haskell stack gives InvalidRelDir error no matter the input
每次尝试使用stack除了stack --version时，我都会遇到以下错误： 我想我删除了我的一个项目中的.stack/work子文件夹（从 Windows 10 文件资源管理器中），这可能会导致问题，因为命令可能会查找该特定文件夹，并且stack test之前确实有效。 然而，在其他项目中有. ...
从文件中读取文本并在 Haskell 中编辑
[英]Read text from file and edit it in Haskell
我刚开始学习 Haskell。我想写一个程序，它读取一个文本文件，对其进行编辑（更改“@@icWurdeErsetzt@@”上的单词组合“@@ersetzeMich@@”）并写入编辑后的文本在另一个文件中。 我写了一个代码，但它不是 function，因为它应该。 如果您能帮助我并告诉我如何修改或更 ...
是否有任何测试套件能够自动选择一堆匹配约束的类型和值？
[英]Is there any test-suite able to automatically choose a bunch of types and values that match the constraints?
在我学习 Haskell 的过程中，我重新实现了很多已经存在的功能。 我让我的代码编译（这意味着类型检查），但我不确定行为是否正确。 QuickCheck 及其局限性我一直在使用 QuickCheck 测试一些简单的功能，效果很好。 然而，它感觉受限于更复杂的功能。 例如，假设我重新实现lift ...
在不转换为全点表示的情况下调试 Haskell 组合链
[英]Debug Haskell composition chain without converting to point-full representation
我在Haskell社区了解到无点样式是首选，我经常写这样的表达式：naive = (slugifyUnicode . T.take maxFilenameSize . T.pack . stripHtmlTags . T.unpack . plainToHtml) sfld 但是，在调试时，我发现 ...
为无限递归数据类型实现“Eq”/“Ord”
[英]Implement `Eq`/`Ord` for infinitely recursive data type
我想构建匹配字符串的 NFA。 我有：data State = State Char State | Split State State | Final 请注意， State可以故意无限递归，因为我想构建如下所示的 NFA：-- NFA for regex `1*` match1 = State ...