Ingegneria software haskell

3

Cos'è la banana split e la fusione nella programmazione funzionale?

Questi termini sono stati menzionati nel mio corso universitario. La rapida ricerca su google mi ha indicato alcuni documenti universitari, ma sto cercando una spiegazione semplice.

22 functional-programming haskell

2

Il modo più pulito per segnalare errori in Haskell

Sto lavorando per imparare Haskell e ho scoperto tre diversi modi di gestire gli errori nelle funzioni che scrivo: Posso semplicemente scrivere error "Some error message.", il che genera un'eccezione. Posso avere la mia funzione di ritorno Maybe SomeType, dove posso o meno essere in grado di restituire ciò che …

22 haskell error-handling

1

Perché Haskell non ha astrazioni lambda a livello di tipo?

Ci sono alcune ragioni teoriche per questo (come il fatto che la verifica del tipo o l'inferenza del tipo diventerebbero indecidibili) o ragioni pratiche (troppo difficili da implementare correttamente)? Attualmente, possiamo avvolgere le cose newtypecome newtype Pair a = Pair (a, a) e poi avere Pair :: * -> * …

22 haskell abstraction type-systems lambda

2

Tipi di controllo e tipi ricorsivi (Scrivere il combinatore Y in Haskell / Ocaml)

Quando si spiega il combinatore Y nel contesto di Haskell, di solito si nota che l'implementazione diretta non controllerà il tipo in Haskell a causa del suo tipo ricorsivo. Ad esempio, da Rosettacode : The obvious definition of the Y combinator in Haskell canot be used because it contains an …

21 haskell type-systems static-typing ocaml

1

Ambiente di compilazione e artefatto di Haskell simile a Maven

Ero uno sviluppatore Java per molto tempo, ma recentemente mi sono unito a un team di Haskell. Nel mondo Java, se hai un grande progetto, con diversi team che ci lavorano, un approccio comune è quello di utilizzare un server artefatto come Maven per facilitare e accelerare lo sviluppo. Numerosi …

20 java haskell maven build-system

2

È possibile "inserire la dimensione in un tipo" in haskell?

Supponiamo che io voglia scrivere una biblioteca che si occupa di vettori e matrici. È possibile inserire le dimensioni nei tipi, in modo che le operazioni di dimensioni incompatibili generino un errore al momento della compilazione? Ad esempio, vorrei che la firma del prodotto dot fosse qualcosa di simile dotprod …

20 haskell type-systems type-safety

3

Come migliorare l'efficienza con la programmazione funzionale?

Di recente ho seguito la guida Learn You a Haskell for Great Good e come pratica volevo risolvere il problema del Project Euler 5 con esso, che specifica: Qual è il numero positivo più piccolo che è uniformemente divisibile per tutti i numeri da 1 a 20? Ho deciso di …

20 haskell

3

haskell ha tipi dipendenti?

So che Haskell ha già la possibilità di parametrizzare un tipo su un altro tipo (simile alla programmazione di template in C ++), ma mi chiedo se Haskell può anche parametrizzare un tipo su valori - se supporta tipi dipendenti. Con i tipi dipendenti, puoi avere un tipo che è …

20 haskell

4

Haskell è bravo a insegnare i fondamenti della matematica?

Bloccato . Questa domanda e le sue risposte sono bloccate perché la domanda è fuori tema ma ha un significato storico. Al momento non accetta nuove risposte o interazioni. Sono coinvolto nell'insegnamento della matematica a classi con requisiti come AS e le specifiche matematiche di livello A. I libri di …

19 haskell

1

Sondaggio sui web framework Haskell [chiuso]

Chiuso . Questa domanda deve essere più focalizzata . Al momento non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che si concentri su un problema solo modificando questo post . Chiuso 5 anni fa . Esistono diversi framework Web per Haskell come Happstack , Snap e …

19 web-development experience comparison web-framework haskell

4

Come si inserisce la persistenza in un linguaggio puramente funzionale?

In che modo il modello di utilizzo dei gestori dei comandi per gestire la persistenza si adatta a un linguaggio puramente funzionale, dove vogliamo rendere il codice relativo all'IO il più sottile possibile? Quando si implementa la progettazione guidata dal dominio in un linguaggio orientato agli oggetti, è comune utilizzare …

18 c# architecture functional-programming domain-driven-design haskell

3

Linguaggio funzionale più veloce

Recentemente ho approfondito la programmazione funzionale, in particolare Haskell e F #, il precedente ancora. Dopo aver cercato su Google non sono riuscito a trovare un confronto comparativo dei linguaggi funzionali più importanti (Scala, F # ecc.). So che non è necessariamente giusto per alcune delle lingue (mi viene in …

18 functional-programming scala haskell f# benchmarking

1

Qual è il progresso sui record di Haskell?

Di recente mi sono imbattuto di nuovo nelle questioni relative ai record di Haskell, in particolare l'unicità dei nomi dei campi. (È un dolore ...) Ho già letto Una proposta per dischi in Haskell di SPJ e Greg Morrisett, ma il suo ultimo aggiornamento è stato nel 2003. Un altro …

18 haskell language-features

6

Quale albero binario autobilanciante consiglieresti?

Sto imparando Haskell e come esercizio sto facendo alberi binari. Avendo creato un normale albero binario, voglio adattarlo per bilanciarmi da solo. Così: Qual è il più efficiente? Qual è la più facile da implementare? Qual è il più usato? Ma soprattutto, quale mi consigliate? Presumo che questo appartenga qui …

18 haskell functional-programming data-structures binary-tree

3

Perché non esiste una tabella dei tipi per le funzioni?

In un problema di apprendimento con cui ho fatto confusione, mi sono reso conto che avevo bisogno di una classe di caratteri per le funzioni con operazioni per l'applicazione, la composizione, ecc. Ragioni ... Può essere conveniente trattare una rappresentazione di una funzione come se fosse la funzione stessa, in …

17 haskell standard-library

Domande taggate «haskell»