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).
Related
Publications
In most dynamically typed languages, variables are created without declaring their type. This way of programming allows variable reuse, …
Jose Quiroga,
Francisco Ortin
Dynamic languages are suitable for developing specific applications where runtime adaptability is an important issue. On the contrary, …
Miguel Garcia,
Francisco Ortin,
Jose Quiroga
Dynamically typed languages have become popular in scenarios where high flexibility and adaptability are important issues. On the other …
Jose Quiroga,
Francisco Ortin,
David Llewellyn-Jones,
Miguel Garcia
Type systems are aimed at preventing programming language constructions from having wrong behavior at runtime. Different formalisms are …
Francisco Ortin,
Daniel Zapico,
Jose Quiroga,
Miguel Garcia
Multiple dispatch allows determining the actual method to be executed, depending on the dynamic types of its arguments. Although some …
Francisco Ortin,
Jose Quiroga,
Jose Manuel Redondo,
Miguel Garcia
Type systems are mainly aimed at providing the absence of erroneous behaviors. Their formalization is commonly used to prove specific …
Francisco Ortin,
Daniel Zapico,
Jose Quiroga,
Miguel Garcia
Some programming languages such as CLOS, Xtend and Dylan provide multiple dispatch through multi-methods. Multiple dispatch is a …
Francisco Ortin,
Jose Quiroga,
Jose Manuel Redondo,
Miguel Garcia
Multiple dispatch is a feature provided by some programming languages, in which the actual method to be executed is dynamically …
Francisco Ortin,
Miguel Garcia,
Jose Manuel Redondo,
Jose Quiroga