Typed scheme from scripts to programs

Tobin-Hochstadt , M. Felleisen Published 13 June Computer Science ArXiv When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of explicit type annotations in typical scripting languages forces programmers to must re discover critical pieces of design information every time they wish to change a program. This analysis step both slows down the maintenance process and may even introduce mistakes due to the violation of undiscovered invariants.

View PDF on arXiv. Save to Library Save. Create Alert Alert. Share This Paper. Figures and Topics from this paper. One Citation. Citation Type. Has PDF. Publication Type. More Filters. Documents: Advanced Search Include Citations. Authors: Advanced Search Include Citations. Citations: 3 - 2 self. Thus, static type-checking with type annotations and several other TypeScript features like interface , class , and module help programmers write cleaner and more scalable code that can be shared across teams.

C ASP. Skill Tests ASP. File: add. Want to check how much you know TypeScript? Start TypeScript Test.