《haskell》专题

问题内容： 如何编写返回类a或类b的类型安全的Java方法？例如： 什么是最干净的方法？ （我想到的唯一的事情就是使用显然很糟糕的异常，因为它滥用了通用语言功能的错误处理机制… ） 问题答案： 我模拟代数数据类型的一般公式是： 该类型是一个抽象基类，而构造函数是该类的子类。 每个子类中都定义了每个构造函数的数据。（这允许具有不同数量数据的构造函数正常工作。它也不需要维护不变式，例如仅一个变量为非n

问题内容： 当我学习Haskell时，我注意到它的 type class ，这应该是源自Haskell的伟大发明。 但是，在Wikipedia页面上，类型为class： 程序员通过指定一组函数或常量名称以及它们各自的类型来定义类型类，对于每个属于该类的类型，它们必须存在。 对我来说，这似乎与 Java的接口 非常接近（引用Wikipedia的Interface（Java）页面）： Java编程语言

问题内容： 我是C ++ / Java程序员，在日常编程中碰巧使用的主要范例是OOP。在某个线程中，我读到一条评论，即Type类本质上比OOP更直观。有人可以用简单的词来解释类型类的概念，以便像我这样的OOP家伙可以理解吗？ 问题答案： 首先，我总是非常怀疑这种程序结构更直观。编程是违反直觉的，并且总是会因为人们自然而然地根据特定情况而不是一般规则来思考。要更改此设置，需要培训和实践，也称为“编程

问题内容： 为什么Haskell可以计算这么多的数字，而其他语言（例如Java）却不能（那么容易）呢？ 问题答案： Java具有BigInteger类。 它可以将这种功能内置到语言中，但是（就像许多种语言一样）它倾向于使原始功能紧密地映射到CPU支持的功能上。 另一方面，Haskell则以数学符号的方式强调表达性，而“性能”方面的考虑与之无关。

问题内容： 我正在寻找从Java程序中执行Haskell函数的有效方法。我已经考虑过使用exec（）与GHC进行交互，但是似乎应该有一个更好的方法。 问题答案： 我通常避免使用JNI类型的方法来跨运行时/语言进行链接。他们只是有太多的陷阱而没有什么好处。我发现跨流程边界工作更容易。尽管我从未在Haskell和Java上尝试过，但它们都具有支持XML RPC的库，听起来很自然地适合您的工作。因此：将

问题内容： 很快，我将被迫在Haskell中提出一个项目，该项目应该突出显示Java语法。我做了一些研究，发现Happy可能是一个解决方案（因为它是类似yacc的解析器）。还提到了野牛和帕尔塞克。由于我是Haskell的新手，所以我真的对启动该项目一无所知。任何提示都会有很大帮助。 谢谢！ 问题答案： 由于我是Haskell的新手，所以我真的不知道如何启动该项目 啊，这才是真正的问题。要开始学习H

问题内容： 两者都是其类型是所有类型（无人居住）的交集的术语。两者都可以在代码中传递，而不会失败，直到尝试对其进行评估。我能看到的唯一区别是，在Java中，存在一个漏洞，可以对一个操作进行精确的评估，即引用相等比较（），而在Haskell 中，如果不抛出异常就无法进行评估。这是唯一的区别吗？ 编辑 我真正想解决的问题是，为什么在Java 中包含如此明显的错误决定，Haskell如何逃避呢？在我看来

问题内容： 问题 注释 我在计算范围中的元素数量等时遇到问题… 问题答案： 范围中的值是，因此您只能使用它们或计算，但是未定义减法。预付款必须是相应的类型。因此，这可能是一种实现： 例： 但是请注意，这不是整数列表（或数组）。要将 数组 拆分为子 数组 ，可以定义类似的扩展名： 例： 一种更通用的方法是拆分所有 可切片 对象。但 是 协议 和协议不能扩展。你可以做的反而是定义一个 函数 ，是以可切

问题内容： 我有一个用Python和Haskell编写的简单脚本。它读取一个由1000000个换行符分隔的整数的文件，将该文件解析为整数列表，对其进行快速排序，然后将其写入另一个已排序的文件中。该文件与未排序的文件具有相同的格式。简单。 这是Haskell： 这是Python： 非常简单。现在我用以下代码编译Haskell代码 我给这两个时间计时： 结果： Haskell： 蟒蛇： Python如

本文向大家介绍Haskell语言有状态透镜，包括了Haskell语言有状态透镜的使用技巧和注意事项，需要的朋友参考一下 示例 镜头运算符具有在有状态上下文中运行的有用变体。他们通过替换获得~与=在运营商的名称。 注意：有状态变体不应更改类型，因此它们具有Lens'或Simple Lens'签名。 摆脱&束缚 如果需要将具有镜头功能的操作链接起来，通常看起来像这样： 这项工作得益于的关联性&。不过，

我需要将一些信息从编译脚本传递到模板Haskell中。目前编译脚本将信息保存在系统环境中，所以我只是使用包装在中。是否有更好的方法，例如将一些参数传递给（类似于C预处理器的），或者可能是专门为此设计的方法？

我有一个函数，它返回一个动态绑定的-本质上，。当然，实际函数要复杂得多，足以让我为它编写测试，最好是清晰的测试。但是以下： 将始终失败，因为将解析为而不是ConT MyType。 是否有一种很好的方法将类型转换为完全限定的类型，或者检查和是否相同（在当前上下文中）？

Mac上的预览应用程序允许合并多个PDF文件，尽管功能相当模糊。我正在用Haskell编写一个实用程序，它需要执行类似的任务，即将任意数量的PDF文件合并到一个新文件中。 有没有人建议从哪里入手？显然，如果有一个关于Hackage的库可以开箱即用地完成大部分工作，那将是理想的，但如果没有，那么一些关于从哪里开始的指针将非常感激。

现代CPU经过优化，使得访问和修改内存中的相同位置（时间位置）以及内存中的连续位置（空间位置）都是极其快速的操作。 现在，由于Haskell是一种纯粹的不可变语言，您自然不能覆盖现有的内存块，这可能会使 之类的操作比C中具有连续访问的结果变量的 循环慢得多。 Haskell在内部做了什么来减轻这种性能损失吗？一般来说，它关于局部性的性质是什么？