Domande taggate «haskell»

Haskell è un linguaggio di programmazione funzionale caratterizzato da una forte tipizzazione statica, valutazione pigra, ampio parallelismo e supporto della concorrenza e capacità di astrazione uniche.

2
Tecniche per tracciare vincoli
Ecco lo scenario: ho scritto del codice con una firma del tipo e i reclami di GHC non sono stati in grado di dedurre x ~ y per alcuni xe y. Di solito puoi lanciare GHC in un osso e semplicemente aggiungere l'isomorfismo ai vincoli di funzione, ma questa è …
322 haskell  constraints  ghc 
8
Cosa fa la parola chiave `forall` in Haskell / GHC?
Sto cominciando a capire come forallviene utilizzata la parola chiave nei cosiddetti "tipi esistenziali" come questo: data ShowBox = forall s. Show s => SB s Questo è solo un sottoinsieme, tuttavia, di come forallviene utilizzato e semplicemente non riesco a pensare al suo uso in cose come questa: runST …
312 haskell  syntax  types  ghc  forall 
6
Cosa c'è di così brutto in Template Haskell?
Sembra che Template Haskell sia spesso visto dalla comunità Haskell come una sfortunata comodità. È difficile esprimere a parole esattamente ciò che ho osservato al riguardo, ma considera questi pochi esempi Modello Haskell elencato sotto "The Ugly (ma necessario)" in risposta alla domanda Quali estensioni Haskell (GHC) dovrebbero usare / …
1
Haskell: Elenchi, matrici, vettori, sequenze
Sto imparando Haskell e leggendo un paio di articoli riguardanti le differenze di rendimento degli elenchi Haskell e (inserisci la tua lingua) gli array. Essendo uno studente, ovviamente uso solo elenchi senza nemmeno pensare alla differenza di prestazioni. Di recente ho iniziato a indagare e ho trovato numerose librerie di …
230 haskell 
7
Qual è la risposta Haskell a Node.js?
Credo che la comunità Erlang non sia invidiosa di Node.js in quanto esegue l'I / O non bloccante in modo nativo e ha modi per ridimensionare facilmente le distribuzioni su più di un processore (qualcosa che non è nemmeno incorporato in Node.js). Maggiori dettagli su http://journal.dedasys.com/2010/04/29/erlang-vs-node-js e Node.js o Erlang …
6
Esecuzione di un programma Haskell sul sistema operativo Android
Forenote: questa è un'estensione del thread avviato su / r / haskell Cominciamo con i fatti: Android è un fantastico sistema operativo Haskell è il miglior linguaggio di programmazione del pianeta Pertanto, chiaramente, combinarli renderebbe lo sviluppo di Android molto migliore. Quindi, in sostanza, vorrei solo sapere come posso scrivere …
2
Quando -XAllowAmbiguousTypes è appropriato?
Di recente ho pubblicato una domanda su syntactic-2.0 per quanto riguarda la definizione di share. Ho funzionato in GHC 7.6 : {-# LANGUAGE GADTs, TypeOperators, FlexibleContexts #-} import Data.Syntactic import Data.Syntactic.Sugar.BindingT data Let a where Let :: Let (a :-> (a -> b) :-> Full b) share :: (Let :<: …
212 haskell  ghc 
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.