Браха, Гилад

Гилад Браха
англ. Gilad Bracha
Страна	США
Род деятельности	инженер
Научная сфера	Объектно-ориентированный подход
Место работы	Tensyr Inc.
Альма-матер	Университет Юты
Научный руководитель	Gary Lindstrom^[вд]
Известен как	Внёс весомый вклад в темы, которые относятся к области объектной ориентации, включая миксины, Java generics, Strongtalk^[англ.] и Newspeak^[англ.][1].
Награды и премии	Премия Даля — Нюгора
Сайт	bracha.org
Медиафайлы на Викискладе

Гилад Браха (англ. Gilad Bracha; Пустой шаблон {{ВД-Преамбула}} ) — программист и учёный. Известен как создатель языка программирования Newspeak^[англ.]. Награждён премией Даля — Нюгора.

Биография

Получил степень бакалавра математики и компьютерных наук в университете им. Бен-Гуриона и ученую степень доктора философии в университете Юты[2][3].

Является один из разработчиков языка программирования Strongtalk^[англ.]. В 1994—1997 работал в компании Animorphic Systems[4]. В 1997 году Sun Microsystems приобрела Animorphic Systems, Гилад Браха продолжил свою работу в этой компании. Совместно с другими исследователями разработал спецификацию языка Java и виртуальной машины Java[5]. Официальная должность на тот момент — вычислительный теолог и ведущий инженер[3]

В 2006—2009 годах ведущий инженер в Cadence Design Systems. В это время разработал язык программирования Newspeak^[англ.].

Затем вице-президент SAP Labs в Пало-Алто. В 2011—2017 годах работал в Google, где возглавлял команду, которая занималась разработкой спецификации языка программирования Dart[6].

С 2017 года разработчик программного обеспечения в Tensyr. С 2019 года ведущий инженер в Shape Security[2].

Вклад

В своей работе 1998 года предложил ввести дженерики[7]. Они позволяют типам быть параметрами при определении классов, типов и методов, что позволяет выявить ошибки во время компиляции. Являются «синтаксическим сахаром» — после компиляции какая-либо информация о дженериках стирается. Были добавлены в версию JSE 5.0[8].

Браха предложил сделать выбор системы типов независимым от выбора языка — система типов должна быть модулем, который может быть «подключен» к языку по мере необходимости. Он считает, что система обязательных типов делает языки менее выразительными, а код более хрупким. Требование о том, что типы не влияют на семантику языка, трудно выполнить, например, такие конструкции, как перегрузка на основе типов, запрещены.[9]

По замыслу Браха Newspeak должен был иметь четыре особенности: модульность, безопасность, рефлекция, совместимость[10].

Труды

По данным базы данных Scopus, имеет 19 работ. Индекс Хирша равен 13[11].

Книги

• Bracha G. The Dart Programming Language. — Addison-Wesley, 2015. — 224 с. — ISBN 978-0321927705.

Статьи

• Bracha G., Cook W. Mixin-based inheritance (англ.) // ACM Sigplan Notices. — 1990. — Vol. 25, no. 10.
• Bracha G., Lindstrom G. Modularity Meets Inheritance (англ.) // IEEE International Conference on Computer Languages. — 1992. — April.
• Bracha G., Odersky M., Stoutamire D., Wadler P. Making the future safe for the past: adding genericity to the Java programming language (англ.) // OOPSLA '98. — 1998.
• M. Torgersen, C. P. Hansen, E. Ernst, Peter von der Ahé, G. Bracha, N. Gafter. Adding Wildcards to the Java Programming Language (англ.) // Journal of Object Technology. — 2004. — Vol. 3, no. 11.
• Bracha G., Ungar D. Mirrors: Design principles for meta-level facilities of object-oriented programming languages (англ.) // 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'04. — 2004.
• Bracha G. Pluggable Type Systems (англ.) // OOPSLA04 Workshop on Revival of Dynamic Languages. — 2004.
• Bracha G. Executable Grammars in Newspeak (англ.) // Electronic Notes on Theoretical Computer Science. — 2007. — No. 10. — P. 3—18.
• Bracha G., Peter von der Ah´, Bykov V., Kashai Y., Maddox W., Miranda E. Modules as objects in newspeak (англ.) // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). — 2010.

Примечания

1. Лауреаты премии Даля — Нюгора за 2017  (неопр.). Дата обращения: 7 августа 2020. Архивировано 5 марта 2020 года.
2. Shape Security. Programming Language Pioneer Gilad Bracha Joins Shape Security (англ.). www.prnewswire.com. Дата обращения: 22 августа 2020. Архивировано 11 августа 2020 года.
3. Bio Blurb  (неопр.). bracha.org. Дата обращения: 22 августа 2020. Архивировано 31 октября 2020 года.
4. История проекта Strongtalk  (рус.). Smalltalk по-русски. Дата обращения: 22 августа 2020.
5. Java SE Specifications (англ.). docs.oracle.com. Дата обращения: 22 августа 2020. Архивировано 13 января 2012 года.
6. Google I/O 101: Q&A on Introduction to Dart with Gilad Bracha
7. GJ: Documentation  (неопр.). homepages.inf.ed.ac.uk. Дата обращения: 22 августа 2020. Архивировано 26 февраля 2021 года.
8. Дженерики Java в теории или как на практике ставить скобки  (неопр.). JavaRush. Дата обращения: 22 августа 2020. Архивировано 15 мая 2021 года.
9. Bracha G. Pluggable Type Systems (англ.). researchgate.net. Conference: OOPSLA'04 Workshop on Revival of Dynamic Languages (январь 2004).
10. Laurence Tratt, Adam Welc. An Interview with Gilad Bracha // IEEE Software. — 2014-09. — Т. 31, вып. 5. — С. 76–79. — ISSN 1937-4194. — doi:10.1109/MS.2014.109.
11. Scopus preview - Scopus - сведения об авторе (Bracha, Gilad)  (неопр.). www.scopus.com. Дата обращения: 22 августа 2020.

Ссылки

• Gilad Bracha LinkedIn
• Gilad Bracha ResearchGate