haskell

一些伪代码: data A = A data B = B data C = C data D = D data E = E data F = F data G = G data A1 = A1 A B C data A2 = A2 A data A3 = A3 B C D data A4 = A4 D E F data A5 = A5 A1 A4 G dat...

myElement [] = [] myElement [h] = [h] myElement (h:t) | h == myElement t = True | otherwise = False 大家好，我正在努力创建自己的elem函数，因为我不允许在作业中使用haskell中的任何预定...

我正在尝试想出一个算法，可以打印出一个给定表达式的所有可用的beta还原。 我知道我将需要一个匹配的模式案例，看看项目是否是可约的，如果不是，那么三个案例的情况下，变量lambda和应用程序。我有自定义类型定...

我正在阅读一个播放正则表达式，并遇到了这段代码(在第8页的末尾)。 LeftLong x ⊕ LeftLong y = LeftLong (leftlong x y) where leftlong … leftlong (Range i j) (Range k l) ...

给定类型级列表函数(来自这篇博客文章) type family Length (xs :: [*]) :: Nat where Length '[] = 0 Length (_ ': xs) = 1 + Length xs “硬编码”类型列表长度的值提取按照预期工作 t1 :: Integ...

我在做Haskell lambda calculus解释器。我有一个方法可以把表达式简化成正常形式。 type Var = String data Term = Variable Var | Lambda Var Term | Apply Term Term deriving Show norm...

我正试图写一个小的GHC扩展，以得到我的手GHC黑客。根据GHC gitlab wiki的建议，我首先看了一篇由SPJ和SM撰写的文章，以了解GHC的架构。 我现在有一个想法，我认为将是一个相对较小的GHC扩展，我想有一个裂纹作为...

我无法在Ubuntu 20。04或18。04上作为Windows 10上的VirtualBox客户端运行任何项目的堆栈构建。当试图重命名临时文件时，构建失败: 编辑:这似乎只发生在VirtualBox共享文件夹。堆栈可以成功地在未与Windows hot共...

我正在编写一个GHC核心插件，最终添加新的函数声明到它被调用的模块。 目前，我正在努力结合Core帮助程序来生成一个对应于lambda函数的Expr。 例如，我们想合成term \(x:: Double) ->x + x。 如果我们看看印...

我很高兴地安装了堆栈，并使用堆栈ghci或堆栈exec等运行我的代码。 我想使用vcode -haskell，这需要一个ghc available in the PATH.在PATH中可用。 是否可以使用堆栈创建一个全局可用的ghc命令？(例如，在我的po...

我知道“。。”可以用于范围——例如。(1 。 。== [123] and [10。。是从10开始的无穷无尽的列表。 然而，最近我也开始看到括号内的双点。或者是(。。)或者是{。。}。 例如，import语句可以读取 import Colog (...

我刚开始使用Haskell(来自多年的C和c++)，并决定尝试一个小型数据库项目。我使用一个预定义的绑定库到一个C数据库库(database 。kyotocabint)。由于使用预定义方法时效果的分离，我一直在努力思考如何使用迭代器接...

我是按照维基百科上的指南来处理教堂字面意思的。根据文章，有一个Haskell片段: 链接到Wiki Here type Church a = (a -> a) -> a -> a church :: Integer -> Church Integer church 0 = \f -> ...

我正在用Yesod写一个个人使用的web应用程序。我不想认证，也不想登录。 实现这一目标的最佳方法是什么？ 从应用程序中删除Auth库 使用默认的隐藏用户，在启动时自动登录(Auth。dummy？) 或者别的东西…###假设...