有没有办法根据关联的类型同义词定义类型同义词？（不确定我是否有正确的术语。） {-# LANGUAGE TypeFamilies #-} class Reproductive a where -- | A seq……

我想Alternative为Identitynewtype编写一个实例。骨架并不难： instance Alternative Identity where empty = _ (<|>) = _ 但是，对于所有类型的实……

我为一个非常简单的练习题写了一个解决方案： 如果输入小于 1 或大于 64，则函数必须返回 aMaybe Integer并返回Nothing。 square :: Integer -> Maybe In……

我有一个这样的代数数据类型： type Keyword = Text data DBField = (:=) Keyword DBVal deriving (Show, Read, Eq) data DBVal = VNull | VIn……

我需要一些帮助来理解一些 GHC 堆配置文件。我正在为语法框架语言的现有编译器开发一种新的输出格式。 前 分析当前版本编译器的正常运行如下所示： 13,347,……

我试图创建一个表示无限多种类型的元组的数据类型： {-# LANGUAGE DataKinds #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE QuantifiedConstraints #-}……

我在 Haskell 中阅读了有关此警告的类似问题，但这些问题通常涉及列表，而我的则没有： teste :: Char -> Char -> Int teste a b |ord (toUpper a) &……

我想删除字符串的最后一个字符，如果它是“！” 我知道我想要基本情况​​，即。如果字符串为空： remove [] = [] 如何索引最后一个字符？使用： last 并且，为这……

如何扩展简单类型的 lambda 演算以拥有支持类似 monad 类型的类型系统？基本上，我目前对简单类型的 lambda 演算有很好的理解，并且我想了解将 monad 添加到该……

我遵循了砖蛇游戏的整个教程，但我遇到了这个错误 [typecheck -Wdeferred-out-of-scope-variables] [E] • Variable not in scope: paused :: Lens.Micro.T……

我有以下代码： module FunctorsApplicativeFunctorsAndMonoids(List(..), combineLists) where data List a = Empty | Value a (List a) deriving (Eq, Show……

在 Haskell 中（至少在 GHC v8.8.4 中），在Num课堂上并不意味着在Eq课堂上： $ ghci GHCi, version 8.8.4: https://www.haskell.org/ghc/ :? for help ?&g……

Haskell 列表是通过对 的一系列调用构建的cons，在对语法进行脱糖之后： Prelude> (:) 1 $ (:) 2 $ (:) 3 [] [1,2,3] 列表是不是因为它们是这样一个函数调……

我昨天问了这个问题，用户@dfeuer 建议我，作为初学者，我不应该定义自己的类。他的评论： 我很好奇，为什么定义我自己的类通常（对于初学者）是个坏主意？……