回答情况：
提问时间：
问题标签：
这两种类型之间的区别到底是什么？SomeClass sc2 = SomeObject as SomeClass;
浏览 0修改于2020-07-05得票数 90
回答已采纳
GeneralizedNewtypeDeriving #-}import System.Console.CmdArgs.Default
newtype
浏览 0提问于2011-04-01得票数 2
回答已采纳
这是我的数独解算器的开头大约50行代码的样子(到目前为止)： newtype Index = Index Intnewtype Column =Column Intnewtype Box = Box Intderive ne
浏览 36提问于2021-03-01得票数 0
回答已采纳
对于Haskell 98 decls，整个数据类型必须是newtype或data。但数据系列可以混合使用newtype instance、data instance。这是否意味着newtype是数据构造函数的属性，而不是数据类型的属性？但是MkBar2会变成一个GADT (因为它的结果类型不是Bar [a])，所以不能是newtype。
那么，作为newtype是结果类型的属性，而不是构造函数的属性吗？但是考虑一下上面为newtype实例MkBar1推断的类型。我不能编写具有相同类型的顶
浏览 4提问于2018-09-20得票数 0
Effect (Effect)import Prelude (Unit,(+),(/),(*),(-), (<>),discard)
newtype如何访问作为newType创建的对象的值？
浏览 6提问于2022-05-30得票数 3
IntegerAsType a whereinstance IntegerAsType T5 where value _ = 5
我一直在寻找一种方法来指定newtype的构造函数。我尝试在newtype声明的末尾使用where子句添加，但没有编译。(PolyRing xs) = PolyRing [2, 3, 5, 7
浏览 0修改于2015-04-20得票数 4
回答已采纳
我正在努力理解newtype，并认为这是可行的：newtype Y = Y Double
doit :: X -> Y -
浏览 4修改于2020-06-23得票数 2
回答已采纳
对于uni任务，我们得到了一行Haskell代码，其中显示：首先，TypeError是需要我们在赋值中实现的东西a在newtype TC之后是什么？我也不明白TC是如何被重用到等号右边的。
我认为a是一个类型变量，因为newtype的工作方式类似于数据。我不知道知道这会对我的理解有什么帮助。
浏览 5修改于2022-11-16得票数 2
回答已采纳
然而，MediaBag newtype.
我的问题是，我如何最终使MediaBag (使用newtype定义)从Data派生，以便成功地派生包含它的实例的WriterOptions？
浏览 2提问于2015-03-18得票数 2
回答已采纳
(我知道，这种类型本身一点也不好，但现在，这正是我们所使用的)from pydantic import conlist, PositiveFloatPositionType = NewType('PositionType', conlist(PositiveFloat, min_items=2, max_items=2))
如果创建一个新的错误的类型实例
浏览 9提问于2022-05-17得票数 0
回答已采纳
讨论newtype。ghci> let p = Pair (5, 10)
我很困惑b a是如何表示元组的。
浏览 1提问于2014-07-31得票数 4
回答已采纳
ys) = dequeue (Queue (reverse ys) [])但我正在尝试使用newtypeenqueue, dequeue) where
dequeue :: Queue a -> Maybe (Queue a)
newtype Queue a = Qimp ([] [])
但这似乎打破了我的职能的
浏览 5提问于2017-03-15得票数 0
回答已采纳
从我读到的一篇博客文章中 -- | Newtype for disabling logging = NoLoggingT { runNoLoggingT:: m a } deriving (MonadTrans) via IdentityT
instanceMonad m => MonadLog (NoLoggingT m) where logLn _ _ = pure () 什么是
浏览 12修改于2021-06-26得票数 3
回答已采纳
假设我有下面的newtype是否有一种简洁的方法可以添加两个Foo的：或者得到最大值：我很好奇，是否可以轻松地将a的函数用于newtype a而不是这样做：
addFoo :: Foo -
浏览 5修改于2014-10-06得票数 9
回答已采纳
Python文档展示了NewType的用法，如下所示： import typing
some_id = foo(524313) 我不太明白这个语法到底在做什么这与此有何不同： import typing
some_id = bar(524313) 在上面的源代码中'foo‘!或者，也许更糟： import typing
bar = typing.N
浏览 18修改于2021-03-18得票数 1
由于newtype在类型系统中被视为一个完全不同的类型，我想知道是否有任何方法可以使用模式匹配或使用newtype迭代列表，如下所示。newtype Foo = Foo [Int]
bar (x : xs) = x + bar xs
bar [] = 0
浏览 4提问于2022-10-12得票数 2
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号