impredicativetypes

8calore

2risposta

Polimorfismo di riga in Haskell: problemi di scrittura di Forth DSL con "trasformazioni"

Mi sono ispirato alla recente attività del blog Haskell per provare a scrivere una DSL simile a Forth in Haskell. L'approccio che ho preso è allo stesso tempo semplice e confusa: {-# LANGUAGE TypeOper

haskell polymorphism higher-order-functions concatenative-language impredicativetypes 2012-02-18

---

8calore

2risposta

Perché questo programma equivalente non viene compilato?

Questo programma: {-# LANGUAGE RankNTypes, ImpredicativeTypes #-} import qualified Data.Vector.Mutable as MV import qualified Data.Vector as V import Control.Monad.ST import Control.Monad.Primiti

haskell impredicativetypes 2015-09-05

---

59calore

2risposta

Tipi di impressioni rispetto al vecchio sottotipo vecchio

Una mia amica ha posto una domanda di lingua Scala apparentemente innocua la settimana scorsa a cui non ho avuto una buona risposta: se esiste un modo semplice per dichiarare una raccolta di elementi

scala haskell functional-programming subtype impredicativetypes 2012-03-16

---