Implementace jazyka TIL-Script

Abstract

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.