Gilad Bracha
Gilad Bracha | |
---|---|
Gilad Bracha 2006 | |
Alma mater | University of Utah |
Thesis | The Programming Language 'Jigsaw': Mixins, Modularity and Multiple Inheritance (1991) |
Doctoral advisor | Gary Lindstrom |
Website | |
http://www.bracha.org/ |
Gilad Bracha is the creator of the Newspeak programming language, a software engineer at Google and a member of the Dart (programming language) team in Aarhus.[1][2] He is a co-author of the second and third editions of the Java Language Specification,[3] and a major contributor to the second edition of the Java Virtual Machine Specification.[4]
From 1997 to 2006, he worked at Sun Microsystems as Computational Theologist and, as of 2005, Distinguished Engineer, on various aspects of the specification and implementation of Java.[5] Following that, he was Distinguished Engineer at Cadence Design Systems from 2006 to 2009, where he led a team of developers designing and implementing Newspeak.[5] Between 1994 and 1997, he worked on the Smalltalk system developed by Animorphic Systems,[5] a company that was bought by Sun in 1997.
Bracha received his B.Sc in Mathematics and Computer Science from Ben Gurion University in Israel and his Ph.D. in Computer Science from the University of Utah.[6]
Pluggable type systems
It has been proposed by Bracha that choice of type system be made independent of choice of language; that a type system should be a module that can be "plugged" into a language as required. He believes this is advantageous, because what he calls mandatory type systems make languages less expressive and code more fragile.[7] The requirement that types do not affect the semantics of the language is challenging to fulfill; for example, constructs like type-based overloading are disallowed.