我遇到过对Haskell的Data.Typeable的引用，但我不清楚为什么要在我的代码中使用它。
它解决了什么问题?如何解决？
浏览 3提问于2011-07-07得票数 73
在Haskell (GHC)中，如何获得以下函数列表的类型签名？我尝试使用typeOf模块的Data.Typeable函数，但没有成功。具体来说，我尝试运行以下Haskell脚本：import Test.HUnit ( assertEqualPrelude>
更新：下面的HUnit测试用例并不完全符合我的要求，但我确实让它
浏览 1提问于2017-05-18得票数 0
回答已采纳
啊，看来我问的问题可能有点混乱。请仔细看一下问题。MyType2 = MyConstructor2 Int putStrLn $ theMagic MyType我想要的输出是：My.Module.MyType2
我要找的是类型名称，而不是类型定义。typeOf会输出Int等等，这不是我想要的。
浏览 2提问于2011-03-18得票数 9
回答已采纳
在Haskell程序中是否有一个可以调用的函数，它可以交互地执行:t的操作？或者这是Haskell不能做的事情，因为它的类型是没有意义的。将类型的名称作为字符串返回的函数如何？
浏览 0提问于2018-05-14得票数 14
回答已采纳
1回答
是否可以按如下方式实现类型类： isEq :: (SomeClass e') => e -> e' -> Bool
当x和y都是此类型类的同一实例时上下文:这是一次几乎不加掩饰的获取运行时类型测试的尝试。虽然我一开始读到Haskell有类型擦除，但我也读到了最近对GHC的扩展，其中包含一些运行时信息。编辑:对于那些对我的用例感兴趣的人...我一直在使用类型级编程来确保我的一些A
浏览 0提问于2013-01-24得票数 6
回答已采纳
你想要检查它是否是一个整数，或者更好的是检查它是什么类型。
我知道在haskell中有一个函数，isDigit，它可以检查它是否是字符。但是，有没有一个函数可以检查n是否为整数，或者更好的是，给出n的类型？
浏览 0提问于2010-11-09得票数 15
回答已采纳
1回答
阅读haskell关于的书，我想重复:t命令的示例：'a' :: Char True :: Bool ghci> :t (True, 'a') ghci> :t 4 == 5 不幸的<
浏览 4提问于2021-07-18得票数 2
回答已采纳
2回答
Haskell中的编程类型注释
、、、、
当进行元编程时，传递给Haskell的类型系统信息可能是有用的(或必要的)，这些类型是您的程序所知道的，但在印地语-Milner中是不可推断的。下面是一些伪哈斯克尔，它展示了我的意思：import Data.Typeable
randList :: (Typeable a) => [Dynamic]但是，您不能提供
浏览 0提问于2012-09-05得票数 14
回答已采纳
我是Haskell的新手，所以我可能遗漏了一些明显的东西，但是这里的问题似乎是什么？*实例定义为.. STypeRep :: Typeable a => Sing a
我正在尝试使用以下代码重现此代码的最小版本
浏览 22提问于2017-08-12得票数 4
回答已采纳
我有以下Haskell程序，我在其中定制了方法，以便友好地显示异常：import Data.Typeable
但是当我在GHC 8.6.4下运行它时，我得到而不是预期的something's wrong
为什么我<e
浏览 0提问于2019-04-03得票数 5
因此，我可以通过使用'topLevelSomething并删除.之后的最后一个标记来实现这一点，或者我也可以使用moduleName 'something，但这将返回一个可能...有没有更直接的方法来获取当前上下文的模块名称？因此，给定以下代码：test = magicHere
magicHere = "My.Module.Blah“的测试点中包含了什么内容？
浏览 0提问于2011-03-30得票数 15
回答已采纳
我们都知道ghci中的:t提供了表达式的类型：[1..] :: (Enum t, Num t) => [t]这有可能吗？
浏览 0提问于2013-02-24得票数 2
回答已采纳
有人能帮我在haskell中使用相当于导入命令的frege命令获取数据吗？我希望访问Data.Typeable或Data.Time.Calendar.....and这样的模块/内置过程。我们是否有一种方法来了解frege.....like中可用的模块，如果我做了"import.frege.___“，是否有任何自动填充功能或某种类型的列表，建议了各种可用的选项。非常感谢你的时间和帮助
浏览 5提问于2012-08-16得票数 2
回答已采纳
有什么好的方法来捕获haskell异常，它是在由c函数调用的haskell回调函数中抛出的吗？例如，让我有一个简单的c函数，它只调用给定的回调， callback ();以及通过ffi使用此函数的haskellForeignFunctionInterface #-}
imp
浏览 0提问于2015-04-19得票数 12
回答已采纳
1回答
我的问题是，如果我的输入是一个整数，如果我的输入是Char let value = read contents::Int，那么我处理这个问题的方式是使用两个不同的文件，我已经尝试实现了几个if子句，但是到目前为止没有什么效果我能做什么最好的方法来解决这个问题？import System.Environmentimport Data.List
im
浏览 4提问于2022-05-28得票数 0
1回答
根据在我的PL中的程序中编写的内容，在我的语言的运行时，我希望将不同类型的Haskell函数动态应用于不同类型的Haskell值(它们的类型在运行时是已知的)，其类型在运行时是已知的。对我如何做这两件事有什么建议吗？有没有用Haskell写的做类似事情的语言的</em
浏览 4提问于2018-02-03得票数 2
更具体地说，假设我有一些数据构造函数和下面这个愚蠢的函数在变量a实际上为Foo的情况下，我希望f输出在所有其他情况下(即对于Eq的所有其他实例)，我希望f输出False。 isFoo :: a -> Bool
虽然为Foo编写IsFoo实例很容易，但显然我不想对所有类型的Eq实例都这样做。我也
浏览 5提问于2015-02-28得票数 1
回答已采纳
1回答
如何编写可键入的实际实例声明？例如，假设我想为Char编写一个实例，其中每个字符都有不同的类型。'a' = C typeOf 'c' = D -> E显然，这不会像这样写，因为typeOf的输出是一个似乎所有关于可键入的内容都假定您将使用DeriveDataTypeable。
浏览 2提问于2014-01-03得票数 10
回答已采纳
我有一个想要显示函数的输入/输出类型的反射情况。我可以只将它添加到一个单独的数据结构中，但这样我就有了重复项，并且必须确保它们手动保持同步。例如，一个函数：所以现在我想要像这样的东西(可以有点灵活它不一定要直接是字符串。有没有简单的方法可以做到这一点？
浏览 2提问于2011-03-01得票数 4
回答已采纳
云服务器
ICP备案
对象存储
云点播
云直播
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号