Gradual Typing for a More Pure JavaScript

Detta är en Kandidat-uppsats från Göteborgs universitet/Institutionen för data- och informationsteknik

Författare: Jakob Erlandsson; Erik Nygren; Oskar Vigren; Anton Westberg; [2020-10-29]

Nyckelord: ;

Sammanfattning: Dynamically typed languages have surged in popularity in recent years, owing totheir flexibility and ease of use. However, for projects of a certain size dynamictyping can cause problems of maintainability as refactoring becomes increasinglydifficult. One proposed solution is the use of gradual type systems, wherestatic type annotations are optional. This results in providing the best of bothworlds. The purpose of this project is to create a gradual type system on topof JavaScript. Another goal is to explore the possibility of making guaranteesabout function purity and immutability using the type system. The types andtheir relations are defined and a basic type checker is implemented to confirmthe ideas. Extending type systems to be aware of side effects makes it easier towrite safer software. It is concluded that all of this is possible and reasonableto do in JavaScript.

  HÄR KAN DU HÄMTA UPPSATSEN I FULLTEXT. (följ länken till nästa sida)