Bracha, Gilad

Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită pe 5 noiembrie 2021; verificările necesită 3 modificări .
Gilad Bracha
Engleză  Gilad Bracha
Țară  STATELE UNITE ALE AMERICII
Sfera științifică Abordare orientată pe obiecte
Loc de munca Tensyr Inc.
Alma Mater Universitatea din Utah
consilier științific Gary Lindstrom [d]
Cunoscut ca El a adus contribuții semnificative la subiecte legate de orientarea obiectelor , inclusiv mixin , generice Java , Strongtalk și Newsspeak [1] .
Premii și premii Premiul Dahl-Nyugora
Site-ul web bracha.org
 Fișiere media la Wikimedia Commons

Gilad Bracha este programator și om de știință . _  Cunoscut ca creatorul limbajului de programare Newsspeak . A fost distins cu Premiul Dahl-Nyugor .

Biografie

A primit o diplomă de licență în matematică și informatică de la Universitate. Ben-Gurion și un doctorat de la Universitatea din Utah [2] [3] .

El este unul dintre dezvoltatorii limbajului de programare Strongtalk . În 1994-1997 a lucrat la Sisteme animorfice [4] . În 1997, Sun Microsystems a achiziționat Animorphic Systems, iar Gilad Bracha și-a continuat activitatea la companie. Împreună cu alți cercetători, a dezvoltat specificația pentru limbajul Java și mașina virtuală Java [5] . Poziția oficială la acea vreme - teolog computațional și inginer principal [3]

2006-2009 Inginer principal la Cadence Design Systems . În acest timp a dezvoltat limbajul de programare Newsspeak .

Apoi VP al SAP Labs din Palo Alto . Din 2011-2017, a lucrat la Google , unde a condus echipa care a dezvoltat specificația pentru limbajul de programare Dart [6] .

Din 2017, un dezvoltator de software la Tensyr. Din 2019 Inginer principal la Shape Security [2] .

Contribuție

În lucrarea sa din 1998, el a propus introducerea genericelor [7] . Acestea permit ca tipurile să fie parametri atunci când se definesc clase, tipuri și metode, permițând identificarea erorilor în timpul compilării. Sunt „ zahăr sintactic ” - după compilare, orice informație despre generice este ștearsă. Au fost adăugate în JSE 5.0 [8] .

Bracha a sugerat să facă alegerea sistemului de tip independent de alegerea limbii - sistemul de tip ar trebui să fie un modul care poate fi „conectat” în limbaj după cum este necesar. El crede că sistemul de tip obligatoriu face limbajele mai puțin expresive și codul mai fragil. Cerința ca tipurile să nu afecteze semantica limbajului este dificil de îndeplinit, de exemplu sunt interzise constructe precum supraîncărcarea bazată pe tipuri. [9]

Așa cum a fost conceput de Brach , Newspeak trebuia să aibă patru caracteristici: modularitate , securitate , reflectare , compatibilitate [10] .

Proceedings

Potrivit bazei de date Scopus , el are 19 lucrări. Indicele Hirsch este 13 [11] .

Cărți Articole

Note

  1. Câștigători ai Premiului Dahl-Nyugora pentru 2017 . Preluat la 7 august 2020. Arhivat din original la 5 martie 2020.
  2. 1 2 Formă Securitate. Pionierul limbajului de programare Gilad Bracha se alătură Shape  Security . www.prnewswire.com . Preluat la 22 august 2020. Arhivat din original la 11 august 2020.
  3. 1 2 Biografie Blurb . bracha.org . Preluat la 22 august 2020. Arhivat din original la 31 octombrie 2020.
  4. Istoria proiectului Strongtalk . Smalltalk în rusă . Data accesului: 22 august 2020.
  5. Specificații  Java SE . docs.oracle.com . Preluat la 22 august 2020. Arhivat din original la 13 ianuarie 2012.
  6. Google I/O 101: Întrebări și răspunsuri despre Introducere în Dart cu Gilad Bracha
  7. GJ: Documentație . pagini de start.inf.ed.ac.uk . Preluat la 22 august 2020. Arhivat din original la 26 februarie 2021.
  8. Generice Java în teorie sau cum să puneți paranteze în practică . JavaRush . Preluat la 22 august 2020. Arhivat din original la 15 mai 2021.
  9. Bracha G. Pluggable Type Systems  . researchgate.net . Conferință: OOPSLA'04 Workshop on Revival of Dynamic Languages ​​​​(ianuarie 2004).
  10. Laurence Tratt, Adam Welc. Un interviu cu Gilad Bracha  // IEEE Software. — 2014-09. - T. 31 , nr. 5 . — p. 76–79 . — ISSN 1937-4194 . - doi : 10.1109/MS.2014.109 .
  11. Previzualizare Scopus - Scopus - informații despre autor (Bracha, Gilad) . www.scopus.com . Data accesului: 22 august 2020.

Link -uri