Ingegneria software haskell

6

Cosa rende esattamente il sistema di tipi Haskell così venerato (vs, per esempio, Java)?

Sto iniziando a imparare l' Haskell . Sono molto nuovo, e sto solo leggendo un paio di libri online per capire meglio i suoi costrutti di base. Uno dei "meme" di cui le persone che hanno familiarità hanno spesso parlato, è l'intera cosa "se si compila, funzionerà *" - che …

204 java haskell polymorphism

2

Qual è il modello "Monade + interprete gratis"?

Ho visto persone parlare di Free Monad con interprete , in particolare nel contesto dell'accesso ai dati. Cos'è questo modello? Quando potrei volerlo usare? Come funziona e come lo implementerei? Capisco (da post come questo ) che si tratta di separare il modello dall'accesso ai dati. In che cosa differisce …

95 design-patterns functional-programming haskell dsl monad

4

Il sistema di tipi di Haskell è formalmente equivalente a quello di Java? [chiuso]

Mi rendo conto che alcune cose sono più facili / difficili in una lingua rispetto all'altra, ma mi interessano solo le funzionalità relative al tipo che sono possibili in una e impossibili / irrilevanti nell'altra. Per renderlo più specifico, ignoriamo le estensioni di tipo Haskell poiché ce ne sono così …

66 java haskell type-systems static-typing

4

qual è lo scopo delle frecce?

Sto imparando la programmazione funzionale con Haskell e cerco di afferrare i concetti capendo prima perché ne ho bisogno. Mi piacerebbe conoscere l'obiettivo delle frecce nei linguaggi di programmazione funzionale. Quale problema risolvono? Ho controllato http://en.wikibooks.org/wiki/Haskell/Understanding_arrows e http://www.cse.chalmers.se/~rjmh/afp-arrows.pdf . Tutto quello che capisco è che sono usati per descrivere grafici …

63 functional-programming haskell

7

Come si codificano i tipi di dati algebrici in un linguaggio simile a C # o Java?

Esistono alcuni problemi che possono essere facilmente risolti dai tipi di dati algebrici, ad esempio un tipo di elenco può essere espresso in modo molto sintetico come: data ConsList a = Empty | ConsCell a (ConsList a) consmap f Empty = Empty consmap f (ConsCell a b) = ConsCell (f …

58 java c# scala haskell algebraic-data-type

1

Come si progettano i programmi in Haskell o altri linguaggi di programmazione funzionale?

Ho una certa esperienza in linguaggi di programmazione orientati agli oggetti come c # o ruby. So come progettare un programma in stile orientato agli oggetti, come creare classi e oggetti e come definire le relazioni tra loro. Conosco anche alcuni modelli di design. In che modo le persone scrivono …

52 design haskell functional-programming

5

Ci sono aspetti negativi o problemi con Haskell?

Sto cercando di immergermi in Haskell per il mio prossimo (relativamente banale) progetto personale. I motivi per cui sto affrontando Haskell sono: Metti la mia testa in un linguaggio puramente funzionale Velocità. Mentre sono sicuro che questo può essere discusso, profilando che ho visto le unghie di Haskell vicine al …

47 haskell

5

Critica della monade IO che viene vista come una monade statale che opera sul mondo

La IOmonade di Haskell è spesso spiegata come una monade di stato in cui lo stato è il mondo. Quindi un valore di tipo IO amonade è visto come qualcosa di simile worldState -> (a, worldState). Qualche tempo fa ho letto un articolo (o un blog / post di una …

46 functional-programming haskell io monad

2

Perché (o perché no) i tipi esistenziali sono considerati cattive pratiche nella programmazione funzionale?

Quali sono alcune tecniche che potrei usare per refactificare costantemente il codice rimuovendo la dipendenza da tipi esistenziali? In genere questi vengono utilizzati per squalificare costruzioni indesiderate del tuo tipo e per consentire il consumo con una minima conoscenza del tipo dato (o almeno così è la mia comprensione). Qualcuno …

43 functional-programming haskell type-systems

3

Quali sono i vantaggi dell'utilizzo di LISP e Haskell? Mi renderanno un programmatore migliore? [chiuso]

So che Lisp e Haskell sono rispettivamente linguaggi di programmazione logica e funzionale, ma cosa significa esattamente? In che cosa differiscono dalle altre lingue? Ho sentito che imparare questi ti renderà un programmatore migliore e migliorerà la tua logica. È vero, e se vado ad imparare Lisp o Haskell a …

41 haskell lisp

7

Haskell AND Lisp vs. Haskell OR Lisp [chiuso]

Attualmente codice con C, C ++ e Python. Voglio imparare un linguaggio di programmazione funzionale, e in questo momento mi sto sporgendo verso Haskell. NON voglio iniziare qui una guerra "Haskell vs Lisp"; quello che voglio sapere è questo: se imparo Haskell principalmente per l'esposizione alla programmazione funzionale, quali benefici …

40 learning functional-programming haskell lisp paradigms

2

Idee sbagliate su linguaggi puramente funzionali?

Incontro spesso le seguenti dichiarazioni / argomenti: I linguaggi di programmazione funzionale pura non consentono effetti collaterali (e sono quindi di scarsa utilità nella pratica perché qualsiasi programma utile ha effetti collaterali, ad esempio quando interagisce con il mondo esterno). I linguaggi di programmazione funzionale pura non consentono di scrivere …

39 functional-programming haskell

2

Le lingue moderne usano ancora generatori di parser?

Stavo facendo ricerche sulla suite di compilatori gcc su wikipedia qui , quando è venuto fuori questo: GCC iniziò usando i parser LALR generati con Bison, ma gradualmente passò ai parser scritti in discesa ricorsiva scritti a mano; per C ++ nel 2004, e per C e Objective-C nel 2006. …

38 java ruby haskell parsing swift-language

5

“Una prova è un programma; la formula che dimostra è un tipo per il programma "

Questo potrebbe essere un tipo di domanda filosofica, ma credo che ci sia una risposta obiettiva ad esso. Se leggi l'articolo di Wikipedia su Haskell, puoi trovare quanto segue: Il linguaggio è radicato nelle osservazioni di Haskell Curry e dei suoi discendenti intellettuali, secondo cui "una dimostrazione è un programma; …

37 haskell

7

Quali sono gli equivalenti funzionali delle dichiarazioni di interruzione imperativa e di altri controlli del ciclo?

Diciamo, ho la logica qui sotto. Come scriverlo in Programmazione funzionale? public int doSomeCalc(int[] array) { int answer = 0; if(array!=null) { for(int e: array) { answer += e; if(answer == 10) break; if(answer == 150) answer += 100; } } return answer; } Gli esempi nella maggior parte dei …

36 functional-programming haskell clojure

Domande taggate «haskell»