algebraic-data-types

3зной

2ответ

Трудности в понимании типа алгебраических данных

Я не совсем уверен, что это на самом деле описывает ZInt. data Nat = Zero | S Nat data ZInt = Z Nat Nat deriving Show addZ :: ZInt -> ZInt -> ZInt addZ (Z a b) (Z c d) = Z (add a c) (add b d) wi

haskell data-structures functional-programming algebraic-data-types 2016-12-12

---

0зной

1ответ

Связанные с тегами объединения в компиляторе замыкания

В настоящее время я сравниваю Google Closure Compiler и статический тип проверки Flow с точки зрения выразительности. Что мне нравится в последнем, так это то, что он, по-видимому, вполне может быть r

javascript types google-closure-compiler algebraic-data-types disjoint-union 2016-12-15

---

4зной

1ответ

Цирцей: декодировать многоуровневый ADT эффективно

Я хочу, чтобы декодировать следующую ADT с Цирцеями: sealed trait PaymentType object PaymentType extends EnumEncoder[PaymentType] { case object DebitCard extends PaymentType case object Che

json scala algebraic-data-types circe 2017-02-17

---

4зной

1ответ

Ошибочный код Scala с использованием полиморфных проверок типа ADT

Я делаю несколько упражнений для лучшего понимания IO-монад (после Functional Programming in Scala) и сумел написать какой-то ошибочный код, который каким-то образом передал компиляцию и вызвал у меня

scala functional-programming typechecking algebraic-data-types 2016-11-11

---

0зной

1ответ

как enfore ADT с таким же параметром типа

я следующий ADT: sealed trait Event case class EventA(id: Int) extends Event case class EventB(id: Int) extends Event case object EventDontCare extends Event object Event { def test(ev: Even

scala generics domain-driven-design algebraic-data-types 2017-01-16

---