1回答
我一直在尝试使用Haskell，并尝试了一些简单的列表理解。我只是偶然发现了一种我只能用ghci来描述的奇怪行为。下面是我的输出： GHCi, version 8.10.2: https://www.haskell.org/ghc/ :?具体地说，为什么类型没有定义为： l :: (Fractional a, Integral b) => [(a, b)] 如果有人能解决我的困惑，我将不胜感激。
浏览 9提问于2020-12-03得票数 2
回答已采纳
1回答
目前我正致力于理解类型和类型类
例子：add :: Integer -> Integer -> Integer.我知道a和b是类型变量，这表明a和b是不同的类型。
浏览 5提问于2017-05-21得票数 2
回答已采纳
1回答
我必须把Haskell类型的签名转换成一个术语。类型签名是：正确的结果术语是：这就是我的问题Haskell是右关联的，h是给定给函数f而不是j的二阶参数。
浏览 4提问于2020-07-28得票数 2
回答已采纳
1回答
最近，我对Haskell非常感兴趣。其他哪些数学分支对于深入理解Haskell的类型系统是很重要的？
我是否可以放弃对这些数学的严格研究，转而专注于某些相关的概念？我希望能尽快拿起类型和编程语言，不过，请推荐你觉得合适的其他阅读资源。
浏览 0提问于2013-10-03得票数 10
回答已采纳
2回答
我试图理解Haskell中的类型模式和泛型类，但似乎无法理解。“为了将函数普遍应用于所有数据类型，我们以统一的方式查看数据类型:除了基本的预定义类型(如浮点数、IO和→)之外，每个Haskell数据类型都可以被看作是可能被标记的产品的标记和。上面提到的Haskell版本中的所有数据类型都是自动的吗?如果是的话，我如何确定一个特定的数据类型</e
浏览 6提问于2010-03-12得票数 0
回答已采纳
我一直在尝试使用GADT等在Haskell中创建一个完全类型安全的AST的全类型DSEL，似乎做一个正确类型的编译器需要构造从Haskell类型到类型和值(类型化环境)的映射，以及可以被Haskell类型系统理解的结构C++有一个Boost.Fusion库，它具有这样的结构(类型->值映射，类型化值的向量，等等)。Data.Tuple负责处理序列，但是像Bo
浏览 2提问于2011-11-30得票数 10
回答已采纳
mySucc int | otherwise = Just $ succ int
当我想在ghci中打印这个函数的输出时，HaskellHaskell不应该在运行时自动解析某个类型并使用它的Show吗？我对类型类的有限理解是，如果您提到一个类型(在我的例子中是a)，并且说它属于一个类型类(Show)，那么Haskell应该自动解析该类型。这不是解决有界，En
浏览 3提问于2020-08-17得票数 0
回答已采纳
我试图理解如何考虑Haskell中的类型类与Scala中的特性。类型类能够创建多态类型(在本例中是多态List)，这些类型支持在给定类型类中定义的操作(在本例中是在类型类Eq中定义的操作)，但根据我的理解，这是它们存在的唯一原因
浏览 0提问于2014-09-21得票数 11
我在试着理解这里的缺点在哪里。SML模块系统只是提供依赖类型，类似于Idris如何扩展Haskell类型系统，或者除了依赖类型的添加功能之外，还有其他功能吗？在现有的互联网文章中，关于SML模块系统的信息对我来说要么很难找到，要么很难理解。* * 编辑 * * 我对这个问题的真正含义有些困惑，这种困惑似乎源于我对ML模块系统的困惑(我认为这是因为我以Haskell的方式理解了函数器)。为什么有人会声称ML的类型系统比Haske
浏览 36提问于2014-06-04得票数 11
回答已采纳
1回答
我现在在研究haskell。但我在和“类型”做斗争。例如，，f函数的类型是(a -> b -> c) -> (a, b) -> ch f g x y = f (g x y) x我如何理解如何猜测函数的类型？
浏览 4提问于2019-11-01得票数 1
回答已采纳
为了了解haskell的工作原理，我创建了以下语句。我正在试图了解他们的类型，谁能让我知道我是否是正确的轨道？[(9,8),(7,6),(5,4)] [(9,8),(7,6),(5,4)] :: [int a, int b] => [(a,b)]
如果这是正确的，是否有人能帮助我理解这些语句的类型
浏览 0提问于2014-03-26得票数 1
2回答
我试图将一个函数，h，映射到一个素数列表。这两项规定如下： where然而，当我尝试map h primes时，我会得到以下错误： (Enum a0)
arising from the arithmetic sequen
浏览 2提问于2014-03-16得票数 0
回答已采纳
3回答
我正在学习Haskell，并试图准确地理解Haskell类型系统是如何工作的--正在计算出事物的类型:动态的、静态的、手动设置的、推断的？我只懂一点语言：
Perl，PHP:在运行时自动推断的类型(动态
浏览 0提问于2014-09-25得票数 5
回答已采纳
为了理解函数式编程，我正在学习Haskell，期望我能应用我在其他语言中获得的洞察力(主要是Groovy、Python、JavaScript )。我选择Haskell是因为我有这样的印象，它是非常纯粹的功能，不允许任何依赖状态。
我没有选择学习Haskell，因为我对导航一个非常严格的类型系统很感兴趣。我的问题是:强类型系统是非常纯功能语言的必要副产品，还是Haskell所特有的一个无关的设计选择？
浏览 0提问于2010-12-22得票数 33
回答已采纳
在Haskell中，有(->) r类型函子实例的定义。 fmap = (.)解释说，((->) e)是以e类型的值作为参数的函数类型。这是有道理的，但与Maybe，Either a，甚至[]相比，我不知道以后如何使用[]。我想我理解这些函子定义，它们的名称是：Maybe，Either a，但是我很难理解如何使用“无名”类型的(->) r。
这是否意味着我需要怀疑每个类
浏览 0提问于2020-08-02得票数 4
回答已采纳
我读了一本书，偶然发现Haskell Bool Type正如我在本例中所理解的，真值和False是值，下面类型的表达式是有效的稍后，当我想要创建一个新类型时，我忘记了命名值构造函数，并创建了以下类型。data Cartesian2D = Double Doublex = 1.0 2.0 x = Double Double
在这两种情况
浏览 1提问于2020-04-14得票数 2
回答已采纳
7回答
Haskell代数数据类型
、、、、
我正在尝试完全理解Haskell的所有概念。
代数数据类型在哪些方面类似于泛型类型，例如，在C#和Java中？它们又有什么不同呢？它们到底有什么代数性呢？我熟悉通用代数和它的环和域，但我对Haskell的类型如何工作只有一个模糊的概念。
浏览 0提问于2008-08-19得票数 62
回答已采纳
2回答
我读过Go实际上没有像ML或Haskell这样的函数式语言所具有的真正类型推断，但我还没有找到一个简单的方法来理解这两个版本的比较。有人能用基本术语解释Go中的类型推断与Haskell中的类型推断有何不同，以及每种方法的优缺点吗？
浏览 0提问于2014-08-17得票数 10
回答已采纳
3回答
我试图理解函数的Haskell类型变量。我写了一个函数：我试图理解这个函数的类型变量，所以我做了一个:t applyTwice。Haskell就是这样解释类型的：然后我创建了另一个函数：这一次:t Haskell返回
applyOnce:: (t1 -> t) ->
浏览 0提问于2017-02-15得票数 2
回答已采纳
云服务器
ICP备案
对象存储
云直播
腾讯会议
腾讯云开发者
