algebraic-data-types

5ısı

2cevap

Aeson kullanarak Haskell ADT'lerini düzenli JSON olarak nasıl derleriz?

Aeson ile uğraşırken biraz zaman geçirdim, ancak Cebirsel Veri Türlerini güzel bir şekilde serileştiremiyorum. Ben denedim ne geçerli: data Attach = Attach { tel :: String } deriving (Show) $

json haskell serialization algebraic-data-types aeson 2015-07-15

---

8ısı

1cevap

Ben OCaml içinde bu basit kodu var OCaml

yılında basitleştirilmesi sonra ürün tipini yapısızlaştırmak açılamıyor: type int_pair = int * int;; type a = A of int_pair;; let extract (A x) = x;; benim extract fonksiyonunu test, işe görünmekt

ocaml algebraic-data-types 2013-04-01

---

7ısı

2cevap

John Hughes '`foldtree' 'Ne yanlış anlama var?

John Hughes, Why Functional Programming Matters başlıklı meşhur makalesinde, listeler ve sipariş etiketli ağaçlar için listof * ::= Nil | Cons * (listof *) treeof * ::= Node * (listof (treeof *)) v

haskell fold type-mismatch algebraic-data-types 2015-01-13

---

9ısı

1cevap

Eşitlik test

mümkün açıkça kanıtlayan ya olmadan (GHC otomatik olarak Haskell 98 türü için Eq örneği olarak türetmek ne olabileceğini benzer) eşitliği basit sözdizimsel kavramını tanımlamak mı Her bir veri kurucus

equality agda algebraic-data-types 2014-10-10

---

0ısı

1cevap

Scala: Öğelerin sıralamasında kat kullanarak ikili ağaç oluşturmaya çalışırken belirsiz değer parametresi hatası

Scala'da ikili ağaç yazmaya çalışıyorum. İşte benim BinaryTree.apply yöntemde benim tanımları sealed trait Tree[+T] final object Empty extends Tree[Nothing] final case class Leaf[A](value: A) extend

scala binary-tree algebraic-data-types 2016-04-13

---

16ısı

2cevap

Neden inductive datatypes, 'tür Bad A = C (Bad a -> a) `gibi türlerin yasaklanmasını önler. <a href="http://wiki.portal.chalmers.se/agda/agda.php?n=ReferenceManual.InductiveDataTypesAndPatternMatching">Inductive Data Types and Pattern Matching</a> durumlarına

Agda manuel: normalleşmesini sağlamak için, endüktif oluşumları kesinlikle olumlu pozisyonlarda yer almalıdır. Örneğin, aşağıdaki veri türü izin verilmez: data Bad : Set where bad : (Bad → Bad) →

haskell recursive-datastructures algebraic-data-types y-combinator agda 2012-09-29

---

15ısı

2cevap

Veri ve yeni tip arasındaki boşluk/sıkılık

Bu iki parçacığın neden sözde "yoksul adamın sıkılık analizi" altında farklı sonuçlar ürettiğini anlamak için uğraşıyorum. ilk örneği data (doğru bir Uygulamalı örnek varsayılarak) kullanır: data Pars

haskell lazy-evaluation algebraic-data-types newtype 2012-11-26

---

7ısı

2cevap

Vaka sınıfındaki var üyeler vaka sınıfının eşitliğini etkiler mi?

Kodumda, vaka sınıfının doğru davranması için temel eşitlik tanımlarını yanıtlayarak, vaka sınıflarımın yoğun şekilde kullanılmasını sağladım. Sonra şimdi bir vaka sınıfına başka bir alan üyesi ekleme

scala equality case-class algebraic-data-types 2013-01-15

---

20ısı

1cevap

Python'da cebirsel veri türlerini tanımlamanın en iyi yolu?

Python'un Haskell veya Ocaml DEĞİLDİR, fakat Python'da (2 veya 3) cebirsel veri türlerini tanımlamanın en iyi yolu hangisi? Teşekkürler!

python algebraic-data-types 2013-04-28

---

5ısı

1cevap

İlişkisel veri tabanını kullanarak cebirsel veri türlerini modelleme

OCaml/F #/SML/Haskell uygulamasında bir uygulama yazdığınızı ve ilişkisel bir veritabanındaki verileri sürdürmek istediğinizi varsayalım. Ürün türlerini (kayıtlar ve kopyalar) ilişkilere göre haritala

sql orm relational-database variant algebraic-data-types 2015-10-19

---