Accessibility

Our goal is:

Development of a programming language with unique expressive power, and complementary compiling software

The project will develop a general-purpose programming language along with compiling software, and a dedicated debugger based on a virtual machine. The primary technological challenge is to create a highly expressive language while maintaining essential qualities such as coherence, a shallow learning curve, intuitive use, safety, and support for modern programming paradigms. Additionally, the project aims to address several challenges related to the compiling software and debugger. These include creating an efficient incremental compiler that significantly speeds up code recompilation, developing a dedicated debugger based on a purpose-built virtual machine allowing for efficient and largely automated error detection and correction, and securing the ability to compile to two targets: efficient native code and virtual machine bytecode.

The works will consist of three tasks. The first task will be to acquire knowledge in the design of the language, including many unique schemes of syntax and semantics. The second task will involve producing high-quality compiling software, which is the primary tool for working with the language. Finally, the third task will focus on improving the language's standard library and user interfaces, and the surrounding areas. It will also involve optimisation of the compiling software and enhancements to the formal language.

The project is being carried out by DuckType Sp. z o. o., co-funded by European Funds under the Priority Axis 1 of the European Funds for a Modern Economy 2021-2027 (FENG); Project No. FENG.01.01-IP.02-0062/23. The project’s total value is PLN 5 701 528.02, with funding amounting to PLN 4 173 013.80.