Ingegneria software haskell

2

Perché il tipo di opzione Scala non si chiama Forse, proprio come in Haskell? [chiuso]

Chiuso . Questa domanda è basata sull'opinione . Al momento non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che possa essere risolta con fatti e citazioni modificando questo post . Chiuso 4 anni fa . Perché il tipo di opzione Scala non si chiama Forse, proprio …

13 language-design haskell scala naming-standards monad

5

Qual è il termine corretto per una funzione inversa a un costruttore: scartare un valore da un tipo di dati?

Modifica: sto riformulando un po 'la domanda. Apparentemente ho creato un po 'di confusione perché non mi rendevo conto che il termine distruttore è usato in OOP per qualcosa di completamente diverso: è una funzione invocata quando un oggetto viene distrutto. Nella programmazione funzionale (proviamo a) evitare lo stato mutabile, …

13 terminology functional-programming haskell data

2

Come gestire il "dogmatismo" tecnologico

Ho lasciato un lavoro (per trasferirmi in un altro paese) dove ho programmato in Javascript e Haskell (alcuni pitoni) per la maggior parte del tempo. Mi è davvero piaciuto perché le persone erano obiettive, positive, matematiche, eppure hanno fatto un sacco di cose. Questo era un negozio veramente professionale. Ora …

13 ruby haskell agile

9

Risorse per migliorare la comprensione della ricorsione? [chiuso]

Allo stato attuale, questa domanda non è adatta al nostro formato di domande e risposte. Ci aspettiamo che le risposte siano supportate da fatti, riferimenti o competenze, ma questa domanda probabilmente solleciterà dibattiti, argomenti, sondaggi o discussioni estese. Se ritieni che questa domanda possa essere migliorata e possibilmente riaperta, visita …

13 learning functional-programming lisp haskell recursion

1

È possibile dimostrare che una funzione è idempotente?

È possibile utilizzare tipi statici o dipendenti per dimostrare che una funzione è idempotente? Ho cercato Google e vari posti su StackOverflow / StackExchange per la risposta senza fortuna. La più vicina che ho trovato è stata questa conversazione su Idris: https://groups.google.com/forum/#!topic/idris-lang/yp7vrspChRg Sfortunatamente, quella discussione è un po 'sopra la …

12 haskell

2

Haskell risolve il problema 3n + 1

Ecco un semplice problema di programmazione da SPOJ: http://www.spoj.com/problems/PROBTRES/ . Fondamentalmente, ti viene chiesto di produrre il più grande ciclo di Collatz per i numeri tra i e j. (Il ciclo di Collatz di un numero $ n $ è il numero di passaggi che possono eventualmente passare da $ …

12 programming-practices functional-programming haskell

1

Perché i funzioni di Haskell hanno solo tipi derivati nella loro categoria target?

In Haskell, la funzione typeclass Functor è definita come segue (vedi ad esempio wiki Haskell ): class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b Per quanto ho capito (per favore correggetemi se sbaglio), una tale funtore può avere solo …

12 haskell

2

Qualcuno può spiegare il concetto alla base della memorizzazione di Haskell?

(nota che sto ponendo la domanda qui perché riguarda la meccanica concettuale di essa, piuttosto che un problema di codifica) Stavo lavorando a un piccolo programma, che utilizzava una sequenza di numeri di fibonacci nella sua equasion, ma ho notato che se ho superato un certo numero è diventato dolorosamente …

12 haskell recursion

2

Programmazione funzionale e algoritmi con stato

Sto imparando la programmazione funzionale con Haskell . Nel frattempo sto studiando la teoria degli automi e dato che i due sembrano stare bene insieme, sto scrivendo una piccola biblioteca per giocare con gli automi. Ecco il problema che mi ha fatto porre la domanda. Mentre studiavo un modo per …

12 algorithms functional-programming haskell

2

Programmazione reattiva funzionale - Fay è abbastanza espressivo?

Quindi sto facendo un client javascript / html abbastanza coinvolto con molte chiamate ajax e altre implicazioni del callback-ism. Sto intrattenendo il pensiero di usare Fay per questo scopo. Sono a conoscenza di Elm. Ho provato e mi sono piaciuti gli elementi FRP. Ora sto cercando di sapere se una …

12 javascript functional-programming haskell paradigms

2

FP per simulazione e modellazione

Sto per iniziare un progetto di simulazione / modellazione. So già che OOP è utilizzato per questo tipo di progetti. Tuttavia, studiare Haskell mi ha fatto considerare di usare il paradigma FP per modellare un sistema di componenti. Lasciami elaborare: Diciamo che ho un componente di tipo A, caratterizzato da …

12 c++ object-oriented functional-programming haskell modeling

2

Potremmo costruire un computer funzionale?

Alla fine come FP ha fatto, alla fine, tutti i nostri programmi sono strutturati. Cioè, non importa quanto li facciamo puri o funzionali: sono sempre tradotti in assemblaggio, quindi ciò che scorre dietro le cappe sono istruzioni, stati e loop. Stiamo emulando FP. Come noob dell'hardware, la mia domanda è: …

12 functional-programming computer-science haskell lisp clojure

1

Quali sono alcune intuizioni che supportano la chiamata del costruttore Maybe in Haskell "Just"?

L'intuizione di tipo opzionale come Maybe Intè che o non v'è alcuna Int (quindi, c'è Nothinglì) o che vi sia qualche Int; c'è qualcosa lì. Per me ha senso che chiamiamo il costruttore di tipo per il caso "negativo" Nothing, dal momento che significa esattamente questo - che non Intc'è. …

11 functional-programming haskell data-types null

1

Utilizzo delle classi di tipi Haskell per applicare la commutatività

Voglio definire una classe di tipi per oggetti geometrici che possono essere intersecati insieme: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies L'idea è quella di disporre di funzioni di intersezione generiche in grado di …

11 haskell type-systems typeclass

2

Efficienza della memoria di Haskell: qual è l'approccio migliore?

Stiamo implementando una libreria di compressione matrice basata su una sintassi grammaticale bidimensionale modificata. Ora abbiamo due approcci per i nostri tipi di dati: quale sarà meglio in caso di utilizzo della memoria? (vogliamo comprimere qualcosa;)). Le grammatiche contengono non terminali con esattamente 4 produzioni o un terminale sul lato …

11 functional-programming haskell memory grammar

Domande taggate «haskell»