StaDyn (programming language)
 | |
| Paradigm | Object oriented |
|---|---|
| Designed by | Francisco Ortin |
| Developer | Francisco Ortin |
| First appeared | 2007 |
| Stable release | 2.2.1
/ 11 May 2022 |
| Typing discipline | Hybrid static and dynamic typing, gradual typing, strong, inferred |
| Implementation language | C# |
| Platform | Common Language Infrastructure (.NET Framework) |
| License | MIT License[1] |
| Website | reflection |
| Major implementations | |
| C# | |
| Influenced by | |
| C#, OCaml, StrongTalk, Boo | |
StaDyn is an object-oriented general-purpose programming language for the .NET platform that supports both static and dynamic typing in the same programming language. The StaDyn compiler gathers type information for the dynamically typed code. That type information is used to detect type errors at compilation time and to perform significant optimizations. For that purpose, it provides type reconstruction (inference), flow-sensitive types, union and intersection types, constraint-based typing, alias analysis and method specialization. Its first prototype appeared in 2007, as a modification of C# 3.0. Type inference was supported by including var as a new type, unlike C#, which only offers var to define initialized local variables. Flow-sensitive types of var references are inferred by the compiler, providing type safe duck typing[2]. When a more lenient approach is required by the programmer, the dynamic type could be used instead of var. Although type inference is still performed, dynamic references behave closer to those in dynamic languages.
StaDyn is designed by Francisco Ortin[3] from the University of Oviedo. The language has been implemented by different members of the Computational Reflection research group[4], including Miguel Garcia, Jose Baltasar García Perez-Schofield and Jose Quiroga, besides Franciso Ortin.
The name StaDyn is a portmanteau of static and dynamic, denoting its aim to provide the benefits of both static and dynamic typing.
References
- ^ "StaDyn Download". uniovi.es. Retrieved May 17, 2022.
- ^ "Rule-based program specialization to optimize gradually typed code". doi.org. Retrieved May 17, 2022.
- ^ "Francisco Ortin". uniovi.es. Retrieved May 17, 2022.
- ^ "Computational Reflection Research Group". uniovi.es. Retrieved May 17, 2022.