Русская Википедия:Браха, Гилад

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Учёный

Гилад Браха (Шаблон:Lang-en) — программист и учёный. Известен как создатель языка программирования Шаблон:Iw. Награждён премией Даля — Нюгора.

Биография

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

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

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

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

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

Вклад

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

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

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

Труды

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

Книги
Статьи

Примечания

Шаблон:Примечания

Ссылки