haskell

10calore

3risposta

È possibile reindirizzare il codice sorgente a GHC tramite l'ingresso standard?

Voglio dire qualcosa di simile: echo 'main = print 1' | ghc > executable Al che GHC risponde: ghc: no input files Mi sto perdendo qualcosa? Questo è possibile in qualche modo?

14calore

3risposta

Modo efficiente per scrivere istanze di ordinazione?

Sto lavorando ad un'esercitazione di base Haskell configurata come segue: viene creata una definizione di dati, dove Zero è dichiarato come e una serie di numeri (stampati per nome, quindi, ad esempio

19calore

1risposta

Motivo di Rich Hickey per le funzioni Clojure non auto-curricum?

Haskell stride le sue funzioni. Clojure non permette però di usare le macro partial e le funzioni come approccio comparabile per fare lo stesso. Pensavo di aver ricordato di aver sentito/letto il moti

5calore

1risposta

Perché non impila aggiungere pacchetti al database del pacchetto ghc?

Ho deciso di provare a dare uno sparo. L'ho installato e l'ho usato per installare l'ultima versione di ghc. Ho usato lo stack per installare alcuni pacchetti ma i pacchetti non sono visibili a ghc e

5calore

2risposta

Come lo esprimeresti in Haskell?

Useresti se/else scrivere questo algoritmo in Haskell? C'è un modo per esprimerlo senza di loro? È difficile estrarre le funzioni fuori dal centro che hanno un significato. Questo è solo l'output di u

10calore

4risposta

Filtra un elenco di percorsi per includere solo i file

Se ho un elenco di FilePaths, come posso filtrarli per restituire solo quelli che sono file normali (vale a dire, non collegamenti simbolici o directory)? Ad esempio, utilizzando getDirectoryContents

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

6calore

1risposta

Perché GHC non ridurrà la mia famiglia di tipi?

Ecco un calcolo lambda non tipizzato i cui termini sono indicizzati dalle loro variabili libere. Sto usando la libreria singletons per i valori singleton delle stringhe a livello di testo. {-# LANGUAG

5calore

1risposta

Catamorfismi per elenchi codificati dalla Chiesa

Desidero poter usare il pacchetto cata dal recursion-schemes per gli elenchi nella codifica della Chiesa. type ListC a = forall b. (a -> b -> b) -> b -> b Ho usato un secondo tipo per comodità, ma n

5calore

2risposta

firma di tipo difficile per le coppie di coppie invertite

Diciamo che ho il seguente tipo di dati: data D a b = D (a,b) (b,a) e voglio definire la seguente funzione su di esso: apply f (D x y) = D (f x) (f y) Qual è la firma di tipo di apply? Ecco alcuni