Esistono altri web framework Haskell più originali e funzionali?

Question

Ho esaminato i framework web Haskell come Snap e Yesod. La maggior parte sembra implementare un approccio MVC-ish che mi ricorda i framework web come Ruby on Rails. Sì, MVC può essere raggiunto con FP, ma IMHO non mostra i grandi vantaggi di un approccio FP. Poiché HTTP è un protocollo stateless, avrei sperato che potesse esserci un framework Haskell che adottasse un approccio funzionale più originale e più puro. Ci sono?

Answer 1

Non sono sicuro di quali funzioni in FP desideri utilizzare un framework, ma penso che Yesod utilizzi alcune funzionalità per ottenere grandi vantaggi. (Happstack fa pure, ma non sono altrettanto familiarità con esso.)

• URL type-safe eliminare un'intera classe di bug typo-generato, oltre che fare automaticamente con la convalida di ingresso.

• La corretta digitazione elimina praticamente gli attacchi XSS.

• A seconda della portata dei dati con cui si ha a che fare, utilizzando STM o MVars per le esigenze di archiviazione è facile evitare condizioni di gara e deadlock nelle applicazioni multi-thread.

Sono sicuro che c'è molto di più che non sto pensando, ma spero che fa il punto. Ma forse quello che stai cercando è qualcosa di simile a un quadro basato sulla continuazione. Personalmente ritengo che siano una cattiva idea (sono un credente in REST), ma suppongo che potrebbe sembrare più "funzionale".

Answer 2

Dipende da ciò che stai cercando di ottenere. Se per apolide in realtà si intende senza stato, utilizzo la struttura dei modelli Hakyll per generare pagine statiche. Ha una struttura interessante per gestire le dipendenze e gli aggiornamenti dei file.

Answer 3

Stavo cercando lo stesso, ma non l'ho trovato davvero. Nello specifico, stavo cercando un approccio continuativo che rendesse inutili le sessioni HTTP tradizionali. Questi tipi di framework sono abbastanza popolari in Scheme. Il più vicino che ho trovato è stato la risposta di Chris Eidhof per l'Arc sfida: -

https://gist.github.com/260052

Si tratta di un prototipo abbozzato e probabilmente molti mesi-uomo a partire da essere qualcosa che si potrebbe usare per un lavoro serio. Se le mie abilità Haskell fossero migliori, potrei essere tentato di provare a svilupparlo.

Credo anche che WASH abbia adottato questo approccio ma sembra che sia morto. Sto fissando le mie speranze sulla mysnapsession in quanto ritengo che stia guardando anche a una sessione basata su continuazioni che sarebbe entusiasmante perché sono rimasto molto impressionato dalla qualità del resto di Snap e dal suo slancio.

Answer 4

Penso che WardB chiedesse non sui tipi di fantasia, ma piuttosto sulla semantica denotativa/stateless di FP, in contrasto con la semantica imperativa/non-condizionale (e spesso non deterministica) di cose come IO e STM. È questo aspetto denotativo che supporta il ragionamento trattabile preciso &. Il termine "funzionale" è stato allungato per abbracciare anche la programmazione imperativa/non-limitativa, che spesso porta alla confusione. Peter Landin recommended sostituendo "funzionale" con "denotativo" per chiarire esattamente questo tipo di confusione.

Non conosco alcun framework web Haskell denotativo (non utile). Arrivarci avrebbe probabilmente bisogno di rompere alcune abitudini mentali imperative di vecchia data. Vale a dire: lavoro interessante!