我大致想要实现以下几点：g :: b -> b
h x = case x of
(x is of type
浏览 1提问于2017-07-03得票数 2
回答已采纳
我注意到，GHC的ScopedTypeVariables能够在函数模式中绑定类型变量，但不能绑定模式。作为一个最小的例子，请考虑如果我想访问Foo中的类型，下面的函数不会编译：fooType (Foo x) = in typeRep (Proxy::Proxy a)
但是，<
浏览 1提问于2017-09-06得票数 4
回答已采纳
Right $ UserId 1234当然，使用assertEq有点冗长。幸运的是，Haskell具有引用透明性，所以很容易将case匹配打包成一个辅助函数，对吗？我试过这样做：
withAsse
浏览 3提问于2016-10-11得票数 1
回答已采纳
2回答
runReaderT :: r -> m a }type Action = ReaderT MongoContextdelete :: MonadIO m => Selection -> Action m ()像这样简单的案子也许我应该用这样的方法： ReaderT MongoCo
浏览 5提问于2017-05-28得票数 1
回答已采纳
1回答
在Edward的库中，有两个主要模块：Data.Vector.Hybrid和Data.Vector.Mixed。有一个关于前者背后的动机的。后者是顺带提及的，但缺乏任何解释。我想弄清楚用例是做什么用的。到目前为止，我注意到了两件事：
有一个带有Mixed约束的Typeable类型类型。我不理解haddocks中的解释，但似乎必须使用Typeable约束来恢复类型</em
浏览 3提问于2015-04-20得票数 6
1回答
我有以下类型和功能：data B = B deriving (Show, Typeable)
AndrewC<em
浏览 1提问于2013-07-20得票数 3
(类型、值)对的列表可以在Idris上表示为： Cons : (t : Type ** t) -> List -> Listexample = Cons (Nat ** 3) (Cons (Bool ** True) Nil)
在Haskell上表达这些内容的语法是什么？
浏览 1提问于2018-02-14得票数 5
回答已采纳
使用ViewPatterns和Data.Typeable，我成功地编写了一个函数，它允许我编写类似于对类型进行案例分析的内容。因为它使用Typeable来完全颠覆参数化：True"olleh"
因为我喜欢作恶，所以我对此很满意，但上面的语法非常嘈杂(Typeable a, Typeable</e
浏览 11提问于2017-01-20得票数 5
1回答
有没有好的方法来写下面的"x Is of type t“部分？(我怀疑我应该使用，但我不确定具体是如何使用的)g :: b -> Int
h x = case x
浏览 13提问于2017-07-03得票数 1
回答已采纳
1回答
我在匹配Scala中的Case类时遇到了一个有趣的问题...虽然我构造了基类，以便它可以在不同的Actor中使用，
浏览 4提问于2021-10-15得票数 0
即使没有扩展ExistentialQuantification，Haskell也通过类型同构为任何类型的C支持一些存在类型，这很奇怪，因为存在型是广义和类型。Haskell使用data关键字支持有限和类型，并允许它们进行模式<e
浏览 1提问于2017-03-02得票数 1
回答已采纳
1回答
我使用scotty和acid状态编写了一个web应用程序，现在我想使用类型类来为我的应用程序的测试功能提供替代的实现。我得到了它的一般想法，并能够应用它这么简单的例子，但由于我使用的是acid状态，有很多类型，类和模板haskell，我还不完全适应。
因此，对于不同的功能，我有这些直进类。dbUpdate (PutUser名称用户)=用户%= M.insert名称
浏览 5提问于2018-12-26得票数 0
回答已采纳
1回答
根据在我的PL中的程序中编写的内容，在我的语言的运行时，我希望将不同类型的Haskell函数动态应用于不同类型的Haskell值(它们的类型在运行时是已知的)，其类型在运行时是已知的。我希望以一种通用的方式应用这些函数，而不必在每个可能的类型上都进行
浏览 4提问于2018-02-03得票数 2
如果我有一个类型的TypeRep或一个包含该类型的实例的Dynamic，我是否可以找到一个已知类型的适当实例来使我能够调用那个类型类型上的函数而不需要知道该类型的完整类型？如果没有这样的特性，有什么原因是不可能的，还是没有实现呢？或者，是否有一种方法(可能使用模板haskell)来运行生成的带
浏览 1提问于2016-07-22得票数 1
回答已采纳
我制作了一个的变体，它允许我像其他任何Bool一样使用结果来编写类似eqT' @a @T1 || eqT' @a @T2的东西。然而，虽然在某些情况下效果很好，但我发现我无法用它来替换eqT的每一种用法。例如，我想用它来编写readMaybe的一个变体，当它应该返回一个String时，这个变体就是Just。虽然使用eqT允许我将类型保持为String -> Maybe a，但使用eqT'要求类型为S
浏览 0提问于2018-10-25得票数 7
回答已采纳
我试图在列表中使用不同的数据类型。Shape] -> [Int]showShapes (s:xs) = getArea (s : xs)编辑
如何使用if语句
浏览 2提问于2014-11-11得票数 0
回答已采纳
我有两种数据类型，它们用于模板。在我的代码中，有两个不同的类型是有意义的，两个类型都有一个名为"name“的字段。当然，这会引起冲突。似乎有一种机制可以消除对"name“的任何调用的歧义，但是实际的定义会导致问题。有什么解决办法吗，比如让记录字段名被限定？DeviceArray = DeviceArray
浏览 3提问于2011-08-03得票数 17
回答已采纳
3回答
我正在使用-XExistentialQuantification GHC扩展为特定类型类(Shape)的值创建一个异构容器：data Object = forallMethods not important doStuff :: s -> s
既然Shape的所有实例都是Eq的实例，那么有没有办法让Object也成为Eq的实例呢？
浏览 0提问于2012-10-23得票数 8
回答已采纳
1回答
在下面的示例中，我试图使foo返回它的“预期”多态输出类型。其思想是foo返回一个多态值和一个存在类型，然后bar指定元组的类型为隐藏类型。(当然，只有在bar中的类型也是存在的情况下，这才有效，在我的例子中是这样的。)如果可以的话，我可以使用递归的let来表示如下：bar =
let (x :: i,h) = fo
浏览 3提问于2014-11-24得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
