因此，当我尝试在使用DataKinds时确定多态返回值的类型时，ghci给了我一个有趣的错误。我有以下代码：{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE ExistentialQuantification如果我在ghci中构造SomeData，并且没有指定类型，那么
浏览 11提问于2017-01-05得票数 7
回答已采纳
当我尝试将TypeApplications与foo方法一起使用时，我发现我需要指定类型k作为第一个类型参数，否则它将无法工作：foo @Type @Char:: Proxy Char -> Int
foo @Bool @True :: Proxy 'True -> Int
对于我的实际用例来说，必须指定哪种类
浏览 0提问于2019-04-18得票数 2
1回答
作为一个玩具项目，我想了解如何建模的数学小组在哈斯克尔在总体上。 minvert :: m -> m minvert (Cyclic12 x) = Cyclic12 ((0 - x) `mod` 12)
我如何从12的特定值中
浏览 4提问于2017-06-04得票数 4
回答已采纳
这位伟大的作家通过他们写得很好的博客文章完全说服了我使用safe-money：
PreludeGHC.TypeLits.KnownSymbol currency0) • In a stmt of an interactive GHCiz :: Dense "USD"
<i
浏览 7提问于2020-01-07得票数 4
回答已采纳
我正在尝试恢复在a值类型中使用的Symbol：{-# LANGUAGE KindSignatures #-}% ghcidescription :: SingI Symbo
浏览 0提问于2012-09-25得票数 5
回答已采纳
使用库，这个简单的函数编译并工作。但是，ghci和ghc对它的类型签名有不同意见，如果他们的建议中的任何一个被粘贴到代码中，它将无法编译。{-# LANGUAGE DataKinds, PolyKinds, TypeOperators, TypeFamilies, GADTs, UndecidableInstancesData.Singleton
浏览 3提问于2016-03-28得票数 1
回答已采纳
我试图使ghci类型尽可能直观地显示在我的库中，但是在使用更高级的类型特性时，我遇到了很多困难。假设我将这个代码保存在一个文件中：{-# LANGUAGE DataKinds #-}d
浏览 3提问于2013-05-02得票数 93
1回答
{-# LANGUAGE DataKinds #-}DataKinds根据，将数据类型提升为类型，将构造函数提升为构造函数类型。类型是一组值，但如何获得提升类型的术语级别值？Q3。如果升级<e
浏览 3提问于2021-09-27得票数 1
回答已采纳
我仍然在努力进入haskell，但我注意到了一些让我相当恼火的事情。在这本书中，有一部分展示了在模式匹配中使用卫士，在这本书的例子中，它是一个计算一个人的体重指数的小函数，它有点像这样(为了不侵犯版权或其他东西，对部分进行了轻微的更改)： | otherwise = "obese, " ++ show bmi期望"show“像java和c#
浏览 35提问于2013-06-29得票数 5
回答已采纳
我做的这个函数是Haskell：countOccurrences x [] = 0 |otherwise = countOccurrences x bERROR file:{Hugs}\packages\hugsbase\Hugs.hs:38 - Cannot justify
constraints in
浏览 3提问于2014-12-04得票数 0
回答已采纳
1回答
下面的代码非常容易理解：在这里我们可以推断出所有的类型(使用默认值)，并且所有的工作都很好。但是下面的代码也可以工作：即使我们不能推断出列表类型。如果我使用ghci执行代码，我会得到以下结果：[]it :: [a]所以类型似乎是多态的。但在这种情况下，将使用部分应用的类型来调
浏览 0提问于2013-04-18得票数 9
回答已采纳
为什么addString调用不同于内联表达式？["1"]Prelude> addString 1 []
No instance for (Num ()) arising from the literal `1' In the first ar
浏览 4提问于2013-11-30得票数 3
回答已采纳
2回答
在中，注入函数return的类型签名是return :: a -> m a，其中m a是类型构造函数，因此在ghci下，我可以为return arg1指定类型签名，例如：Just 1
Just "ok"
因为Nothi
浏览 1提问于2015-01-05得票数 0
回答已采纳
(restOfList, finalGen) = finiteRandoms (n-1) newGen 但这是无法汇编的顺便说一下，我在Emacs中使用Haskell模式，我不确定这是否相关。
浏览 2提问于2014-01-05得票数 3
回答已采纳
1回答
是否有一种方法可以使用GHCI中的堆栈加载包并在其中进行操作？
因此，在加载ghci时，我们可以导入模块并查看它的类型签名等等。
浏览 2提问于2016-10-04得票数 16
回答已采纳
ghci> sum = foldl (+) 0ghci> :sprint totalghci> print totalghci> :sprint totalghci> :spr
浏览 3提问于2022-09-06得票数 0
我的问题是，我已经根据GHCI告诉我的类型签名向函数添加了类型签名。
现在的问题是，我的代码库越来越多，一旦我更改了一件事，我的代码就会崩溃，到处都是，我正忙于追踪所有的问题。通过在ghci中加载模块而派生的类型是否过于具体？如何决定在签名中使用哪些类型或类型类，以便灵活地利用强类型的强大功能？(也就是说，不花一个小时来传播细微的变化？)
浏览 0提问于2012-02-10得票数 7
回答已采纳
1回答
我试图使一个函数接受一个为(它可以是任意类型: int，char.)并创建一个列表，该列表具有复制与其ASCII代码对应的次数的输入。我创造了这个：
当尝试在cmd中使用函数时，它说它可以将预期的int类型与char匹配，但是，如果我在cmd中直接使用函数的实际值，则。
浏览 2提问于2013-09-28得票数 3
回答已采纳
云服务器
ICP备案
云直播
对象存储
实时音视频
腾讯云开发者
