Pierwsze kroki z Haskell

Zamierzam zamówić ten przewodnik według poziomu umiejętności, które masz w haskell, przechodząc od początkującego aż do eksperta. Zauważ, że proces ten zajmie wiele miesięcy (lat?), jest więc dość długi.

Absolutny Początkujący

Jednakże istnieją niektóre problemy, które są łatwiejsze do napisania dla początkujących w haskell niż inne. Problemy matematyczne i programy procesu lista są dobrymi kandydatami do tego, jak tylko wymagają najbardziej podstawowej wiedzy haskell umieć pisać.

Po pierwsze, niektóre dobre przewodniki do nauki samych podstaw haskell są happy learn Haskell tutorial i pierwsze 6 rozdziałów learn you a haskell {18]}. Czytając je, bardzo dobrym pomysłem jest również rozwiązywanie prostych problemy z tym, co wiesz.

Kolejne dwa dobre zasoby toProgramowanie Haskella z pierwszych zasad iProgramowanie w Haskell . Oba zawierają ćwiczenia dla każdego rozdziału, więc masz małe proste problemy pasujące do tego, czego nauczyłeś się na ostatnich kilku stronach.

Dobrą listą problemów do wypróbowania jest strona Haskell 99 problemy . Te zaczynają się bardzo podstawowe i stają się trudniejsze, gdy idziesz dalej. Jest to bardzo dobra praktyka robienia wielu z nich, jak pozwalają ćwiczyć umiejętności rekurencji i funkcji wyższego rzędu. Polecam pomijanie wszelkich problemów, które wymagają losowości, ponieważ jest to nieco trudniejsze w haskell. Sprawdź to pytanie w przypadku, gdy chcesz przetestować swoje rozwiązania za pomocą QuickCheck (patrz Intermediate poniżej).

Gdy już wykonasz kilka z nich, możesz przejść do kilku problemów projektu Euler. Są one posortowane według liczby osób, które je ukończyły, co jest dość dobrym wskaźnikiem trudności. Te przetestować swoją logikę i haskell więcej niż poprzednie problemy, ale nadal powinny być w stanie zrobić kilka pierwszych. Dużą zaletą haskell ma z tymi problemami jest to, że liczby całkowite nie są ograniczone w rozmiarze. Aby zakończyć niektóre z tych problemów, to będzie przydatne, aby przeczytać rozdziały 7 i 8 nauczyć się haskell, jak również.

Początkujący

Po tym powinieneś mieć dość dobrą obsługę rekurencji i funkcji wyższego rzędu, więc to dobry moment, by zacząć robić więcej prawdziwych problemów. Bardzo dobrym miejscem na początek jest Real World Haskell (książka online, można również kupić Wydruk). Znalazłem kilka pierwszych rozdziałów wprowadzanych zbyt szybko dla kogoś, kto nigdy wcześniej nie robił programowania funkcyjnego / używał rekurencji. Jednak z praktyką, którą miałbyś od robienia poprzednich problemów, powinieneś znaleźć to całkowicie zrozumiałe.

Po chwili dostaniesz się do Rozdział 14, przerażające monady rozdział (dum Dum dummmm). Prawie każdy, kto uczy się Haskella, ma problemy ze zrozumieniem monad, ze względu na to, jak abstrakcyjne jest to pojęcie. Nie mogę wymyślić żadnego pojęcia w innym języku, które jest tak abstrakcyjne, jak monady są w programowaniu funkcyjnym. Monady pozwalają na wiele pomysłów (takich jak operacje IO, obliczenia, które mogą się nie udać, parsowanie,...) do zjednoczenia w ramach jednej idei. Więc nie zniechęcaj się, jeśli po przeczytaniu rozdziału monady naprawdę ich nie rozumiesz. Znalazłem warto przeczytać wiele różnych wyjaśnień monad; każdy z nich daje nowe spojrzenie na problem. Oto bardzo dobra lista monad tutorials . Gorąco polecam Wszystko o Monadach , ale inne też są dobre.

Aby upewnić się, że doskonale rozumiesz System typu Haskell, powinieneś spróbować rozwiązać 20 intermediate Haskell exercises . Te ćwiczenia z wykorzystaniem zabawnych nazw funkcji, takich jak "furry" i "banan" i pomaga dobrze zrozumieć niektóre podstawowe funkcje koncepcje programowania, jeśli jeszcze ich nie masz. Miły sposób na spędzenie wieczoru z listą papieru pokrytą strzałkami, jednorożcami, kiełbasami i futrzanymi bananami.

Intermediate

Kiedy już zrozumiesz monady, myślę, że dokonałeś przejścia od początkującego programisty Haskella do średnio zaawansowanego haskellera. Więc co dalej? Pierwszą rzeczą, którą polecam (jeśli jeszcze nie nauczyłeś się ich z nauki monad) są różne rodzaje monad, takie jak Czytelnik, pisarz i krajoznawca. Ponownie, prawdziwy świat haskell i All about monads daje wielki zasięg tego. Aby ukończyć szkolenie monad nauka o monad transformers jest koniecznością. Pozwalają one łączyć różne typy Monad (np. czytnik i Monada stanowa) w jedną. Może to wydawać się bezużyteczne, ale po użyciu ich przez chwilę będziesz się zastanawiać, jak żyłeś bez nich.

Z tą wiedzą, którą teraz posiadasz, powinieneś być w stanie używać większości pakietów na cabal (przynajmniej tych udokumentowanych...), a także większość bibliotek, które pochodzą z haskell. Lista interesujących bibliotek do wypróbowania to:

• Parsec: do parsowania programów i tekstu. Znacznie lepsze niż używanie wyrażeń regularnych. Doskonała dokumentacja, posiada również realny świat haskell chapter.

• Quickcheck : Bardzo fajny program do testowania. Co robisz, to piszesz orzeczenie, które zawsze powinno być prawdziwe (np length (reverse lst) == length lst). Następnie przekazać predykat quickCheck, i będzie generować wiele losowych wartości (w tym przypadku listy) i sprawdzić, czy predykat jest prawdziwy dla wszystkich wyników. Zobacz również online manual .

• HUnit : testy jednostkowe w haskell.

• Gtk2hs : najpopularniejszy gui framework dla haskell, pozwala pisać aplikacje gtk w haskell.

• Happstack : framework do tworzenia stron internetowych dla haskell. Nie używa baz danych, zamiast tego przechowuje typy danych. Całkiem niezłe dokumenty (inne popularne frameworki to snap i yesod).

Istnieje również wiele pojęć (jak koncepcja monady), których powinieneś się w końcu nauczyć. Będzie to łatwiejsze niż nauka Monad za pierwszym razem, ponieważ twój mózg będzie używany do radzenie sobie z poziomem abstrakcji. Bardzo dobrym przeglądem do nauki o tych pojęciach wysokiego poziomu i tym, jak pasują do siebie, jest Typeclassopedia {18]}.

• Zastosowanie: interfejs podobny do Monad, ale mniej wydajny. Każda Monada jest Aplikowalna, ale nie odwrotnie. Jest to przydatne, ponieważ istnieją pewne typy, które są aplikacyjne, ale nie są monadami. Ponadto, kod napisany przy użyciu funkcji aplikacyjnych jest często bardziej złożony niż pisanie kodu równoważnego korzystanie z funkcji Monad. Zobacz funktory, funktory aplikacyjne i Monoidy z learn you a haskell guide.

• Składany,Traversable: Typeklasy, które abstrakują wiele operacji list, dzięki czemu te same funkcje mogą być stosowane do innych typów kontenerów. Zobacz także Haskell wiki explaination .

• Monoid : Monoid to typ, który ma wartość zero (lub mempty) i operację, notowaną <> który łączy ze sobą dwa Monoidy, takie że x <> mempty = mempty <> x = x i x <> (y <> z) = (x <> y) <> z. Są to tzw. prawa tożsamości i asocjacji. Wiele typów to Monoidy, takie jak liczby, z mempty = 0 i <> = +. Jest to przydatne w wielu sytuacjach.

• Strzałki : strzałki są sposobem przedstawiania obliczeń, które pobierają dane wejściowe i zwracają dane wyjściowe. Funkcja jest najbardziej podstawowym typem strzałki, ale istnieje wiele innych typów. Biblioteka posiada również wiele bardzo przydatnych funkcji do manipulowania strzałkami - są są bardzo przydatne, nawet jeśli są używane tylko ze zwykłymi, starymi funkcjami haskell.

• Tablice : różne zmienne / niezmienne tablice w haskell.

• ST Monad: pozwala na pisanie kodu o zmiennym stanie, który działa bardzo szybko, pozostając czystym poza monad. Zobacz link, aby uzyskać więcej szczegółów.

• FRP: Functional Reactive Programming, nowy, eksperymentalny sposób pisania kodu, który obsługuje zdarzenia, wyzwalacze, wejścia i wyjścia (np. gui). Niewiele o tym wiem. Rozmowa Paula Hudaka o yampie to dobry początek.

Jest wiele nowych funkcji językowych, które powinieneś zobaczyć. Po prostu je wymienię, można znaleźć wiele informacji o nich z google, Haskell wikibook, the haskellwiki.org strona i dokumentacja ghc .

• klasy typów wieloparametrowych / zależności funkcyjne
• Rodzina typów
• egzystencjalnie typy ilościowe
• typy Phantom
• GADTS
• inni...

Wiele haskell opiera się na teorii kategorii , więc możesz chcieć się temu przyjrzeć. Dobrym punktem wyjścia jest teoria kategorii Dla Informatyka. Jeśli nie chcesz kupić książki, powiązany z autorem artykuł jest również doskonały.

Wreszcie będziesz chciał dowiedzieć się więcej o różnych narzędziach haskell. Te include:

• ghc (i wszystkie jego cechy)
• cabal : system pakietów haskell
• darcs : rozproszony system kontroli wersji napisany w haskell, bardzo popularny w programach haskell.
• haddock : automatyczny generator dokumentacji haskell

Podczas nauki tych wszystkich nowych bibliotek i pojęć, bardzo przydatne jest pisanie projektu średniej wielkości w haskell. Może to być wszystko (np. mała gra, analizator danych, Strona internetowa, kompilator ). Praca nad tym pozwoli Ci zastosować wiele rzeczy, których się teraz uczysz. Zostajesz na tym poziomie przez wieki(tu jestem).

Ekspert

Dotarcie do tego etapu zajmie Wam lata (hello from 2009!), ale zgaduję, że od tego momentu zaczniesz pisać prace doktorskie, nowe rozszerzenia ghc i wymyślać nowe abstrakcje.

Pomoc

Wreszcie, podczas gdy na każdym etapie nauka, istnieje wiele miejsc do uzyskania informacji. Są to:

• kanał IRC #haskell
• listy dyskusyjne . Warto się na nie zapisać tylko po to, by przeczytać toczące się dyskusje-niektóre są bardzo ciekawe.
• inne miejsca wymienione na haskell.org Strona główna

Wniosek