Bracha, Gilad

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 5. listopadu 2021; kontroly vyžadují 3 úpravy .
Gilad Bracha
Angličtina  Gilad Bracha
Země  USA
Vědecká sféra Objektově orientovaný přístup
Místo výkonu práce Společnost Tensyr Inc.
Alma mater University of Utah
vědecký poradce Gary Lindstrom [d]
Známý jako Významně přispěl k tématům souvisejícím s objektovou orientací , včetně mixinů , generik Java , Strongtalk a Newspeak [1] .
Ocenění a ceny Dahl-Nyugorova cena
webová stránka bracha.org
 Mediální soubory na Wikimedia Commons

Gilad Bracha je programátor a vědec . _  _ Známý jako tvůrce programovacího jazyka Newspeak . Byl oceněn Dahl-Nyugorovou cenou .

Životopis

Získal bakalářský titul z matematiky a informatiky na univerzitě. Ben-Gurion a Ph.D. z University of Utah [2] [3] .

Je jedním z vývojářů programovacího jazyka Strongtalk . V letech 1994-1997 pracoval ve společnosti Animorphic Systems [4] . V roce 1997 Sun Microsystems získal Animorphic Systems a Gilad Bracha pokračoval ve své práci ve společnosti. Spolu s dalšími výzkumníky vyvinul specifikaci jazyka Java a virtuálního stroje Java [5] . Oficiální pozice v té době - ​​výpočetní teolog a vedoucí inženýr [3]

2006-2009 vedoucí inženýr ve společnosti Cadence Design Systems . Během této doby vyvinul programovací jazyk Newspeak .

Poté viceprezident SAP Labs v Palo Alto . V letech 2011-2017 pracoval ve společnosti Google , kde vedl tým, který vyvinul specifikaci pro programovací jazyk Dart [6] .

Od roku 2017 vývojář softwaru ve společnosti Tensyr. Od roku 2019 vedoucí inženýr ve společnosti Shape Security [2] .

Příspěvek

Ve své práci v roce 1998 navrhl zavést generika [7] . Umožňují, aby typy byly parametry při definování tříd, typů a metod, což umožňuje zachytit chyby v době kompilace. Jsou to " syntaktické cukry " - po kompilaci jsou veškeré informace o generikách vymazány. Byly přidány v JSE 5.0 [8] .

Brácha navrhl, aby byl výběr typového systému nezávislý na volbě jazyka – typový systém by měl být modul , který lze do jazyka podle potřeby „zapojit“. Věří, že povinný typový systém činí jazyky méně expresivními a kód křehčí. Požadavek, aby typy neovlivňovaly sémantiku jazyka, je obtížné splnit, například konstrukce jako typové přetížení jsou zakázány. [9]

Podle Bracha měl mít Newspeak čtyři vlastnosti: modularitu , bezpečnost , odraz , kompatibilitu [10] .

Sborník

Podle databáze Scopus má 19 prací. Hirschův index je 13 [11] .

knihy články

Poznámky

  1. ↑ Vítězové ceny Dahl-Nyugora za rok 2017 . Získáno 7. srpna 2020. Archivováno z originálu dne 5. března 2020.
  2. ↑ 1 2 Zabezpečení tvaru. Programovací jazyk Pioneer Gilad Bracha se připojuje k  zabezpečení Shape . www.prnewswire.com . Získáno 22. srpna 2020. Archivováno z originálu dne 11. srpna 2020.
  3. ↑ 1 2 Bio Blurb . bracha.org . Získáno 22. srpna 2020. Archivováno z originálu dne 31. října 2020.
  4. ↑ Historie projektu Strongtalk . Smalltalk v ruštině . Datum přístupu: 22. srpna 2020.
  5. ↑ Specifikace  Java SE . docs.oracle.com . Staženo 22. srpna 2020. Archivováno z originálu 13. ledna 2012.
  6. ↑ Google I/O 101: Q&A on Introduction to Dart s Giladem Brachou
  7. ↑ GJ: Dokumentace . domovské stránky.inf.ed.ac.uk . Získáno 22. srpna 2020. Archivováno z originálu dne 26. února 2021.
  8. ↑ Java generika v teorii aneb jak uvést závorky v praxi . JavaRush . Získáno 22. srpna 2020. Archivováno z originálu dne 15. května 2021.
  9. ↑ Bracha G. Zásuvné typy systémů  . researchgate.net . Konference: OOPSLA'04 Workshop on Revival of Dynamic Languages ​​(leden 2004).
  10. ↑ Laurence Tratt, Adam Welc. Rozhovor s Giladem Brachou  // IEEE Software. — 2014-09. - T. 31 , č.p. 5 . — s. 76–79 . — ISSN 1937-4194 . - doi : 10.1109/MS.2014.109 .
  11. ↑ Náhled Scopus - Scopus - informace o autorovi (Bracha, Gilad) . www.scopus.com . Datum přístupu: 22. srpna 2020.

Odkazy