Quali grandi progetti linguistici funzionali sono disponibili gratuitamente?

Question

Per cominciare, sto praticamente venduto sul 'tutto linguaggio funzionale'. Mi viene in mente che, per anni, ho fatto principalmente programmazione in stile funzionale in Java. Ma sono un po 'persa su come avviare una grande app funzionale. Mi piacerebbe vedere la struttura di origine e di costruzione di un grande progetto (OSS o qualsiasi altra cosa) in modo da poter vedere come la modularità sia gestita al meglio in tale ambiente.

Il contesto della mia domanda è che voglio avviare un grande progetto JVM e attualmente sto pensando di scegliere un mix Java/Groovy o un mix Scala/Groovy. Non voglio andare con il mix di Scala/Groovy a meno che non vada nella direzione funzionale perché non mi piace la programmazione di Scala per OO (un argomento completamente diverso). Questo significa evitare cose come quadri DI, AspectJ, ecc (so di poter emulare/realizzare/approvare a queste cose con programmazione funzionale ... ma non è qui rilevante.) Sono preoccupato che la mancanza di grandi dimensioni pubblicamente visibile i progetti che utilizzano questi linguaggi sono dovuti all'argomento comune che sono davvero scarsi per i grandi progetti, il che sarebbe un vero peccato ...

Quindi, chiedo, quali grandi progetti di FP (diciamo 20K + linee) segui? Sarei molto contento di sapere di quelli che girano in una lingua sulla JVM. Soprattutto se ritieni che gestiscano la modularità in un buon modo.

Answer 1

sto cercando di Grok Erlang in questi giorni, che Scala è influenzato da. Mi piace studiare il codice sorgente di yaws, che è un server http ad alte prestazioni, e Wings 3D, un modellatore suddivisione. Molto istruttivo, il modo migliore per imparare una nuova lingua è leggerlo.

Answer 2

So grandi porzioni di Emacs e praticamente tutti Maxima sono scritti in Lisp. Questi non vengono eseguiti nella JVM, ma sono gli esempi migliori a cui posso pensare per applicazioni grandi, ben consolidate e ampiamente utilizzate e apprezzate scritte in un linguaggio funzionale.

Answer 3

Emacs ha un sacco di Lisp in essa, ma è scritto in uno stile molto imperativo. GHC è un grande progetto scritto in Haskell, e ovviamente il compilatore OCaml, ecc., Sono scritti in OCaml.

Answer 4

Il darcs distribuiti sistema di controllo versione è haskell puro, cioè fp pura e pigro. Per linee di codice questo potrebbe non sembrare un grande progetto, ma tieni presente che la sintassi haskell è molto densa.

Answer 5

Ci sono due grandi sforzi open source in Scala che conosco: Lift e ESME (Apache Incubator).

Anche se sembra che la nuova lingua relativa a Google Noop sia stata scritta in Scala fino ad ora. È probabile che cambi quando Noop diventa abbastanza stabile da compilarsi.

Answer 6

Xmonad è un gestore di finestre scritto in Haskell, hanno uno tutorial molto dettagliato per scrivere estensioni.

Answer 7

È scritto in OCaml e pertanto non viene eseguito su JVM, ma Frama-C è un progetto di oltre 200.000 linee che implementa un framework di analisi statico per C, con un'architettura plug-in.

Frama-C utilizza il caricamento dinamico di codice nativo, se disponibile, ma i plug-in possono sempre essere caricati dinamicamente come bytecode o collegate staticamente se si è disposti ricompilare il tutto.

Ulteriori informazioni, incluso il codice sorgente, allo http://frama-c.com/. Considerando la natura della tua domanda, si potrebbe anche apprezzare this article at ICFP 09

Answer 8

Koders, il Open source Code Search engine potrebbe essere di aiuto in quanto consente di effettuare ricerche nei linguaggi di programmazione.

Answer 9

Citrix ha rilasciato il pacchetto di strumenti API Xen come software open source here l'anno scorso. IIRC, che è centinaia di migliaia di righe di codice OCaml che è stato sviluppato da 18 sviluppatori dal 2006 al 2010.

Secondo this page:

• Il MLDonkey peer-to-peer client è 171kLOC di OCaml codice.

• Unison è 24kLOC di codice OCaml.

• FFTW è 14kLOC del codice OCaml.

• Hevea è 12kLOC del codice OCaml.

• Darcs è 25kLOC di codice Haskell.

Sono preoccupato che la mancanza di progetti di grandi dimensioni visibili pubblicamente che utilizzano queste lingue è dovuto al argomento comune che in realtà sono scarse per i progetti di grandi dimensioni, il che sarebbe un vero peccato ...

al contrario, abbiamo trovato OCaml essere molto meglio per i grandi progetti che i linguaggi tradizionali come Java o C# in cui l'incapacità di esprimere gli aspetti produttivi di alto livello del codice causa un forte taglio-e-incolla e problemi di manutenzione. In effetti, sono attualmente sfidato a riscrivere un milione di righe di C++ nello F# proprio perché la manutenzione è diventata proibitiva.

Answer 10

Scala/Ascensore: Novell Vibe: http://vibe.novell.com/ Autore: twitter.com/djspiewak~~V~~3rd

Clojure: CLJ/Sys - Machine Learning Network Autore: twitter.com/bradfordcross

Clojure Runa Quadro minerario predittivo per l'abbandono del carrello Autore: Amit Rathore (Clojure in Action)

Answer 11

Ci sono alcuni progetti molto grandi e vecchi scritti in Lis p: http://www.pchristensen.com/blog/lisp-companies/