haskell

8calore

1risposta

Quindi ho una funzione apply :: proxy tf -> tf Int -> tf Int che accetta un proxy destinato a trasportare una famiglia di tipi e applica Int a tale famiglia di tipi per determinare il tipo del secondo

5calore

1risposta

Come installare Cabal Sandbox per installare la documentazione HTML correttamente collegata?

Ho creato una libreria cabala all'interno di una sandbox con i seguenti comandi: cabal sandbox init cabal init ho aggiunto la linea documentation: True a cabal.config fare in modo che la documentaz

11calore

1risposta

Come convertire un Haskell Traversable in un vettore?

Se si dispone di un'istanza Traversable, xs, come si converte in Vector?

5calore

1risposta

I codici di REBR. GHC devono essere di tipo preservativo?

import Data.Void (Void,absurd) dire che ho un linguaggio piccolo termine: data Term c v where Var :: v -> Term c v Con :: c -> [Term c v] -> Term c v Se voglio combinare i termini del

13calore

1risposta

Trova la prima versione del pacchetto con la funzione X

Quindi sono seduto qui a chiedermi perché diavolo non riesco a trovare la funzione che sto cercando, e si scopre che non esiste nella versione del pacchetto che ho installato. Quindi, come faccio a fa

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

7calore

1risposta

Qual è un modo pulito per gestire una chiamata di monade in un'altra?

Ecco un problema di incollare insieme le monadi. Non in una pila, ma nella forma di dover scartare una Monade per eseguire l'operazione all'interno di un'altra. Due domini: Weblog e App. Tuttavia, tie

7calore

1risposta

prodotto e Somma tipo di Parallels in Haskell Tipo Classi

Sembra che le classi di tipo quali Applicative, Monad e Arrow hanno una sorta di tipo somma equivalente in classi di tipo quali Alternative, MonadPlus e ArrowPlus rispettivamente. Ad esempio, applicat

28calore

2risposta

È possibile ottenere l'errore di tipo infinito in Haskell 98?

Sto implementando un sistema gentile per un nuovo linguaggio di programmazione funzionale e sto attualmente scrivendo la funzione per unificare due tipi. Ci sono quattro casi due in considerazione: +-

7calore

1risposta

concatenate personalizzati definiti vettore

Ho definito un vettore come tale: {-# LANGUAGE GADTs, DataKinds, TypeFamilies, UndecidableInstances, TypeOperators #-} data Nat = Z | S Nat type family (+) (n :: Nat) (m :: Nat) :: Nat type instan