Kurzus nemzetközi vendég- és részidős hallgatóknak

Kar

Informatikai Kar

Szervezet

IK Programozási Nyelvek és Fordítóprogramok Tanszék

Kód

IPM-22feszFUNLEG

Cím

Funkcionális nyelvek Ea+Gy

Tervezett félév

Tavaszi

Meghirdetve

2024/25/1

ECTS

6

Nyelv

en

Oktatás célja

A tantárgy elvégzése után a hallgató képes lesz funkcionális nyelveken közepesen bonyolult programok írására. A KKK-ból az alábbiakhoz járul hozzá a tantárgy: tudás: Átfogóan és naprakészen ismeri és érti az informatikai szakterületének általános elméleteit a programozási nyelvek terén. Rendelkezik az informatikai szakterület specifikus eszközeinek átfogó és naprakész ismeretével a következő területeken: modern programozási nyelvek és paradigmák, a korszerű programozási nyelvek használata képesség: Képes az informatikai szakterületen felmerülő komplex szakmai problémák formalizálására, a szükséges elvi és gyakorlati háttér feltárására és a probléma megoldására. Magas szinten képes a szakterület szakmai szókincsével anyanyelvén és legalább angolul írásban és szóban megnyilvánulni, vitában részt venni, jelentést készíteni, tudományos, műszaki szakmai anyagokat (szakmai könyv, fejezet, cikk stb.) feldolgozni és alkotó módon hasznosítani. Képes validálni az elkészült szoftverterméket. attitűd: Figyelemmel kíséri az informatikai szakterületével kapcsolatos szakmai, technológiai fejlődést. Elkötelezett a minőségi követelmények betartatására és informatikai eszközökkel történő elemzésére. autonómia, felelősség: Informatikai tevékenysége során hozott szakmai döntéseiért felelősséget vállal.

Tantárgy tartalma

Algebrai adatszerkezetek, típusosztályok (Functor, Applicative, Monad), IO monád (input-output), monád transzformátorok példákkal (szintaktikus elemzés, interpreter, fordítóprogramok), lencsék, lusta kiértékelés, tulajdonság alapú tesztelés, párhuzamos programozás alapjai

Számonkérés és értékelés

Minden gyakorlat elején kis tárthelyi, ez alapján gyakorlati jegy, vizsgaidőszakban számítógépes vizsga.

Irodalomjegyzék

Graham Hutton: Programming in Haskell, ISBN 978-1316626221 Miran Lipovaca: Learn You a Haskell for Great Good! http://learnyouahaskell.com/chapters Christopher Allen, Julie Moronuki: Haskell Programming from First Principles

Kurzus szakjai