Dobre źródło Haskell do czytania i uczenia się od [zamknięte]

347

Jakie są programy open source, które używają Haskell i które można uznać za dobrej jakości nowoczesny Haskell ? Im większa baza kodu, tym lepiej.

Chcę uczyć się na podstawie ich kodu źródłowego. Wydaje mi się, że przekroczyłem już punkt uczenia się od małych przykładów kodu, które często są ezoteryczne i dla małego świata. Chcę zobaczyć, jak ustrukturyzowany jest kod, jak monady oddziałują, gdy dzieje się wiele rzeczy (logowanie, operacje we / wy, konfiguracja itp.).

haskell coding-style open-source

— luispedro
źródło

9

Mimo że to pytanie zostało zamknięte, użytkownicy mogą nadal edytować „zaakceptowaną” odpowiedź i dodawać do niej swoje odpowiedzi.

— George Stocker

276

Co polecam

Czytaj kod od ludzi z różnych szkół w latach 90

Czytaj kod ~~starych mistrzów~~ niektórych osób (niepełna lista)

Marlow ; Paterson ; Peyton Jones ; Skrzela ; Launchbury ; Hughes ; Wadler ; Ptak ; Claessen ; Jones ; Tolmach ; Sheard ; Świestra ; Augustsson ; Runciman ; Wallace ; Thompson ; Hinze ; Gibony ; Leijen ; Hudak ; Elliott ; Finne ; Chakravarty ; i
Każdy, kto napisał funkcjonalną perłę .

Pamiętaj, że ludzie tacy jak ja, Coutts, Mitchell, O'Sullivan, Lynagh itp. Nauczyli się naszego stylu Haskell od tych facetów.

Przeczytaj niektóre aplikacje

Przeczytaj podstawowe źródło biblioteki GHC
Przeczytaj źródło xmonad

— Don Stewart
źródło

98

Jest to typowa cholera haskell. Z php czytasz cześć światu i od razu piszesz słabe strony internetowe. Dzięki haskell nie ma górnej granicy tego, czego możesz się nauczyć, zawsze pojawiają się ciekawsze rozszerzenia i dokumenty. I właśnie teraz dowiedziałem się, że uniwersytety mają różne style i dlatego muszę to sprawdzić ... Kiedy mam czas na pisanie własnych projektów haskell? :)

— Tarrasch,

39

Jakie są w skrócie cechy różnych stylów?

— grautur

17

@grautur: A co ważniejsze, dlaczego się różnią? Czy były dobre powody techniczne?

— Robert Massaioli,

10

Moim zdaniem różne style są wynikiem podziału geograficznego (a czasem filozoficznych nieporozumień) różnych szkół w erze przed wiki / internetem; oraz spuścizna języków proto-Haskell w każdej szkole wpływająca na styl. Wraz z pojawieniem się Hackage, wiki i github istnieje obecnie w dużej mierze homogeniczny styl Haskell (oparty na wykorzystaniu Glasgow i GHC).

— Don Stewart,

15

Na CMU nauczyłem się semantyki denotacyjnej i wyprowadzania programów (systematyczne przekształcanie specyfikacji w implementacje), które miały ogromny wpływ na moje podejście do programowania. Te dwa tematy będą regularnie wyświetlane na moim blogu . Kiedy pracuję nad biblioteką oprogramowania, wybieram niewielką liczbę typów i zaczynam od głównego pytania: „Co to znaczy?”. Kiedy widzę kod niskiego poziomu, np. Imperatywny / IO, pytam: „Jaką abstrakcyjną abstrakcją jest ten kod implementacja i jak można tę implementację wyprowadzić z abstrakcji?”

— Conal

61

XMonad to menedżer okien kafelkowych typu open source, pierwotnie luźno modelowany na dwm . Istnieje wiele rozszerzeń o różnej jakości, ale rdzeń jest zwarty i dobrze zorganizowany.

— geekozaur
źródło

36

Rdzeń, fwiw, jest również niezwykle starannie zaprojektowany. Rdzeń rdzenia, StackSet, został zweryfikowany (tzn. Wstrzymuje właściwości QC) w przysłowie twierdzenia Coq. Jest to przykład patologicznej opieki projektowej.

— Don Stewart

6

@don: „patologiczny” jak w „dobrym”, nie? :)

— Francesco

8

Tak :-) Spencer i ja kładziemy większy nacisk na tworzenie rdzenia xmonad niż jakikolwiek projekt, w który byłem zaangażowany.

— Don Stewart

18

Haskell: Functional Programming with Types

Joeri van Eekelen i in. | Wikibooks Opublikowano w 2007 r., 290 stron
Learn You a Haskell for Great Good!

Miran Lipovaca | LearnYouaHaskell.com Opublikowano w 2010 r., 176 stron
Real World Haskell

B. O'Sullivan, J. Goerzen, D. Stewart | O'Reilly Media, Inc. Opublikowano w 2008 r., 710 stron
The Haskell Road to Logic, Maths and Programming

Kees Doets, Jan van Eijck | Publikacje uczelni opublikowane w 2004 r., 449 stron

— Soner Gönül
źródło

6

To są książki, a nie rzeczywiste pliki źródłowe projektu.

— ses

17

Darcs to system zarządzania kodem źródłowym o otwartym kodzie źródłowym. To powinno dać ci dobry pomysł na Haskella.

— Adithya Surampudi
źródło

16

Po dłuższej pracy na darcs nie poleciłbym jego kodu źródłowego. Nie używa tego, co uważam za dobre style Haskella. Sądzę, że jeśli jesteś ciekawy, co się dzieje, gdy małe bazy kodu stają się duże podczas wzrostu organicznego, to dobry przykład. Jeśli chcesz zobaczyć program o spójnym stylu pisania lub jasnych celach projektowych, szukałbym gdzie indziej.

— Jason Dagit,

8

Kod źródłowy platformy internetowej Yesod jest dość złożony, dobrze przemyślany i dobrze napisany. Wiele się nauczysz z dołączonej do niego biblioteki trwałości.

— MattoxBeckman
źródło

7

Jeśli zależy ci na programowaniu przez Internet , poleciłbym projekt lpaste Chrisa Done'a .

— Victor Nazarov
źródło

Może to github.com/lpaste/lambda-paste ?

— TobiMcNamobi

5

GHC to prawdopodobnie największy lub jeden z największych projektów napisanych w Haskell, który jest oprogramowaniem typu open source. Kiedy mówię największy, mam na myśli nie tylko rozmiar źródła, ale także wpływ, wykorzystanie, innowacje, solidność. GHC może cię wiele nauczyć na temat pisania Haskella.

— danharaj
źródło