higher-rank-types

16calore

2risposta

Come può l'eta-riduzione di una funzione ben tipizzata causare un errore di tipo?

stavo giocando intorno con lenti van Laarhoven e sono imbattuto in un problema in cui il tipo ortografico rifiuta la forma eta-ridotta di una funzione ben tipato: {-# LANGUAGE RankNTypes #-} import

haskell higher-rank-types 2013-05-06

---

7calore

1risposta

Mappa eterogenea

Ho bisogno di una mappa che possa contenere valori arbitrari purché i loro tipi siano dello stesso tipo. Il mio primo approccio ingenuo è stato qualcosa di simile: type HMap = forall a . MyClass a =>

haskell polymorphism existential-type higher-rank-types 2012-05-24

---

5calore

3risposta

Necessità di wrapper di tipo esistenziale

Si scopre che è sorprendentemente difficile utilizzare correttamente i tipi di tipo existential/rank-n nonostante l'idea molto semplice alla base. Perché è necessario includere tipi esistenziali nei t

haskell polymorphism existential-type higher-rank-types 2012-06-03

---

13calore

3risposta

RankNTypes e PolyKinds

Qual è la differenza tra f1 e f2? $ ghci -XRankNTypes -XPolyKinds Prelude> let f1 = undefined :: (forall a m. m a -> Int) -> Int Prelude> let f2 = undefined :: (forall (a :: k) m. m a -> Int) -> In

haskell polymorphism higher-rank-types polykinds 2015-02-27

---

5calore

1risposta

trasduttori a Haskell e la restrizione monomorfismo

ho implementato trasduttori in Haskell come segue: {-# LANGUAGE RankNTypes #-} import Prelude hiding (foldr) import Data.Foldable type Reducer b a = a -> b -> b type Transducer a b = forall t. R

haskell higher-rank-types transducer monomorphism-restriction 2015-01-11

---

9calore

1risposta

Tipo vs Classifica teoria dei tipi

Ho difficoltà a comprendere i tipi di rango superiore rispetto a quelli di rango superiore. Il tipo è piuttosto semplice (grazie alla letteratura Haskell per questo) e io pensavo che il rango sia simi

type-theory higher-rank-types type-kinds 2012-11-09

---

28calore

2risposta

Ci sono dei vantaggi nell'uso di Rank2Types in favore di RankNTypes?

Per quanto ne so, esiste un algoritmo di verifica del tipo decidibile (solo) per i tipi di grado 2. GHC usa in qualche modo questo fatto e ha delle implicazioni pratiche? Esiste anche una nozione di t

haskell ghc type-inference higher-rank-types 2013-02-22

---

29calore

1risposta

Facendo rango-n quantificazione in Idris

posso fare solo i tipi di rango-n in Idris 0.9.12 in un modo piuttosto goffo: tupleId : ((a : Type) -> a -> a) -> (a, b) -> (a, b) tupleId f (a, b) = (f _ a, f _ b) ho bisogno di sottolineature dov

dependent-type higher-rank-types idris 2014-04-05

---

5calore

1risposta

Usando una monade rango-2 di tipo

Ecco il codice: {-# LANGUAGE RankNTypes, FlexibleContexts, ScopedTypeVariables #-} module Foo where import Data.Vector.Generic.Mutable as M import Data.Vector.Generic as V import Control.Monad.S

haskell higher-rank-types 2014-07-14

---

11calore

2risposta

Qual è il nome di questo functor che utilizza RankNTypes?

Durante il gioco del pacchetto objective, ho notato che il seguente tipo ha proprietà interessanti. > {-# LANGUAGE RankNTypes #-} > data N f r = N { unN :: forall x. f x -> (x, r) } È un Functor. >

haskell functor higher-rank-types 2016-04-29

---