algebraic-data-types

7calore

2risposta

Definizione dei tipi di fantasma - impossibile compilare esempi

Sto cercando di saperne di più sui tipi di fantasma. Sto cercando di leggere attraverso Fun with Phantom Types di Ralf Hinze. Sta usando una parola chiave with che non ho mai visto prima e che non rie

haskell types algebraic-data-types phantom-types 2015-09-30

---

12calore

1risposta

Tipi di dati algebrici in Kotlin

Sto cercando di capire come utilizzare i tipi di dati algebrici in Kotlin, quindi sto cercando di implementare un tipo BinaryTree di base nel seguente modo. sealed class Tree<T>{ class Node<T>(va

kotlin algebraic-data-types 2016-04-20

---

12calore

1risposta

Una lista di cui "Nil" ha un valore?

fa qualche libreria standard Haskell definire un tipo di dati come questo data ListWithEnd e a = Cons a (ListWithEnd e a) | End e Quella è una lista il cui elemento di chiusura porta un val

list haskell algebraic-data-types pattern-synonyms 2015-03-30

---

5calore

1risposta

Modellazione dei tipi di dati algebrici tramite database relazionale

Si supponga di scrivere un'app in OCaml/F #/SML/Haskell e di voler conservare i dati in un database relazionale. È facile mappare i tipi di prodotto (record e tuple) alle relazioni, ma come associare

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

---

5calore

2risposta

Come serializzare gli ADT Haskell come ordinato JSON, usando Aeson?

Ho passato un po 'di tempo a giocare con Aeson, ma non riesco a far serializzare correttamente i tipi di dati algebrici. Quello che ho provato è: data Attach = Attach { tel :: String } derivin

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

---

5calore

2risposta

È possibile creare una rappresentazione a livello di carattere di ADT generici?

Utilizzando la codifica Church, è possibile rappresentare qualsiasi tipo di dati algebrico arbitrario senza utilizzare il sistema ADT incorporato. Ad esempio, può essere rappresentato Nat (esempio in

functional-programming agda algebraic-data-types idris church-encoding 2016-06-28

---

8calore

1risposta

Qual è lo scopo dei tipi di dati algebrici senza un costruttore?

In Haskell si può definire un tipo di dati algebrico senza un costruttore: data Henk Ma qual è lo scopo di un tipo (o genere?), Che non ha un costruttore?

haskell types algebraic-data-types 2015-10-25

---

9calore

2risposta

Come scrivere un tipo che è isomorfo su Tree senza liste annidate?

In Haskell, si dice che qualsiasi ADT può essere espresso come somma di prodotti. Sto cercando di trovare un tipo piatto isomorfo a Tree, su Data.Tree. Tree a = Node a [Tree a] -- has a nested type (L

haskell functional-programming algebraic-data-types 2015-06-08

---

12calore

2risposta

Perché abbiamo bisogno di "Tipi di dati algebrici"?

Ho letto alcune spiegazioni dei tipi algebrica dati: The Algebra of Algebraic Data types I The Algebra of Algebraic Data types II The Algebra of Algebraic Data types III The Algebra of Data, and Calcu

scala haskell algebraic-data-types 2015-08-01

---

6calore

3risposta

Come convertire la definizione della classe di case Scala in Haskell?

Sto imparando Haskell insieme a Scala. Ho provato a fare definire il seguente tipo Scala di Haskell, ma non è riuscito: sealed trait Expr case class Value(n: Int) extends Expr case class Add(e1: Exp

scala haskell types algebraic-data-types 2015-08-01

---