Jakie bardzo duże funkcjonalne projekty językowe są swobodnie dostępne?

Question

Po pierwsze, jestem praktycznie sprzedawany na "całą funkcjonalną rzecz językową". Wydaje mi się, że od lat zajmowałem się głównie programowaniem funkcjonalnym w Javie. Ale jestem trochę stratny, jak uruchomić dużą funkcjonalną aplikację. Chciałbym zobaczyć strukturę źródłową i konstrukcyjną dużego projektu (OSS lub cokolwiek innego), dzięki czemu mogę zobaczyć, jak modularność jest najlepiej obsługiwana w takim środowisku.

Kontekst mojego pytania polega na tym, że chcę rozpocząć duży projekt JVM i obecnie rozważam wybór miksu Java/Groovy lub Scala/Groovy mix. Nie chcę iść z miksem Scala/Groovy, chyba że idę w kierunku funkcjonalnym, ponieważ nie lubię Scala dla programowania OO (zupełnie inny temat). Oznacza to unikanie takich rzeczy, jak struktury DI, AspectJ itp. (Wiem, że mogę emulować/osiągnąć/zatwierdzić te rzeczy za pomocą programowania funkcjonalnego ... ale to nie jest tutaj istotne.) Obawiam się, że brak bardzo dużych publicznie widocznych projekty używające tych języków wynikają z powszechnego przekonania, że ​​naprawdę są kiepskie w przypadku dużych projektów, co byłoby prawdziwym wstydem ...

Pytam więc, jakie duże projekty Fp (powiedzmy 20K + linie) podążasz? Byłbym bardzo szczęśliwy słysząc o każdym uruchomionym w języku na maszynie JVM. Szczególnie jeśli czujesz, że dobrze radzą sobie z modułowością.

Answer 1

Staram się teraz grzebać w Erlangu, na który wpływa Scala. Lubię studiować kod źródłowy yaws, który jest wysokowydajnym serwerem http, oraz Wings 3D, modelarz podzbioru. Bardzo edukacyjny, najlepszym sposobem na naukę nowego języka jest jego przeczytanie.

Answer 2

Znam duże porcje Emacs i zasadniczo wszystkie z Maxima są napisane w Lisp. Nie działają one w JVM, ale są najlepszymi przykładami, jakie mogę wymyślić w przypadku dużych, dobrze ugruntowanych i powszechnie używanych i cenionych aplikacji napisanych w języku funkcjonalnym.

Answer 3

Emacs ma w sobie dużo Lispa, ale jest napisany w bardzo imperatywnym stylu. GHC to duży projekt napisany w Haskell i oczywiście kompilator OCaml itp. Są napisane w OCaml.

Answer 4

System kontroli wersji rozproszonych wersji jest czystym haskell, tj. Czysty i leniwy. Według linii kodu może to nie być duży projekt, ale należy pamiętać, że składnia haskell jest bardzo gęsta.

Answer 5

Istnieją dwa duże wysiłki open source w Scali, które znam: Lift i ESME (Apache Incubator).

Chociaż wydaje się, że nowy język związany z Google Noop został już napisany w Scali. To może się zmienić, gdy Noop stanie się wystarczająco stabilny, aby się skompilować.

Answer 6

Xmonad to menedżer okien napisany w Haskell, mają bardzo szczegółowe tutorial do pisania rozszerzeń.

Answer 7

Jest napisany w SML i dlatego nie działa na JVM, ale Frama-C jest 200000+ linie projekt wdrożenia statyczny ramową analiza dla C, z wtyczką w architekturze.

Frama-C wykorzystuje dynamiczne ładowanie kodu natywnego jeśli są dostępne, ale plug-in może być zawsze załadowany kodu bajtowego dynamicznie lub statycznie połączonego jeśli jesteś gotów przekompilować całość.

Więcej informacji, w tym kod źródłowy, pod adresem http://frama-c.com/. Biorąc pod uwagę charakter Twojego pytania, można również docenić this article at ICFP 09

Answer 8

Koders The Open source Code Search engine może być pomocne, ponieważ pozwala na wyszukiwanie w językach programowania.

Answer 9

Firma Citrix wypuściła narzędzie Xen API jako oprogramowanie open source here w zeszłym roku. IIRC, to setki tysięcy linii kodu OCaml, który został opracowany przez 18 twórców od 2006 do 2010.

Według this page:

• Klient MLDonkey peer-to-peer jest 171kLOC z SML kod.

• Unison to 24kLOC kodu OCaml.

• FFTW to 14kLOC kodu OCaml.

• Hevea to 12kLOC kodu OCaml.

• Darcs to 25kLOC kodu Haskell.

Martwię się, że brak widocznych publicznie bardzo dużych projektów korzystających z tych języków jest wynikiem wspólnej argument, że oni naprawdę są słabe dla dużych projektów, który byłby wstyd ...

Wręcz przeciwnie, okazało SML być znacznie lepiej dla dużych projektów, które nurtu języków takich jak Java czy C#, gdzie niemożność wyrażania produktywnych aspektów wysokiego poziomu kodu prowadzi do rozległej wytnij i wklej i problemy z utrzymaniem. W rzeczywistości jestem obecnie zmuszony do przepisania miliona linii C++ w F# właśnie dlatego, że konserwacja stała się zbyt kosztowna.

Answer 10

Scala/Winda: Novell Vibe: http://vibe.novell.com/ Autor: twitter.com/djspiewak

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

Clojure Runa Predictive Mining Framework do rezygnacji z koszyka Autor: Amit Rathore (Clojure in Action)

Answer 11

Jest kilka bardzo dużych i starych projektów napisanych w Lis p: http://www.pchristensen.com/blog/lisp-companies/