1回答
我试图列出(打印)给定模块作用域中的所有函数(及其类型)。module Reverse where
myString = "string"
我正在尝试使用GHCAPI (8.0.2)，但似乎找不到我要查找的信息的存储位置。我已经设法用下面的代码找到了作用
浏览 7提问于2017-03-11得票数 2
回答已采纳
为了重新绑定Haskell的过程表示法，GHC用户指南的段指出，箭头表示法使用arr，first，...作用域中的函数。它还声明类型“必须与Prelude类型非常紧密地匹配”。那么，这些类型必须在多大程度上匹配Prelude类型？
浏览 2提问于2011-07-27得票数 5
回答已采纳
有没有办法以编程方式获得一个类型类的实例列表？我突然意识到，编译器必须知道这些信息才能进行类型检查和编译代码，所以有什么方法可以告诉编译器:嘿，你知道那些类的实例，请在这里列出它们(作为字符串或它们的任何表示形式)。
浏览 0提问于2011-03-23得票数 17
回答已采纳
1回答
我知道GHC允许我使用，访问编译器特性，如分析、运行和转换Haskell代码。将GHC作为包导入的Haskell程序在编译时将包含GHC自己的(部分)副本，因此即使在没有安装GHC的系统上也可以执行。但是，如果我不想在程序中包括GHC，而是使用安装在系统上的GHC，该怎么办？因此，当程序被赋予一个Haskell代码时，它将使用系统的GHC来理解它，并在必要时导入所有</em
浏览 2提问于2013-02-17得票数 12
回答已采纳
我在找关于Kotlin中的访问修饰符的文档。但它还没找到。我在找Jetbrians的公共文件。我找到了关于访问修饰符的线程。
浏览 1提问于2014-07-03得票数 0
回答已采纳
3回答
有没有什么东西像Python做的那样优雅/方便呢？Help on built-in function count:
count(...)
浏览 1提问于2010-09-13得票数 14
回答已采纳
1回答
学习(), Bool, Char, Ordering, Int, Integer, Float and Double
在GHCi中，有没有办法找出哪些类型是哪些类型类的实例，反之亦然我想要一些类似于我们在GHCi中用来查找表达式类型的:t。
浏览 48提问于2012-09-21得票数 18
1回答
我正在尝试编写一个具有类型安全长度的向量库，这意味着添加两个不同长度的向量将不会运行。我目前的实现大致是： Zero :: Natural (:|) :: e -> Vector n e -> Vector (Succ n) e
我现在正在尝试实现zipWith，因为它将有助于实现dot产品和Num类型
浏览 2提问于2014-05-29得票数 3
回答已采纳
1回答
我正在尝试编写一个使用GHC API为我检查haskell文件类型的程序。我已经让类型检查对本地文件起作用了，但是我有一个特定的cabal包，我也需要有可用的(这个可执行文件将是同一个包的一部分)。我也尝试使用ghc命令行编译来解决这个问题，使用ghc -package PKG-VER --make Test.hs -v，但它似乎只在本地目录中查找导入。我当前的
浏览 8提问于2012-09-03得票数 7
回答已采纳
3回答
在Haskell中，要定义类型类的实例，需要提供类型类所需的函数字典。也就是说，要定义Bounded的实例，您需要为minBound和maxBound提供一个定义。为了解决这个问题，让我们将这个字典称为类型类实例的vtbl。如果这是个拙劣的类比，请告诉我。
我的问题是，当我调用类型类函数时，我可以期望GHC生成什么样的代码。在这种情况下，我认为有
浏览 4提问于2012-09-28得票数 21
回答已采纳
3回答
我在haskell中使用GHCI进行了相当多的编程，但是下一个任务要求我们只使用GHC编译和测试我们的代码。由于ghci的工作方式与ghc相比，您显然需要使用main函数，并且ghc在代码中查找此函数。我的问题是，如果Haskell促进类型安全并且没有副作用，除非在IO操作中，为什么haskell程序的主要部分必须是IO操作？原谅我，如果我不理解一些基本的
浏览 8提问于2015-04-23得票数 4
回答已采纳
1回答
我试图使用未定义的值来获取类型常数的值(类似于可存储的sizeOf )。undefined :: a)考虑到我明确地将typeConst参数的类型指定为受MyClass a约束的a类型变量，我不明白类型推断存在什么问题，所以在我看来，它在应用于typeConst函数时应该没有问题。
浏览 3提问于2016-04-08得票数 2
回答已采纳
我继承了一个要转换到2005的Visual Studio 6.0项目。为什么VS2005不能识别使用参数依赖查找的内联朋友放置操作符new？它使用参数识别hello()函数(因此会显示"Hello called with koenig lookup“)，但它不能用于放置new。另外，如果你在MyClass之外取消注释非友好的“操作符new”，那么在VS2005中就会正确地调用这个操作符。
怎么回事？这里有错误吗？位置新是依赖于参数的查找的特例
浏览 0提问于2010-03-07得票数 1
回答已采纳
1回答
我的问题是关于如何在关联的类型约束(即种类约束的类型)中放置相等约束。特定用例是由部分应用的类型参数化的类： type Ctx c m r :: Constraint
f :: (Ctx然而，GHC抱怨：“不在作用域中:类型变量b”。我看不到任何其他方式来表达这种约束。并不是每个实例
浏览 7提问于2012-09-25得票数 3
回答已采纳
我们都知道ghci中的:t提供了表达式的类型：[1..] :: (Enum t, Num t) => [t]这有可能吗？
浏览 0提问于2013-02-24得票数 2
回答已采纳
这也许是一个非常基本的问题，但似乎没有涉及到这个问题。我最近使用了Haskell，到目前为止类型声明主要由以下内容组成：Booletc, etccontains x list = [values | (key,values)<-list, x==key]
有人能解释一下这个a是什么以及它是如何工作的吗从观察来看，
浏览 3提问于2015-01-29得票数 5
回答已采纳
代码，这里让我在demo中查看文本字段中的类型值 <!我认为像API或聚合物js这样的东西干扰了这个“`keyup”函数的查找。Uncaught ReferenceError: keyup is not defined
at HTMLDivElement.onkeyup ((index):1) 所有关于stackoverflow的解决方案都谈到了将函数放在head作用域中</e
浏览 36提问于2020-11-22得票数 0
回答已采纳
4回答
我在文件btree.h中编写了一个btree实现类'btree‘，并在文件btree_iterator.tem中实现的文件btree_iterator.h中使用外部迭代器类'btree_iteratortypedef btree_iterator<T> iterator;
};
现在，在实现find函数时template <typename T> iterator btree&l
浏览 2提问于2011-10-14得票数 0
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
