Haskell resources

IB015 - Oficiálne zdroje

• Oficiálne stránky k výuke (semester podzim 2012)

  stránky predmetu pre jesenné semestre - RNDr. Libor Škarvada

• Oficiálne stránky k výuke v predošlom semestri (jaro 2012)

  informácie k výuke v semestri jaro 2012 - stránky doc. RNDr. Jiřího Barnata, Ph.D.

• Stránky predmetu v IS MU (autentizovaný prístup)

  IB015 Úvod do funkcionálního programování v IS MU (neautentizovaný pristup)

• Slidy z cvičení (podzim 2011)

  všetky slidy z cvičení v zip-e (semester podzim 2011)

Online učebnice a tutoriály

• Haskell Hero

  veľmi kvalitne a zrozumiteľne písaná interaktívna učebnica pre začínajúcich "Haskellistov", vysvetľuje všekty pojmy od úplných základov (autor: Bc. Standa Novák)

• Naučte se Haskell!

  príručka Haskellu pre začiatočníkov príznačná autorovým veselým štýlom (z anglického originálu preložil Pavel Dvořák)

• Try Haskell! - an interactive tutorial in your browser

  5 jednoduchých interaktívnych lekcií spolu s online interpretom - tutoriál spustíte príkazom 'help'

• Seriál o funkcionálnom programovaní na root.cz

  seriál piatich článkov o základoch Haskellu a funkcionálneho programovania

Rôznorodé úlohy a príklady na precvičovanie

• Sprievodca cvičeniami (podzim 2011)

  komentovaný súbor riešených príkladov z zo slidov k cvičeniam zo semestra podzim 2011 (autor: Jakub Valtar)

• Rozpracovaná zbierka príkladov

  rozpracovaná zbierka s množstvom úloh na domáce precvičovanie spolu s vzorovými riešeniami (autor: Marek Klučár)

• H-99: Ninety-Nine Haskell Problems

  99 úloh pre Haskell s rastúcou náročnosťou, začínajú jednoduchými úlohami na zoznamoch

• Haskell tutorial: problem sets

  úlohy prváckeho kurzu funkcionálneho programovania na University of Edinburgh spolu s riešeniami Marka Nemca - jedná sa hlavne o úlohy typu "naprogramujte funkciu, ktorá..."

Interprety, kompilároty, Haskell API

• Hugs 98

  stránky interpretu Hugs - ideálny, ak nepotrebujete komplikované vývojárske nástroje

• Haskell platform

  Haskell platform je ľahko inštalovateľný balík väčšieho mnoštva nástrojov pre programovanie v Haskelli (compiler, interpret, debugger, dokumentačné nástroje,...)

• Try Haskell

  jednoduchý online interpret pre Haskell

• Hoogle - Haskell API search

  Hoogle prehľadáva štandardné knižnice pomocou názvu funkcie či jej typu, slúži ako výborný referenčný zdroj - existuje aj vyhľadávač Hayoo, ten prehľadáva celý repozitár Hackage

• ZVON.org Haskell reference

  referenčná príručka pre štandardné funkcie spolu s príkladmi použitia

Materiály k prevodu point-free ↔ point-wise

• Postup prevodu

  elementárne kroky pri prevode výrazov z pointwise do pointfree tvaru (autor: Tomáš Szaniszlo)

• Funkcie h1, h2, pair

  podrobne komentované step-by-step riešenie príkladov zo slajdov na treťom cvičení (strana 10) (autor: Tomáš Szaniszlo)

• η-manuál

  krátky manuál na pochopenie základov η-redukcie, viac na Haskell Hero, kapitoty 24 a 25 (autor: Bc. Standa Novák)

• Zbierka príkladov na prevody

  zbierka príkladov na prevody medzi pointwise a pointfree tvarmi (POZOR! pracovná verzia, pravdepodobne obsahuje chyby/nedokončené riešenia) (autor: Tomáš Szaniszlo)

• Riešenie prevodov s medzikrokmi

  prevody väčšiny výrazov z cvičenia 03 bez komentárov, ale aj so všetkými medzikrokmi (autor: Bc. Eva Kučírková)

• Úlohy na prevody

  niekoľko náročnejších úloh na prevod medzi point-wise a point-free tvarom spolu s prehľadným riešením (autor: Bc. Eva Kučírková)

• Postupné komentované prevody

  výukový materiál s vlastnými príkladmi a slovnými komentármi (autor: RNDr. David Šafránek, Ph.D.)

• Pointfree z iného pohľadu

  netradičné (okrajové a trochu náročnejšie) príklady na prevod do pointfree spolu s komentovanými riešeniami (autor: Mgr. Matej Kollár)

Materiály k typom a typovaniu

• Haskell Hero: Typy I. (Typy II.) (Typy III.)

  kapitoly z interaktívnej učebnice Haskell Hero pojednávajúce o základných typoch (I.) vlastných typoch (II.) a typových triedach (III.) (autor: Bc. Standa Novák)

• Hierarchia typových tried

  krátky komentár k základným typovým triedam v Haskelli spolu s ich prehľanou hierarchiou

• Metóda postupnej špecializácie

  rozpracovaný text vysvetľujúci systém určovania typu postupným prechodom od najobecnejšieho typu až po typ skutočný (autor: Mgr. Matej Kollár)

• Dátové typy, dátové a typové konštruktory

  doplnkový študijnýy materiál k dátovým typom, vysvetľuje základné ale aj pokročilejšie pojmy z tejto oblasti (autor: Tomáš Szaniszlo)

"fold-y" (katamorfizmy) na rôznych dátových štruktúrach

• "fold-y" na zoznamoch (foldr, foldl, foldr1, foldl1)

  tieto úlohy budú pridané neskôr

• "fold-y" na stromoch (treefold)

  zbierka dvadsiatich úloh (od úplne jednoduchých až po náročenjšie) na precvičenie "fold-ov" (katamorfizmov) na dátovej štruktúre binárnych stromov (autor: Martin Ukrop)

Online učebnice a tutoriály

• Learn you a Haskell! (for great good)

  online učebnica Haskellu veľmi svojrázneho štýlu ("the funkiest way to learn Haskell"), pokrýva veľké množstvo tém od úplných základov až po prácu s monádami

• A gentle tutorial to Haskell

  staršia online učebnica pre Haskell 98 písaná tradičnejším štýlom

• Haskell on WikiBooks

  stále dopĺňaná kniha o programovaní v Haskelli založená na platforme WikiBooks, taktiež pokrýva množstvo tém od úplných základov

• Real World Haskell

  voľne dostupná online verzia knihy Real World Haskell z vydavateľstva O'Reilly Media doplnená o možnosť komentárov a diskusií k jednotlivým sekciám

• Haskell tutorial at Lisperati

  na záver ešte jeden dosť atypický Haskell tutorial

• HLint

  analyzátor kódu, ktorý navrhuje systaktické vylepšenia na sprehľadnenie a zlepšenie čitateľnosti

Haskell a funkcionálne pogramovanie

• Haskell Wiki

  hlavná stránka pre funkcinálny programovací jazyk Haskell, nájdete na nej aktuality, tutoriály, materiály ku knižniciam Haskellu a mnoho iného

• Haskell 2010 Language Report

  pomerne rozsiahly popis jazyka Haskell od základov štruktúry programu až po množstvo externých modulov

• Hugs 98 Standard Prelude

  obsah základného modulu Prelude, ktorý sa štandardne načítava automaticky po spustení interpretu

• článok o funkcionálnom programovaní na programujte.cz

  článok RNDr. Libora Škarvadu o základných myšlienkách funkcionálneho programovania, Haskelli a odlišnostiach od imperatívnych jazykov

Webstránky jednotlivých cvičiacich IB015

• Petr Boroš

• Marek Klučár

• Mgr. Matej Kollár

• Bc. Eva Kučírková

• Mgr. David Sehnal

• Tomáš Szaniszlo

• RNDr. David Šafránek, Ph.D.

• Bc. Adam Šiška

• Vladimír Štill

• Martin Ukrop

Ostatné odkazy

• Project Euler

  Projekt Euler je séria netriviálnych algoritmizovateľných matematických problémov, ktoré možno riešiť v ľubovoľnom programovacom jazyku

• IBM - Ponder this

  IBM Research vyhlasuje každý mesiac jednu (dosť náročnú) úlohu, možno ju riešiť akýmkoľvek spôsobom (napríklad v Haskelli :-})

• Evolúcia funkcionálneho programátora

  množstvo spôspobov, ako možno v Haskelli naprogramovať faktoriál :-}

• Aligator Eggs! (a puzzle game)

  rébus o aligátoroch predstavujúci netypovaný λ-kalkulus

• Fi.muny - IB015

  materiály ku kurzu IB015 na neoficiálnom dokumentovom servri fakulty (upozornenie: používajte veľmi opatrne, za správnosť nikto neručí - často môžu byť nesprávne alebo značne mätúce)

• IB016 Seminár z funkcionálneho programovania

  materiály rozširujúceho predmetu (učí Petr Pilař a Mgr. Matej Kollár)

Zrnko múdrosti

• a na záver múdrosť, o ktorej sa už presvedčil nejeden študent:

  Nájdi si čas na prácu, to je cena úspechu.
  Nájdi si čas na rozmýšľanie, to je zdroj sily.
  Nájdi si čas na hru, to je tajomstvo mladosti.
  Nájdi si čas na čítanie, to je základ vedomostí.
  Nájdi si čas na priateľstvo, to je brána ku šťastiu.
  Nájdi si čas na snívanie, to je cesta ku hviezdam.
  Nájdi si čas na lásku, to je skutočná životná radosť.
  Nájdi si čas na radosť, to je hudba duše.
  Nájdi si čas na funkcko, lebo inak ho nedáš… ehm ;-)
  
  (za múdrosť ďakujeme Matejovi Kollárovi)