newtype

1热度

2回答

我想定义一个事物的几个版本，但是使用不同的类型来增强我的程序中的类型安全性。例如，我有几种类型的双变量值，我想要成为Num的实例，但所有变量都应该是不同的类型。所以我所做的就是用一个类型变量创建一个新类型并基于此类型声明新类型。然而，我觉得现在不得不一直使用这两个构造函数，这有点令人讨厌。有没有办法解决？ {-# LANGUAGE GeneralizedNewtypeDeriving #-}

10热度

1回答

haskell中多个类型变量的顺序是什么规则？

例如，ParsecT在其定义中有多个类型变量。 newtype ParsecT s u m a = ParsecT {unParser :: forall b . State s u -> (a -> State s u -> ParseError -> m b) -> (ParseError -> m b) ->

9热度

2回答

为什么在引用newtype包装的数字类型时可以省略构造函数？

在真实世界的321页哈斯克尔有这些代码， ... {-# LANGUAGE GeneralizedNewtypeDeriving #-} newtype AInt = A { unA::Int } deriving (Show, Eq, Num) instance Monoid AInt where mempty = 0 我的困惑就是为什么它是 mempty = 0

4热度

1回答

定义构造函数NEWTYPE

我有一个类型 class IntegerAsType a where value :: a -> Integer data T5 instance IntegerAsType T5 where value _ = 5 newtype (Num a, IntegerAsType n) => PolyRing a n = PolyRing [a] 我环顾四周，换一种方式来指定N

15热度

2回答

数据和新类型之间的懒惰/严格

我很难理解为什么这两个片段在所谓的“穷人的严格分析”下产生不同的结果。第一个例子使用data（假设正确的应用型实例）： data Parser t a = Parser { getParser :: [t] -> Maybe ([t], a) } > getParser (pure (,) <*> literal ';' <*> undefined) "abc" **

8热度

1回答

用户定义的值类在Java中看起来如何？

我想我明白斯卡拉2.10的新的“值类”功能，通过与Haskell的newtype比较： trait BoundedValue[+This] extends Any { this: This => def upperBound: This def lowerBound: This } class Probability @throws(classOf[IllegalA

8热度

1回答

新类型的WHNF是什么？rseq如何处理新类型？

由于newtype在编译过程中被有效移除，所以它们没有thunk，只是值。那么如果我使用rseq来询问其WHNF会发生什么？例如，在 Sum (lengthyComputation :: Int) `using` rseq 其中Sum定义为 newtype Sum a = Sum { getSum :: a } 将lengthyComputation得到评估或不？是否在某处指定/记录，以便

3热度

2回答

为什么值类限制为AnyVal？

据我明白Scala中值类只是有包裹原始类型像Int或Boolean成另一种类型，而不会引入额外的内存使用情况。所以它们基本上被用作普通类的轻量级替代品。这让我想起了Haskell的newtype表示法，该表示法还用于将现有类型封装为新的类型，因此为某些数据引入了一个新的接口而不消耗额外的空间（要查看两种语言的相似性，请考虑例如限制为一个“构造函数”在Haskell和Scala中都有一个字段）。

1热度

3回答

超载秀列表

我想换行分隔的表现，而不是通常用逗号分隔的一个，5月份新数据tyepe： newtype SimpleRecord = SimpleRecord ([Char], [Char], Integer) deriving (Show) 我试着写这个istance的Show class： instance Show [SimpleRecord] where show [(Simp

0热度

2回答

意义

我有这样的说法： newtype State st a = State (st -> (st, a)) 。因此State类型是： State :: (st -> (st, a)) -> State st a 我不明白其中的含义：是st和a只是两个数据类型的占位符？对？该声明是否意味着State是一个函数，它作为一个函数的参数？