Ingegneria software haskell

2

Perché il comitato Haskell ha scelto le monadi per rappresentare l'I / O?

Il linguaggio Clean utilizza tipi di unicità per gestire l'I / O in un ambiente puramente funzionale. Perché invece il comitato Haskell andò con le monadi ? Vi erano altre proposte di gestione che indicavano che la commissione aveva indagato ma deciso contro? Nota : non sto cercando una guerra …

36 functional-programming history haskell

12

Schema vs Haskell per un'introduzione alla programmazione funzionale?

Sono a mio agio con la programmazione in C e C # ed esplorerò C ++ in futuro. Potrei essere interessato a esplorare la programmazione funzionale come un diverso paradigma di programmazione. Lo sto facendo per divertimento, il mio lavoro non prevede la programmazione informatica e sono in qualche modo …

36 haskell functional-programming scheme

7

Il sistema di tipi di Haskell è un ostacolo alla comprensione della programmazione funzionale? [chiuso]

Sto studiando Haskell allo scopo di comprendere la programmazione funzionale, con l'aspettativa che applicherò le intuizioni che ottengo in altre lingue (principalmente Groovy, Python, JavaScript). Ho scelto Haskell perché avevo l'impressione che fosse puramente funzionale e che non mi permettesse di fare affidamento sullo stato. Non ho scelto di imparare …

33 functional-programming haskell language-features type-systems

2

Applicazione della semantica denotazionale alla progettazione di programmi

Ho letto un po 'di semantica denotazionale (DS) e sono molto incuriosito dal processo di progettazione di programmi per computer in cui tipi e funzioni hanno mappature forti e chiare alla matematica. Ci sono risorse che trattano in dettaglio la progettazione di programmi basati su DS? Ho visto alcuni trattamenti …

30 scala haskell scheme

8

Perché è utile il concetto di valutazione pigra?

Sembra che una valutazione pigra delle espressioni possa far perdere al programmatore il controllo sull'ordine in cui il suo codice viene eseguito. Ho difficoltà a capire perché questo sarebbe accettabile o desiderato da un programmatore. Come può essere usato questo paradigma per costruire software prevedibile che funzioni come previsto, quando …

30 functional-programming haskell

3

Haskell vs Erlang per i servizi web

Sto cercando di iniziare un progetto sperimentale usando un linguaggio funzionale e sto cercando di decidere tra Erlang e Haskell, ed entrambi hanno alcuni punti che mi piacciono molto. Mi piace il sistema di tipo forte e la purezza di Haskell. Ho la sensazione che renderà più facile scrivere codice …

30 functional-programming haskell erlang

8

Usando un sistema di tipo "forte" nel mondo reale, diciamo, per le app Web su larga scala?

So che questa è una domanda molto ampia, ambigua e forse filosofica. In una certa misura, la parola chiave più importante nella domanda - sistema di tipo "forte" - stessa, è mal definita . Quindi, lasciami provare a spiegare cosa intendo. Contesto generale della domanda Abbiamo creato un'app Web su …

29 java haskell scala type-systems rust

3

Diversi modi di vedere una monade

Durante l'apprendimento di Haskell ho affrontato molti tutorial cercando di spiegare cosa sono le monadi e perché le monadi sono importanti in Haskell. Ognuno di loro ha usato analogie, quindi sarebbe più facile coglierne il significato. Alla fine della giornata, ho finito con 3 diversi punti di vista su cosa …

29 functional-programming haskell monad side-effect

4

Il polimorfismo del tipo di ritorno (solo) in Haskell è una buona cosa?

Questa domanda è stata migrata da StackTranslate.it perché è possibile rispondere su Software Stack Stack Exchange. Migrato 8 anni fa . Una cosa con cui non sono mai riuscito a fare i conti con Haskell è come puoi avere costanti e funzioni polimorfiche il cui tipo di ritorno non può …

29 haskell functional-programming

2

Perché Haskell ha incorporato "if / then / else" invece di definirlo come una semplice funzione di libreria?

Perché Haskell ha un built-in if/then/else, che dipende dal Booltipo, invece di avere una semplice funzione di libreria? Ad esempio if :: Bool -> a -> a -> a if True x _ = x if False _ y = y

25 haskell

2

Qual è la differenza di contenuto tra la tesi di Chris Okasaki del 1996 e il libro del 1999, Purely Functional Data Structures? [chiuso]

Chiuso. Questa domanda è fuori tema . Al momento non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che sia in argomento per Software Engineering Stack Exchange. Chiuso 4 anni fa . Voglio leggere Strutture di dati puramente funzionali. Ho facilmente trovato la tesi (che è disponibile …

25 books functional-programming data-structures haskell

5

In quale linguaggio di programmazione è apparso prima "let"?

Mi chiedevo quali fossero le origini del "let" utilizzato in Lisp, Clojure e Haskell. Qualcuno sa in quale lingua è apparso per primo?

24 history haskell lisp clojure

3

Perché alcuni linguaggi funzionali richiedono memoria transazionale del software?

I linguaggi funzionali, per definizione, non dovrebbero mantenere variabili di stato. Perché, allora, Haskell, Clojure e altri forniscono implementazioni di memoria transazionale di software (STM)? Esiste un conflitto tra due approcci?

24 functional-programming haskell clojure stm

1

Con quale frequenza viene utilizzato seq nel codice di produzione di Haskell?

Ho una certa esperienza nella scrittura di piccoli strumenti in Haskell e lo trovo molto intuitivo da utilizzare, in particolare per la scrittura di filtri (che utilizzano interact) che elaborano il loro input standard e lo collegano all'output standard. Di recente ho provato a utilizzare uno di questi filtri su …

23 programming-practices haskell stackoverflow

1

L'inferenza di Hindley-Milner potrebbe funzionare per la lingua Go?

Ho letto che Hindley-Milner non funziona con i sistemi di tipo che hanno sottoclassi e ci sono anche altre caratteristiche di sistema di tipo che non funzionano bene con esso. Go attualmente ha solo un'inferenza di tipo molto limitata nell'operatore :=. Ma Go non ha sottoclassi in senso tradizionale, solo …

22 haskell type-systems go

Domande taggate «haskell»