Implementace jazyka TIL-Script

Abstract

Cílem práce je implementovat programovací jazyk TIL-Script. Jazyk TIL-Script slouží jako výpočetní varianta logického kalkulu TIL, jenž umožňuje jednoduchý strojový zápis konstrukcí Transparentní intenzionální logiky, ale také jejich následné provedení. Práce dále řeší praktické problémy s interpretací jazyka TIL-Script, a to například definice pojmenovaných funkcí, interakce s databází, apod. Dále se práce snaží navrhnout nadmnožinu jazyka TIL-Script, která umožní konstrukce TIL nejen provádět, ale také analyzovat, vytvářet je, a pracovat s nimi.

The goal of the thesis is the definition and implementation of the TIL-Script language. TIL-Script is a scripting language which serves the purpose of a computational variant of Transparent intensional logic, a logical calculus based on typed lambda calculi. TIL-Script allows for not just representation, but also execution of TIL constructions. This work also deals with practical problems of TIL-Script implementation, such as definitions of named functions, interaction with databases, etc. Furthermore, this thesis attempts to define a superset of the TIL-Script language, which allows for not just the execution of constructions, but also for their creation and analysis.