Браха, Гилад: различия между версиями
Перейти к навигации
Перейти к поиску
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
A.sav (обсуждение | вклад) внутренние ссылки, опечатки, язык источников |
Функция «Добавить ссылку»: добавлено 2 ссылки. |
||
| Строка 19: | Строка 19: | ||
Получил степень [[бакалавр]]а математики и компьютерных наук в [[Университет имени Бен-Гуриона|университете им. Бен-Гуриона]] и ученую степень [[доктор философии|доктора философии]] в [[университет Юты|университете Юты]]<ref name="pioneer">{{Cite web|lang=en|url=https://www.prnewswire.com/news-releases/programming-language-pioneer-gilad-bracha-joins-shape-security-300901312.html|title=Programming Language Pioneer Gilad Bracha Joins Shape Security|author=Shape Security|website=www.prnewswire.com|accessdate=2020-08-22}}</ref><ref name="homepage">{{Cite web|url=https://bracha.org/Site/Bio.html|title=Bio Blurb|website=bracha.org|accessdate=2020-08-22}}</ref>. |
Получил степень [[бакалавр]]а математики и компьютерных наук в [[Университет имени Бен-Гуриона|университете им. Бен-Гуриона]] и ученую степень [[доктор философии|доктора философии]] в [[университет Юты|университете Юты]]<ref name="pioneer">{{Cite web|lang=en|url=https://www.prnewswire.com/news-releases/programming-language-pioneer-gilad-bracha-joins-shape-security-300901312.html|title=Programming Language Pioneer Gilad Bracha Joins Shape Security|author=Shape Security|website=www.prnewswire.com|accessdate=2020-08-22}}</ref><ref name="homepage">{{Cite web|url=https://bracha.org/Site/Bio.html|title=Bio Blurb|website=bracha.org|accessdate=2020-08-22}}</ref>. |
||
Является один из разработчиков языка программирования {{iw|Strongtalk}}. В 1994—1997 работал в компании Animorphic Systems<ref name="animorphicSystems">{{Cite web|lang=ru|url=https://smalltalk.fandom.com/ru/wiki/%D0%98%D1%81%D1%82%D0%BE%D1%80%D0%B8%D1%8F_%D0%BF%D1%80%D0%BE%D0%B5%D0%BA%D1%82%D0%B0_Strongtalk|title=История проекта Strongtalk|website=Smalltalk по-русски|accessdate=2020-08-22}}</ref>. В 1997 году [[Sun Microsystems]] приобрела Animorphic Systems, Гилад Браха продолжил свою работу в этой компании. Совместно с другими исследователями разработал спецификацию языка Java и виртуальной машины Java<ref name="spec">{{Cite web|lang=en|url=https://docs.oracle.com/javase/specs/|title=Java SE Specifications|website=docs.oracle.com|accessdate=2020-08-22}}</ref>. Официальная должность на тот момент — вычислительный теолог и ведущиий инженер<ref name="homepage" /> |
Является один из разработчиков языка программирования {{iw|Strongtalk}}. В 1994—1997 работал в компании Animorphic Systems<ref name="animorphicSystems">{{Cite web|lang=ru|url=https://smalltalk.fandom.com/ru/wiki/%D0%98%D1%81%D1%82%D0%BE%D1%80%D0%B8%D1%8F_%D0%BF%D1%80%D0%BE%D0%B5%D0%BA%D1%82%D0%B0_Strongtalk|title=История проекта Strongtalk|website=Smalltalk по-русски|accessdate=2020-08-22}}</ref>. В 1997 году [[Sun Microsystems]] приобрела Animorphic Systems, Гилад Браха продолжил свою работу в этой компании. Совместно с другими исследователями разработал спецификацию языка Java и [[Виртуальная машина|виртуальной машины]] Java<ref name="spec">{{Cite web|lang=en|url=https://docs.oracle.com/javase/specs/|title=Java SE Specifications|website=docs.oracle.com|accessdate=2020-08-22}}</ref>. Официальная должность на тот момент — вычислительный теолог и ведущиий инженер<ref name="homepage" /> |
||
В 2006—2009 годах ведущиий инженер в [[Cadence Design Systems]]. В это время разработал язык программирования {{iw|Newspeak_(programming_language)|Newspeak}}. |
В 2006—2009 годах ведущиий инженер в [[Cadence Design Systems]]. В это время разработал язык программирования {{iw|Newspeak_(programming_language)|Newspeak}}. |
||
| Строка 28: | Строка 28: | ||
== Вклад == |
== Вклад == |
||
В своей работе 1998 года предложил ввести [[Обобщённое программирование|дженерики]]<ref>{{Cite web|url=http://homepages.inf.ed.ac.uk/wadler/gj/Documents/#gj-oopsla|title=GJ: Documentation|website=homepages.inf.ed.ac.uk|accessdate=2020-08-22}}</ref>. Они позволяют типам быть параметрами при определении классов, типов и методов, что позволяет выявить ошибки во время компиляции. Являются «синтаксическим сахаром» — после компиляции какая-либо информация о дженериках стирается. Были добавлены в версию JSE 5.0<ref>{{Cite web|url=https://javarush.ru/groups/posts/2004-teorija-dzhenerikov-v-java-ili-gde-na-praktike-stavitjh-skobki|title=Дженерики Java в теории или как на практике ставить скобки|website=JavaRush|accessdate=2020-08-22}}</ref>. |
В своей работе 1998 года предложил ввести [[Обобщённое программирование|дженерики]]<ref>{{Cite web|url=http://homepages.inf.ed.ac.uk/wadler/gj/Documents/#gj-oopsla|title=GJ: Documentation|website=homepages.inf.ed.ac.uk|accessdate=2020-08-22}}</ref>. Они позволяют типам быть параметрами при определении классов, типов и методов, что позволяет выявить ошибки во время компиляции. Являются «[[Синтаксический сахар|синтаксическим сахаром]]» — после компиляции какая-либо информация о дженериках стирается. Были добавлены в версию JSE 5.0<ref>{{Cite web|url=https://javarush.ru/groups/posts/2004-teorija-dzhenerikov-v-java-ili-gde-na-praktike-stavitjh-skobki|title=Дженерики Java в теории или как на практике ставить скобки|website=JavaRush|accessdate=2020-08-22}}</ref>. |
||
Браха предложил сделать выбор [[Система типов|системы типов]] независимым от выбора языка — система типов должна быть [[Модульное программирование|модулем]], который может быть «подключен» к языку по мере необходимости. Он считает, что система обязательных типов делает языки менее выразительными, а [[код]] более хрупким. Требование о том, что типы не влияют на семантику языка, трудно выполнить, например, такие конструкции, как перегрузка на основе типов, запрещены.<ref>{{Cite web|lang=en|url=https://www.researchgate.net/publication/213885984_Pluggable_Type_Systems|title=Pluggable Type Systems|author=Bracha G.|website=researchgate.net|date=January 2004|publisher=Conference: OOPSLA'04 Workshop on Revival of Dynamic Languages}}</ref> |
Браха предложил сделать выбор [[Система типов|системы типов]] независимым от выбора языка — система типов должна быть [[Модульное программирование|модулем]], который может быть «подключен» к языку по мере необходимости. Он считает, что система обязательных типов делает языки менее выразительными, а [[код]] более хрупким. Требование о том, что типы не влияют на семантику языка, трудно выполнить, например, такие конструкции, как перегрузка на основе типов, запрещены.<ref>{{Cite web|lang=en|url=https://www.researchgate.net/publication/213885984_Pluggable_Type_Systems|title=Pluggable Type Systems|author=Bracha G.|website=researchgate.net|date=January 2004|publisher=Conference: OOPSLA'04 Workshop on Revival of Dynamic Languages}}</ref> |
||
Версия от 07:05, 27 марта 2022
| Гилад Браха | |
|---|---|
| англ. Gilad Bracha | |
.png) | |
| Страна |
 США |
| Род деятельности | инженер |
| Научная сфера | Объектно-ориентированный подход |
| Место работы | 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.
Примечания
- ↑ Лауреаты премии Даля — Нюгора за 2017
- ↑ 1 2 Shape Security. Programming Language Pioneer Gilad Bracha Joins Shape Security (англ.). www.prnewswire.com. Дата обращения: 22 августа 2020.
- ↑ 1 2 Bio Blurb. bracha.org. Дата обращения: 22 августа 2020.
- ↑ История проекта Strongtalk. Smalltalk по-русски. Дата обращения: 22 августа 2020.
- ↑ Java SE Specifications (англ.). docs.oracle.com. Дата обращения: 22 августа 2020.
- ↑ Google I/O 101: Q&A on Introduction to Dart with Gilad Bracha
- ↑ GJ: Documentation. homepages.inf.ed.ac.uk. Дата обращения: 22 августа 2020.
- ↑ Дженерики Java в теории или как на практике ставить скобки. JavaRush. Дата обращения: 22 августа 2020.
- ↑ Bracha G. Pluggable Type Systems (англ.). researchgate.net. Conference: OOPSLA'04 Workshop on Revival of Dynamic Languages (январь 2004).
- ↑ 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.
- ↑ Scopus preview - Scopus - сведения об авторе (Bracha, Gilad). www.scopus.com. Дата обращения: 22 августа 2020.