Domande con tag 'haskell'

1
risposta

Relazione tra oggetti

Per alcune settimane ho pensato alla relazione tra gli oggetti - non in particolare gli oggetti di OOP. Ad esempio in C ++ , siamo abituati a rappresentarlo mediante la stratificazione di puntatori o contenitori di puntatori nella struttura che...
posta 28.05.2014 - 14:44
2
risposte

Tipi in Lisp e Scheme

Ora vedo che Racket ha tipi. A prima vista sembra quasi identico alla tipizzazione di Haskell. Ma il CLOS di Lisp copre alcuni dei tipi di cover di Haskell dello spazio? Creare un tipo Haskell molto rigido e un oggetto in qualsiasi linguaggio OO...
posta 17.02.2013 - 01:56
6
risposte

In che modo IO può causare effetti collaterali nella Programmazione funzionale? [duplicare]

Ogni volta che leggo su Haskell, trovo che IO può causare effetti collaterali. Ma non capisco come lo farebbe? Intendiamo dire che stiamo scrivendo su un file da una sequenza lazy e un'altra sequenza lenta sta leggendo dallo stesso file?...
posta 10.10.2014 - 14:33
2
risposte

È prassi comune trasformare le specifiche dei requisiti in logica di predicato per la programmazione funzionale?

Recentemente sono stato assegnato a lavorare su un piccolo progetto che viene implementato in Haskell. Provenendo da uno sfondo OO / imperativo, sono abituato a convertire requisiti / storie utente in casi d'uso e diagrammi di sequenza prima del...
posta 17.03.2015 - 09:28
2
risposte

Alternativa alla purezza della lingua

Purezza Uno dei concetti interessanti di Haskell è la purezza. Tuttavia, mi chiedo quali siano le ragioni pragmatiche alla base di questo - lasciami spiegare un po 'di più prima di rifiutare la mia domanda. Il mio punto principale è che av...
posta 03.10.2014 - 20:45
6
risposte

Un linguaggio di programmazione che non consente l'IO. Haskell non è un linguaggio puro

Ci sono lingue pure al 100% (come descrivo in il post di Overflow dello stack ) già disponibile e, in caso affermativo, potrebbero essere utilizzati per fare effettivamente cose? cioè hanno un'implementazione? Non sto cercando matematica cruda...
posta 22.11.2011 - 09:28
1
risposta

Quale monade è l'opposto dell'errore monad in haskell

Nella monade dell'errore, il primo errore arresta qualsiasi esecuzione ulteriormente portando semplicemente l'errore attraverso i seguenti binding. Quale monade si ferma sul successo solo portando avanti i successi e fondamentalmente inghiott...
posta 20.01.2013 - 01:29
3
risposte

Espressioni lambda senza parametri in Haskell e / o lambda calcolo

In linguaggi desiderosi come Scheme e Python, puoi usare un'espressione lambda senza parametri per ritardare la valutazione, ad es. in Scheme (Chicken Scheme): #;1> (define (make-thunk x) (lambda () (+ x 1))) #;2> (define t (make-thunk 1...
posta 23.09.2014 - 23:07
3
risposte

In che modo l'operatore di frecce è un applicativo in Haskell?

Nota: continua ad imparare Haskell, non raggiunto i monoidi, studiando i Functional Applicative. Ho visto questa implementazione e non ne sono del tutto chiaro: instance Applicative ((->) r) where pure x = (\_ -> x) f &l...
posta 02.05.2017 - 23:37
1
risposta

Devo utilizzare le funzioni basate su Applicativi o Monade?

Ci sono molte funzioni che realizzano la stessa cosa, ma usando Applicative contro Monad definizioni. Alcuni esempi sono: (<*>) vs ap pure vs return (*>) vs (>>) traverse...
posta 29.06.2017 - 20:03