我一直在尝试使用Haskell编写的Elm编译器。 我想开始实现一些优化，其中一部分涉及遍历AST并向某些节点添加“注释”，例如尾调用等。 我知道可以使用SYB或uniplate来进行遍历，但我想知道是否有一种无需样板代码的处理类型的方法。 因此，假设我们有一堆代数类型用于表示我们的AS...

这并不是一个技术问题，因为我对C语言的掌握已经足够（我的意思是，在使用C语言时不会被它所阻碍），所以这个问题基本上是一个“应该怎么做”的问题。 情况是这样的：我正在参加一门高级算法课程，为了“成长为程序员”，我需要使用纯C语言来实现实际的作业（这很好：任何小错误都会迫使你完全理解你在做什么才...

C++存在一个问题，即使用模板和模板元编程时我们所得到的错误信息非常可怕。概念(concepts)是为解决这个问题而设计的，但不幸的是它们不会出现在下一个标准中。 我在想，这个问题是否普遍存在于所有支持泛型编程的语言中？或者C++模板有什么问题？ 不幸的是，我不知道还有哪种语言支持泛型编程...

假设我们有data D = X Int | Y Int Int | Z String 我希望能有一个名为getDConst的函数。getDConst :: D -> String 根据输入的数据构造函数，返回“X”、“Y”或“Z”之一。有没有通用的方法可以在不必为每个数据构造函数都进行c...

我想要实现一些通用算法，关于如何基于算法使用的实体的某些特点来实现专业化算法，我有很多想法。然而，我觉得很可能没有想到所有的特点，因此我希望实现通用版本，使它们可以与另一个专业化版本配合使用。 例如，考虑 distance(begin, end)（是的，我知道它在标准库中；但它简单易用，能够...

void是C++类型系统中的一个奇怪的疣状物。它是一个无法完成的不完整类型，并且对于其受限制的使用方式有各种神奇的规则: 类型cvvoid是一个无法完成的不完整类型;这样的类型具有一个空值集。它用作不返回值的函数的返回类型。 任何表达式都可以显式转换为类型cvvoid([expr.ca...

我在/。上听说C++0x不再有"概念"（concepts）了，但我不知道"概念"是什么？有人能解释一下吗？

究竟有什么区别呢？看起来这些术语可以互相替换使用，但是在阅读Objective-C的维基百科条目时，我发现： 除了C风格的过程式编程，C++还直接支持某些形式的面向对象编程、泛型编程和元编程。 引用C++的内容。因此，它们显然是不同的吗？

当你想从数据结构中取出一个元素时，你需要给出它的索引。但是，索引 的含义取决于数据结构本身。 class Indexed f where type Ix f (!) :: f a -> Ix f -> Maybe a -- indices can be out ...

在 Idris Effects 库中，效应被表示为||| This type is parameterised by: ||| + The return type of the computation. ||| + The input resource. ||| + The computati...