Funkcionális programozás a gyakorlatban: a Haskell

Functional Programming in Practice: Haskell

A tantárgyleírás hatályossága

Hatályosság kezdete:

—

Hatályosság vége:

—

Tantárgy neve (magyarul, angolul)

Funkcionális programozás a gyakorlatban: a Haskell

Functional Programming in Practice: Haskell

Tantárgykód

BMEVITMAV69

Tantárgyjelleg

—

Képzési szint

—

Kurzustípusok és óraszámok (heti/féléves)

Kurzustípus	elmélet	gyakorlat	laboratóriumi gyakorlat
óraszám (heti)	2	0	0
jelleg (kapcsolt/önálló)	—	—	—

Tanulmányi teljesítmény/értékelés típusa

félévközi érdemjegy

Tantárgy kreditértéke

Tantárgyfelelős

DR. Rétvári Gábor Ferenc

elérhetőség: retvari.gabor@vik.bme.hu

Tantárgyat gondozó oktatási szervezeti egység

—

Kar

Tantárgy weboldala

—

Tantárgy elsődleges mintatantervi jellege

—

Közvetlen előkövetelmények – Erős előkövetelmény

nincs

Közvetlen előkövetelmények – Gyenge előkövetelmény

nincs

Közvetlen előkövetelmények – Párhuzamos előkövetelmény

nincs

Közvetlen előkövetelmények – Mérföldkő előkövetelmény

nincs

Közvetlen előkövetelmények – Kizáró feltétel

nincs

Célkitűzés

Tantárgyprogram

Ismerkedés a Haskellel, a fordítókörnyezet és interpreterek letöltése, installálása. Elemi szintaktika, beépített típusok, felhasználói típusok, polimorfikus típusok, rekurzív típusok. Aritmetika, alapműveletek, műveletek listákkal, (map, fold, filter), list comprehensions, string-ek

Függvények, mintaillesztés, wildcard-ok, késleltetett (lusta) kiértékelés. Típusok, típusosztályok. Alapvető adatstruktúrák (bináris fák, általános fák, stb) és algoritmusok (keresés, rendezés, stb), indexlisták, tömbök, asszociatív memóriák. Hálózati problémák tisztán funkcionális megoldása: gráf-adatstruktúrák és -algoritmusok, legrövidebb út, hálózati folyamproblémák megoldása

Input/output, standard input/output, fájlműveletek, kivételkezelés. A Standard Prelude és a beépített osztályok és könyvtárak, modulok, szimbólumok importálása/exportálása, névterek

Programozás monádokkal, értelmezés, használat, szintaktika, egyszerű állapotmonád implementálása. Hálózati problémák monadikus megoldása: monadikus gráfalgoritmusok

Napjaink egyik legdivatosabb, és kétségkívül egyik legérdekesebb programozási nyelve a Haskell. A Haskell erősen típusos, tisztán funkcionális programozási nyelv, mely remekül használható az általános mérnöki gyakorlatban és az infokommunikáció szűkebb területén egyaránt. A tárgy célkitűzése, hogy a hallgatók gyakorlati problémák megoldásán keresztül a problémamegoldás egy új, a mérnöki gyakorlatban széles körben használható megközelítését sajátítsák el. A hallgatók a félév során megismerkednek a Haskell szintaktikájával, majd az infokommunikáció mérnöki gyakorlatában fontos hálózati és gráfelméleti feladatok megoldásával járatosságot szereznek a funkcionális programozás alapvető módszertanában

Tanulmányi eredmények

Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:

Tudás

Nincsenek rögzített tanulási eredmények.

Képességek

Nincsenek rögzített tanulási eredmények.

Attitűd

Nincsenek rögzített tanulási eredmények.

Autonómia és felelősség

Nincsenek rögzített tanulási eredmények.

Oktatási módszertan

Előadás

Tanulástámogató anyagok

Online források

Paul Hudak: The Haskell school of expression, Cambridge University Press, New York, 2000

A tantárgy teljesítéséhez ajánlott előzetes ismeretek

Tudás típusú kompetenciák

(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)

A számítógép-programozás alapjai

Képesség típusú kompetenciák

(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)

nincs

Ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák

(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)

A számítógép-programozás alapjai

Általános szabályok

Követelmények: a. A szorgalmi időszakban: féléves házifeladat megoldása Pótlási lehetőségek: A házifeladatok pótlólagos leadása a pótlási időszakban, egy kijelölt időpontban lehetséges.

Teljesítményértékelési módszerek

Szorgalmi időszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Szorgalmi időszakban végzett teljesítményértékelések részaránya

Nincs megadva részarány.

Vizsgaidőszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Vizsgarészek részaránya

Nincs megadva részarány.

Érdemjegy megállapítása

Nincs megadva érdemjegy határ.

Jelenléti és részvételi követelmények

Nincs megadva jelenléti követelmény.

Javítás, ismétlés és pótlás különös szabályai

Nincs megadva.

Rövid leírás

Nincs megadva.

Részletes leírás

Nincs megadva.

Ajánlott tantárgyak

nincs

A tantárgy elvégzéséhez szükséges tanulmányi munka

Nincs megadva munkaidő bontás.

Tantárgykövetelmények hatályossága

Tantárgykövetelmények hatályosságának kezdete:

—

Tantárgykövetelmények hatályosságának vége:

—

Tantervi elhelyezés

Nincsenek rögzített tantervi elhelyezések ehhez a tárgyverzióhoz.