• Studujte možnosti typové inference a analýzy funkcionálních jazyků.
• Stanovte postupy pro využití typové informace pro optimalizace funkcionálních jazyků.
• Optimalizaci zaměřte buďto to textové části, nebo do části generování kódu.
• Implementujte prototyp s využitím nějakého otevřeného existujícího překladače.

Cílem je na textové úrovni zjednodušit text, nebo specializovat výstup (dle požadavku uživatele, či dle výhodnosti pro výsledek - knihovna, obecnost, apod.).

V případě výstupu je cílem specializované analýzy generovat výstup, který nebude potřebovat kontroly, nebo stavbu kontextových, či datových obálek/uzávěrů.