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

2025/26/2, 2026/27/1

ECTS

6

Nyelv

en

Oktatás célja

A tantárgy célja, hogy megismertesse a hallgatókat egy új programozási paradigmával. A félév során a hallgatók elsajátítják a funkcionális programozási nyelvek főbb koncepcióit és terminológiáját. A Haskell programozási nyelven keresztül megtanulják, hogyan segítheti egy erősen típusos funkcionális nyelv a szoftverfejlesztés folyamatát Tudása Á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égei 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. Képes matematikai, számítástudományi, informatikai ismereteinek, újszerű megközelítési módot igénylő alkalmazására informatikai kutatási, fejlesztési feladatok során. 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. Attitűdje Figyelemmel kíséri az informatikai szakterületével kapcsolatos szakmai, technológiai fejlődést. Elkötelezett az élethosszig tartó tanulás iránt, nyitott új informatikai szakmai kompetenciák elsajátítására. Elkötelezett a minőségi követelmények betartatására és informatikai eszközökkel történő elemzésére. Autonómiája és felelőssége Informatikai tevékenysége során hozott szakmai döntéseiért felelősséget vállal. Felelősséget vállal a határidők betartására és betartatására.

Tantárgy tartalma

A hallgatók megismerkednek a Haskell típusaival (alaptípusok, listatípus, n-esek/tuple típusok, függvénytípusok, polimorf és túlterhelt függvények, currying, parciális alkalmazás), a függvénydefiníciókkal (esetszétválasztás, mintaillesztés, lambda-kifejezések, operátorszeletek), a listagenerátorokkal (többszörös generátorok, függő generátorok, szűrőfeltételek), a rekurzióval (listákon értelmezett rekurzív függvények, többargumentumos rekurzív függvények), a magasabb rendű függvényekkel, az új típusok definiálásával (típusszinonimák, algebrai adattípusok, függvények definiálása új adattípusokon, parametrikus adattípusok), valamint a típusosztályok deklarálásával (új típusosztályok létrehozása, típusosztály-példányosítás).

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

A számonkérés módja: kollokvium (összevont számonkérés) Értékelés: Minden gyakorlat elején sor kerül egy rövid tesztre, a félév során pedig több beadandó feladatot kell teljesíteni. Ezek eredménye határozza meg, hogy a hallgató jelentkezhet-e a vizsgára. A végső jegyet a vizsga határozza meg, amely egy elméleti tesztből és egy számítógépes programozási részből áll. A gyakorlati számonkéréseken (röpdolgozat, beadandók) és a vizsgákon generatív MI eszköz használata szigorúan tilos. Ha a hallgató a számonkéréseken MI eszközt vesz igénybe, az oktató a munka értékelését megtagadja, és a hallgató ellen fegyelmi eljárást kezdeményezhet. A kurzus oktatói a hallgatók teljesítményének értékelése során MI eszközt nem vesznek igénybe. A kurzuson való részvétel feltétele az MI használatára vonatkozó kari és egyetemi szabályzatok ismerete és betartása. A szabályzat megtalálható az Informatikai Kar weboldalán: AI Usage Policy (https://inf.elte.hu/en/ai-usage-policy)

Irodalomjegyzék

Graham Hutton: Programming in Haskell, ISBN 978-1316626221 Miran Lipovaca: Learn You a Haskell for Great Good!

Ajánlott irodalom

Christopher Allen, Julie Moronuki: Haskell Programming from First Principles Bryan O'Sullivan, Don Stewart, and John Goerzen: Real World Haskell

Kurzus szakjai