StaDyn

Jan 1, 2016
Go to Project Site

The main objective of this project is to break the programmers’ black or white choice between static or dynamic typing. StaDyn is a programming language that offers both dynamic and static typing following the Separation of Concerns principle, obtain both the benefits of static typing (performance, early error detection, better documentation and legibility, and better IDE features) and dynamic typing (flexibility, rapid prototyping, less verbose, less rigid, and dynamically adaptable).

StaDyn

Publications

The StaDyn programming language
Hybrid static and dynamic typing languages are aimed at combining the benefits of both kinds of languages: the early type error …
Project: stadyn Project: rti2018-099235-b-i00 Source Document doi: 10.1016/j.softx.2022.101211
SSA Transformations to Facilitate Type Inference in Dynamically Typed Code
In most dynamically typed languages, variables are created without declaring their type. This way of programming allows variable reuse, …
Project: stadyn Project: tin2011-25978 Project: grupin14-100 Source Document doi: 10.1093/comjnl/bxw108
Optimizing runtime performance of dynamically typed code
Dynamic languages are widely used for different kinds of applications including rapid prototyping, Web development and programs that …
PDF Project: stadyn Project: tin2008-00276 Project: tin2011-25978 Project: grupin14-100
Optimizing runtime performance of hybrid dynamically and statically typed languages for the .NET platform
Dynamically typed languages have become popular in scenarios where high flexibility and adaptability are important issues. On the other …
Project: stadyn Project: tin2011-25978 Project: grupin14-100 Source Document doi: 10.1016/j.jss.2015.11.041
Design and implementation of an efficient hybrid dynamic and static typing language
Dynamic languages are suitable for developing specific applications where runtime adaptability is an important issue. On the contrary, …
Project: stadyn Project: tin2011-25978 Source Document doi: 10.1002/spe.2291
Automatic Generation of Object-Oriented Type Checkers
Type systems are aimed at preventing programming language constructions from having wrong behavior at runtime. Different formalisms are …
PDF Project: stadyn Project: tin2011-25978
Attaining multiple dispatch in widespread object-oriented languages
Multiple dispatch allows determining the actual method to be executed, depending on the dynamic types of its arguments. Although some …
Project: stadyn Project: tin2011-25978
TyS - A Framework to Facilitate the Implementation of Object-Oriented Type Checkers
Type systems are mainly aimed at providing the absence of erroneous behaviors. Their formalization is commonly used to prove specific …
PDF Project: stadyn Project: tin2011-25978
Combining Static and Dynamic Typing to Achieve Multiple Dispatch
Some programming languages such as CLOS, Xtend and Dylan provide multiple dispatch through multi-methods. Multiple dispatch is a …
Project: stadyn Project: tin2011-25978
Achieving Multiple Dispatch In Hybrid Statically And Dynamically Typed Languages
Multiple dispatch is a feature provided by some programming languages, in which the actual method to be executed is dynamically …
Project: stadyn Project: tin2011-25978