To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

How to transfigure the Wikipedia

Would you like Wikipedia to always look as professional and up-to-date? We have created a browser extension. It will enhance any encyclopedic page you visit with the magic of the WIKI 2 technology.

Try it — you can delete it anytime.

Install in 5 seconds
4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
Great Wikipedia has got greater.
.
Leo
Newton
Brights
Milds

Gilad Bracha

From Wikipedia, the free encyclopedia

Gilad Bracha
Gilad Bracha 2006
Alma materUniversity of Utah
AwardsSenior Dahl–Nygaard Prize (2017)
Scientific career
FieldsComputer science
InstitutionsAnimorphic Systems
Sun Microsystems
Cadence Design Systems
Google
F5 Networks
ThesisThe Programming Language 'Jigsaw': Mixins, Modularity and Multiple Inheritance (1991)
Doctoral advisorGary Lindstrom
Websitewww.bracha.org

Gilad Bracha is a software engineer at F5 Networks, and formerly at Google, where he was on the Dart programming language team.[1][2][3] He is creator of the Newspeak language, and co-author of the second and third editions of the Java Language Specification,[4] and a major contributor to the second edition of the Java Virtual Machine Specification.[5]

Between 1994 and 1997, he worked on the Smalltalk system developed by Animorphic Systems,[6] a company that was bought by Sun in 1997. 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.[6] 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.[6]

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.[7] Bracha won the Senior Dahl–Nygaard Prize in 2017.

YouTube Encyclopedic

  • 1/5
    Views:
    1 440
    5 497
    6 194
    409
    908
  • Gilad Bracha: Design of Newspeak Language [Part 1]
  • Dart Today and Beyond with Google's Gilad Bracha
  • Interview with Gilad Bracha about Google Dart • GOTO 2011
  • Gilad Bracha: Design of Newspeak Language [Part 2]
  • Gilad Bracha, Shape Security | CUBEConversation, August 2019

Transcription

BGGA closures

In 2006, Bracha, with Neal Gafter, James Gosling, and Peter von der Ahé (collectively BGGA), drafted a specification for adding closures to the Java language, version 6.[8] The proposal has been criticized by Joshua Bloch on terms of being needlessly complex (adding function types and non-local returns) while providing little benefit for the average Java programmer over other simpler proposals.[9] Closures were added to Java 8, but based on a different proposal than the BGGA one.

Pluggable type systems

Bracha proposed 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 needed. He believes this is advantageous, because what he calls mandatory type systems make languages less expressive and code more fragile.[10] 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.

In practice, pluggable type systems are variously called optional typing, type hinting, type annotations, or gradual type checking. They tend to be constructed by adding a static type system to an extant dynamically typed language without changing its semantics and usually its syntax. Examples include Smalltalk,[11] Python 3,[12][13] Ruby,[14] Clojure,[15] and PHP 5.[16] For most of the languages there is only one implementation of the type system. The exception is Python 3 where the type system is truly pluggable, because there are several implementations and the programmer can use the one that is the best fit. The only language designed with a pluggable type system from the start is Newspeak. Java 8 provides the ability to extend the type system, but does not allow flexibility in the basics of the type system, such as choosing between static and dynamic typing.[17]

References

  1. ^ "Gilad Bracha". Archived from the original on 2012-04-02. Retrieved 2012-03-15.
  2. ^ Channel 9 interview (mp3) with Gilad Bracha
  3. ^ https://www.linkedin.com/in/gbracha/[self-published source]
  4. ^ Bracha, Gilad. "The Java Language Specification" (3rd ed.). Oracle. Archived from the original on 2014-10-31.
  5. ^ Bracha, Gilad. "Preface". The Java Virtual Machine Specification (2nd ed.). Oracle. Archived from the original on 2014-07-11.
  6. ^ a b c Gilad Bracha’s CV
  7. ^ Bracha's 'bio blurb'
  8. ^ "Closures (Lambda Expressions) for the Java Programming Language".
  9. ^ Bloch, Joshua (8 April 2009). The Closures Controversy (Speech). Javapolis '07. Archived from the original on 4 February 2015. Retrieved 3 February 2015.
  10. ^ Bracha, G.: Pluggable Types
  11. ^ "Google Code Archive – Long-term storage for Google Code Project Hosting".
  12. ^ "PEP 3107 – Function Annotations".
  13. ^ "PyContracts – PyContracts 1.7.16 documentation".
  14. ^ "Gradual Type Checking for Ruby". 6 May 2014.
  15. ^ "Home – clojure/Core.typed Wiki". GitHub.
  16. ^ "Type Hinting". Archived from the original on 2014-10-18. Retrieved 2014-10-18.
  17. ^ "Type Annotations and Pluggable Type Systems". Oracle.

External links

This page was last edited on 9 December 2022, at 19:29
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.
Contact WIKI 2
Introduction
Terms of Service
Privacy Policy