Přehled přístupů postupného typování v dynamických programovacích jazycích
An overview of gradual typing approaches in dynamic programming languages
Typ dokumentu
bakalářská prácebachelor thesis
Autor
Rostislav Blaha
Vedoucí práce
Křikava Filip
Oponent práce
Donat-Bouillud Pierre
Studijní obor
Webové a softwarové inženýrstvíStudijní program
Informatika 2009Instituce přidělující hodnost
katedra softwarového inženýrstvíPráva
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Zobrazit celý záznamAbstrakt
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.
Kolekce
- Bakalářské práce - 18102 [1724]