0
ответов
Разница между `data` и` newtype` в Haskell
В чем разница, когда я это пишу? data Book = Book Int Int по сравнению с newtype Book = Book (Int, Int) - «Book Int Int» синтаксически неверен
вопрос задан: 26 November 2018 23:55
0
ответов
Как выглядят определяемые пользователем -классы значений из Java?
Я думаю, что понимаю новую функцию «класса значений» в Scala 2.10 по сравнению с Haskell newtype :trait BoundedValue[+This] extends Any { this :This => def upperBound :This def...
вопрос задан: 1 July 2012 18:15
0
ответов
newtype с RankNTypes
Если я хочу объявить новый тип таким образом, чтобы тип значения был ограничен наличием экземпляра для класса типов, кажется, что я могу сделать это с помощью: {-# LANGUAGE RankNTypes # -} newtype ShowBox = ...
вопрос задан: 19 March 2012 23:11
0
ответов
многопараметрический новый тип, подделанный с помощью кортежа?
Это глупый вопрос, который меня немного беспокоит. Почему я не могу написать newtype с несколькими параметрами, newtype A = A Int Int, в то время как версия кортежа в порядке? newtype A = A (Int, Int) ...
вопрос задан: 7 August 2011 04:00
0
ответов
Есть ли способ определить экзистенциально количественно определенный новый тип в GHC Haskell?
Возможно ли в (GHC) Haskell определить экзистенциально количественно определенный новый тип? Я понимаю, что если задействованы классы типов, это невозможно сделать в реализации с передачей словаря, но для моего ...
вопрос задан: 4 May 2011 22:01