Přehled přístupů postupného typování v dynamických programovacích jazycích

Abstract

Graduální typování je vlastnost programovacího jazyka, která umožňuje kombinaci dynamického a statického typování ve stejné codebase. Tím umožňuje přidávání typových anotací průběžně s tím, jak se kód postupně rozšiřuje. Cílem této práce je prozkoumat stávající přístupy ke graduálnímu typování v progamovacích jazycích Python, Ruby a PHP, a určit, které techniky by bylo možné aplikovat na programovací jazyk R. Práce shrnuje informace z vícero zdrojů zahrnujících dokumentaci, odborné články, blogové příspěvky, formální návrhy a diskuse na fórech. Následně přichází s návrhy ohledně implementace, syntaxe, sémantiky, nástrojů a strategií pro přijetí graduálního typování komunitou jazyka R.

Gradual typing is a feature that allows programming languages to combine dynamic and static typing within the same codebase, enabling the incremental addition of type annotations as the code evolves. This study investigates existing approaches to gradual typing in Python, Ruby, and PHP, with the goal of identifying techniques that could be applied to the R programming language. The thesis synthesizes information from multiple sources such as documentation, academic articles, blog posts, formal proposals, and forum discussions. It follows up with suggestions on implementation, syntax, semantics, tool support, and adoption strategies for gradual typing in R.