Domande con tag 'haskell'

domande con tag
2
risposte

I tipi sono cancellati in Haskell?

Haskell ha una nozione di "funzioni generiche" che ha qualche apparente somiglianza con la comune lisc - non avendo né esperienza con Haskell né con la comune focalizzazione, potrei essere molto approssimativo qui. Ciò significa che è possibile...
posta 09.12.2013 - 11:29
2
risposte

Programmazione funzionale e algoritmi stateful

Sto imparando la programmazione funzionale con Haskell . Nel frattempo sto studiando la teoria degli automi e siccome i due sembrano adattarsi bene, sto scrivendo una piccola libreria per giocare con gli automi. Ecco il problema che mi ha fa...
posta 05.10.2013 - 00:29
1
risposta

E 'possibile dimostrare che una funzione è idempotente?

È possibile utilizzare tipi statici o dipendenti per dimostrare che una funzione è idempotente? Ho cercato su Google e vari posti su StackOverflow / StackExchange per la risposta senza fortuna. Il più vicino che ho trovato è stata questa conv...
posta 26.09.2016 - 22:15
2
risposte

Programmazione reattiva funzionale - Fay è abbastanza espressivo?

Quindi sto facendo un client javascript / html abbastanza coinvolto con molte chiamate Ajax e altri coinvolgimenti di callback-ism. Sto intrattenendo il pensiero di usare Fay per questo scopo. Sono a conoscenza di Elm. Provato e apprezzato gli e...
posta 06.02.2013 - 12:36
2
risposte

FP per simulazione e modellazione

Sto per iniziare un progetto di simulazione / modellazione. So già che l'OOP è usato per questo tipo di progetti. Tuttavia, lo studio di Haskell mi ha fatto considerare l'utilizzo del paradigma FP per la modellazione di un sistema di componenti....
posta 02.10.2012 - 02:41
2
risposte

Implementa typeclass Haskell con l'interfaccia C #

Sto cercando di confrontare le classi di tipi di Haskell e le interfacce di C #. Supponiamo che ci sia un Functor . Haskell: class Functor f where fmap :: (a -> b) -> f a -> f b Come implementare questa classe di caratte...
posta 25.11.2013 - 15:42
2
risposte

Haskell modi per il problema 3n + 1

Ecco un semplice problema di programmazione da SPOJ: link . Fondamentalmente, ti viene chiesto di mostrare il più grande ciclo di Collatz per i numeri tra me e j. (Il ciclo di Collatz di un numero $ n $ è il numero di passaggi per ottenere d...
posta 16.02.2016 - 21:37
1
risposta

Perché i funtori Haskell hanno solo tipi derivati nella loro categoria di destinazione?

In Haskell, il functor typeclass Functor è definito come segue (vedi ad esempio Haskell wiki ): class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b Per quanto comprendo (correggimi se ho torto), un tale functor...
posta 19.07.2014 - 22:24
2
risposte

Efficienza memoria Haskell - qual è l'approccio migliore?

Stiamo implementando una libreria di compressione matriciale basata su una sintassi grammaticale bidimensionale modificata. Ora abbiamo due approcci per i nostri tipi di dati, uno dei quali sarà migliore in caso di utilizzo della memoria? (vogli...
posta 08.08.2013 - 19:40
2
risposte

Qualcuno può spiegare il concetto dietro la memoizzazione di Haskell?

(nota che sto ponendo la domanda qui perché riguarda la meccanica concettuale di essa, piuttosto che un problema di codifica) Stavo lavorando su un piccolo programma, che utilizzava una sequenza di numeri di fibonacci nella sua equazione, ma...
posta 09.12.2013 - 15:45