Dynamic typing when needed: The end of the cold war between programming languages

This paper argues that we should seek the golden middle way between dynamically and statically typed languages.

[1]  Robert Cartwright,et al.  Soft typing , 2004, SIGP.

[2]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[3]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[4]  Erik,et al.  Programming with Circles , Triangles and Rectangles , 2003 .

[5]  K. Rustan M. Leino,et al.  Verification of Object-Oriented Programs with Invariants , 2003, J. Object Technol..

[6]  Kristen Nygaard,et al.  Some features of the SIMULA 67 language , 1968 .

[7]  Gilad Bracha,et al.  Adding wildcards to the Java programming language , 2004, SAC '04.

[8]  David A. Schmidt.  The structure of typed programming languages , 1994, Foundations of computing series.

[9]  Mirko Viroli,et al.  On Variance-Based Subtyping for Parametric Types , 2002, ECOOP.

[10]  Tim Sheard,et al.  Accomplishments and Research Challenges in Meta-programming , 2001, SAIG.

[11]  David R. Hanson,et al.  Dynamic variables , 2001, PLDI '01.

[12]  James E. Rumbaugh,et al.  Relations as semantic constructs in an object-oriented language , 1987, OOPSLA '87.

[13]  Daan Leijen,et al.  Domain specific embedded compilers , 1999, DSL '99.

[14]  Thierry Coquand,et al.  Inheritance as Implicit Coercion , 1991, Inf. Comput..

[15]  Randall B. Smith,et al.  Self: The power of simplicity , 1987, OOPSLA 1987.

[16]  Benjamin C. Pierce,et al.  Types and programming languages: the next generation , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[17]  John Launchbury,et al.  Implicit parameters: dynamic scoping with static types , 2000, POPL '00.

[18]  Simon L. Peyton Jones,et al.  Type Classes in Haskell , 1994, ESOP.

[19]  John K. Ousterhout,et al.  Scripting: Higher-Level Programming for the 21st Century , 1998, Computer.

[20]  John Hughes,et al.  Why Functional Programming Matters , 1989, Comput. J..