Subject » BMEVIFO9375
Higher-Order Functional Programming
Magasabb rendű funkcionális programozás
A tantárgyleírás hatályossága
Hatályosság kezdete:
—
Hatályosság vége:
—
| Subject name (Hungarian, English) |
Magasabb rendű funkcionális programozás
Higher-Order Functional Programming
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Subject code | BMEVIFO9375 | ||||||||||||
| Subject type | — | ||||||||||||
| Training Level | — | ||||||||||||
| Course types and hours (weekly/semester) |
|
||||||||||||
| Assessment type | vizsga | ||||||||||||
| Credits | 5 | ||||||||||||
| Subject coordinator | — | ||||||||||||
| Responsible department |
—
|
||||||||||||
| Faculty | |||||||||||||
| Subject website | — | ||||||||||||
| Primary curriculum type | — | ||||||||||||
| Direct prerequisites – Strong prerequisite | none | ||||||||||||
| Direct prerequisites – Weak prerequisite | none | ||||||||||||
| Direct prerequisites – Parallel prerequisite | none | ||||||||||||
| Direct prerequisites – Milestone prerequisite | none | ||||||||||||
| Direct prerequisites – Exclusion | none |
Objectives
Programme
- Lambda kalkulus és funkcionális programozás.
- A funkcionális programozás magasabbrendű módszerei (funktor, abstract data type, sharing, monád, continuation passing style stb.).
- Érdekes algoritmusok és hatékony megvalósításuk.
- A lusta és mohó kiértékelés összehasonlítása, lusta listák.
- A lusta kiértékelésű nyelvek egy reprezentánsa (Haskell).
- A LISP-családba tartozó néhány nyelv (Common Lisp, Scheme stb.).
- Az ML-család objektumelvű programozási nyelve (OCaml).
- Más érdekes funkcionális programozási nyelvek bemutatása (Clean, Oz stb.).
- Metaprogramozás, programgenerálás (MetaML).
- A típusnyelv kiterjesztése (Depentdent ML).
A funkcionális programozási ismeretek bővítése, néhány funkcionális programozási nyelv és megvalósítás összevetése, gyakorlati (ipari) alkalmazási lehetőségek bemutatása.
Learning outcomes
Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:
Knowledge
No learning outcomes recorded.
Skills
No learning outcomes recorded.
Attitudes
No learning outcomes recorded.
Autonomy and responsibility
No learning outcomes recorded.
Oktatási módszertan
(előadás, gyakorlat, laboratórium):
Előadás, konzultáció, önálló gyakorlás számítógépen.
Tanulástámogató anyagok
Not provided.
Recommended preliminary knowledge for completing the subject
Knowledge type competencies
(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)
BMEVIFO2218 Deklaratív programozás
Skill type competencies
(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
Recommended (non-compulsory) preliminary competencies
(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)
BMEVIFO2218 Deklaratív programozás
General rules
Követelmények:
a) A szorgalmi időszakban
Kötelező: kiadott cikk, téma feldolgozása. Ajánlott: házi feladatok megoldása.
Az aláírás megszerzésének feltétele a kiadott cikk, téma feldolgozása. A vizsgára bocsátásnak más feltétele nincs.
b) A vizsgaidőszakban
A vizsga szóbeli. A félévvégi osztályzatot a vizsga alapján állapítjuk meg.
c) Elővizsga
Megbeszélés szerint.
Pótlási lehetőségek:
A kiadott cikk, téma feldolgozása a szorgalmi időszak végéig pótolható.
Assessment methods
In-term assessments
No detailed assessments provided.
Weight of in-term assessments
No weights provided.
Exam-period assessments
No detailed assessments provided.
Weight of exam elements
No weights provided.
Grade calculation
No grade thresholds provided.
Attendance requirements
No attendance requirements provided.
Rules for retake and resubmission
Not provided.
Short description
Not provided.
Detailed description
Not provided.
Recommended courses
BMEVIFO2218 Deklaratív programozás
Workload to complete the subject
No workload breakdown provided.
Validity of subject requirements
Requirements valid from:
—
Requirements valid until:
—
Curriculum placement
No curriculum placements recorded for this subject version.