Soft typing: An approach to type checking for dynamically typed languages

dc.contributor.advisorCartwright, Robert S.
dc.creatorFagan, Mike
dc.date.accessioned2009-06-03T23:58:01Z
dc.date.available2009-06-03T23:58:01Z
dc.date.issued1991
dc.description.abstractIn an effort to avoid improper use of program functions, modern programming languages employ some kind of preventative type system. These type systems can be classified as either static or dynamic. Static type systems detect "ill-typed" program phrases at compile-time, whereas dynamic type systems detect "ill-typed" phrases at run-time. Static typing systems have two important advantages over dynamically typed systems: First, they provide important feedback to the programmer by detecting a large class of program errors before execution. Second, they extract information that a compiler can exploit to produce more efficient code. The price paid for these advantages, however, is a loss of expressiveness and modularity. It is easy to prove that a static type system for an "interesting" programming language necessarily excludes some "good" programs. This paper focuses on the problem of designing programming systems that retain the all the expressiveness of dynamic typing, but still offer the early error detection and improved optimization opportunities of static typing. To that end, we introduce a concept called soft typing. The key concept of soft typing is that a type checker need not reject programs containing statically "ill-typed" phrases. Instead, the soft type checker inserts explicit run-time checks. Thus, there are two issues to be addressed in the design of soft typing systems. First, the typing mechanism must provide reasonable feedback to programmers accustomed to dynamically typed-languages. Current static systems fail to satisfy the programmer's intuition about correctness on many programs. Second, a soft typing system must sensibly insert run-time checks (when necessary). This paper develops a type system and checking algorithms that are suitable for soft typing a significant class of programming languages.
dc.format.extent174 p.en_US
dc.format.mimetypeapplication/pdf
dc.identifier.callnoThesis Comp.Sci. 1991 Fagan
dc.identifier.citationFagan, Mike. "Soft typing: An approach to type checking for dynamically typed languages." (1991) Diss., Rice University. <a href="https://hdl.handle.net/1911/16439">https://hdl.handle.net/1911/16439</a>.
dc.identifier.urihttps://hdl.handle.net/1911/16439
dc.language.isoeng
dc.rightsCopyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder.
dc.subjectComputer science
dc.titleSoft typing: An approach to type checking for dynamically typed languages
dc.typeThesis
dc.type.materialText
thesis.degree.departmentComputer Science
thesis.degree.disciplineEngineering
thesis.degree.grantorRice University
thesis.degree.levelDoctoral
thesis.degree.nameDoctor of Philosophy
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
9136021.PDF
Size:
4.95 MB
Format:
Adobe Portable Document Format