newtype

7calore

4risposta

Uso delle funzioni di `` a` su Newtype a`

Diciamo che ho il seguente newtype: newtype Foo = Foo Integer deriving (Eq, Show) Esiste un modo conciso per aggiungere due Foo s': (Foo 10) + (Foo 5) == Foo 15 o ottieni il massimo: max (Foo 10) (Foo

haskell newtype 2014-10-06

---

8calore

1risposta

Qual è l'equivalente di C# al nuovo tipo di Haskell?

In Haskell, esistono due modi per fornire un alias per i tipi: type e newtype. type fornisce un tipo sinonimi, che significa che il tradurre viene considerata dal tipo correttore come esattamente lo s

c# haskell newtype 2015-04-27

---

7calore

2risposta

restrizioni di tipo unboxed

mi chiedo perché i tipi disimballati a Haskell hanno queste restrizioni: Non è possibile definire un newtype per il tipo unboxed: newtype Vec = Vec (# Float#, Float# #) ma è possibile definire il ti

haskell type-families newtype 2015-11-17

---

7calore

4risposta

Spogliarello il costruttore newtype

Più spesso di quanto non sto funzioni che sono stripping l'unico costruttore di un nuovo tipo, come ad esempio nella seguente funzione per restituire il primo argomento che non è niente di scrittura:

haskell constructor strip syntactic-sugar newtype 2015-05-05

---

13calore

1risposta

non può fare un esempio derivato di Num

Sto usando ghci, questa sezione di codice newtype Gold = Gold Int deriving (Eq, Ord, Show, Num) sta mostrando l'errore come Can't make a derived instance of 'Num Gold': 'Num' is not a deri

haskell ghci newtype derived-instances 2014-09-01

---

6calore

2risposta

Perché i newtypes non usano i tratti dal tipo interno?

a Rust 1.0.0-notte, questo codice funziona bene: fn main() { let x = 10f64; let y = 20f64; let z = x + y; println!("z = {}", z); } Ma se provo ad usare un newtype (secondo il ru

rust newtype 2015-01-31

---

6calore

1risposta

Derivato Newtype generalizzato

Haskell può derivare l'istanza per MonadState s in T1 in basso ma non in T2 che tuttavia è un tipo molto simile. In che modo dovrei modificare il codice per T2 in modo che l'istanza per MonadState s p

haskell monads state-monad deriving newtype 2014-09-05

---

12calore

3risposta

implementare automaticamente i tratti di tipo chiuso per newtypes Rust (struct tupla con un solo campo)

a Rust, struct tupla con un solo campo possono essere creati come la seguente: struct Centimeters(i32); voglio fare operazioni aritmetiche di base con Centimeters senza estrarre i loro valori "inter

struct traits rust newtype 2014-07-18

---

5calore

1risposta

Impossibile derivare Applicativo quando si combinano due pile di trasformatori monad

Ho scritto due monadi per un linguaggio specifico del dominio che sto sviluppando. Il primo è Lang, che dovrebbe includere tutto il necessario per analizzare la lingua riga per riga. Sapevo che vorrei

haskell monad-transformers deriving newtype 2016-04-26

---

5calore

1risposta

GeneralizedNewtypeDeriving non riesce per PersistFieldSql

sto cercando di definire un Newtype Markdown, e l'utilizzo di GeneralizedNewtypeDeriving per definire automaticamente nuove istanze: import Text.Markdown import Yesod.Text.Markdown import Database.P

haskell newtype forall 2014-09-17

---