Ксавье Лерой цитаты

0   0

Ксавье Лерой

Дата рождения: 15. Март 1968

Ксавье Леруа — французский информатик и программист. Известен как основной разработчик системы OCaml.

Старший научный сотрудник французского государственного научно-исследовательского учреждения INRIA. Лерой был принят в Эколь Нормаль в Париже в 1987 году, где он изучал математику и информатику. С 1989 по 1992 он защитил кандидатскую диссертацию в области компьютерных наук под руководством Жерара Юэ.

Является международно признанным экспертом по языкам и компиляторам функционального программирования. В последнее время приобрёл интерес к формальным методам, формальным проверкам и сертифицированной компиляции. Он является руководителем проекта CompCert, который разрабатывает оптимизирующий компилятор для С, формально верифицированный в Coq.

Лерой был также оригинальным автором LinuxThreads, наиболее широко используемого пакета, реализующие потоки пакета в ОС Linux с версиями ядра Linux 2.0, 2.2, 2.4. Вместе с ядром Linux 2.6 для замены LinuxThreads была введена библиотека NPTL, с гораздо более широкой поддержкой со стороны ядра.

В 2015 был объявлен действительным членом Ассоциации вычислительной техники «за вклад в безопасные, высокоэффективные функциональные языки программирования и компиляторы, и верификацию компилятора». В 2016 был удостоен премии Милнера Лондонским королевским обществом.

Цитаты Ксавье Лерой

„Repeat after me: "Obj. magic is not part of the OCaml language."“

—  Xavier Leroy

Sources
Источник: Xavier Leroy (2009-10-28), Post to the Caml mailing list, 2009-10-28 http://article.gmane.org/gmane.comp.lang.caml.general/47389,

„If Bordeaux red wines were carbonated, McDonald's would be a lot more interested in selling them.“

—  Xavier Leroy

Sources
Источник: Xavier Leroy (2002-06-20), Post to the Caml mailing list, 2010-08-06 http://caml.inria.fr/pub/ml-archives/caml-list/2002/06/4d57fe13abe8b7823d9c5ca9379d37ce.en.html,

„A few programming is taking you away from mathematics; a lot will get you back in.“

—  Xavier Leroy

Sources
Источник: Xavier Leroy (2007) Conclusion of his seminar at Collège de France, 2009-03-13 http://www.college-de-france.fr/default/EN/all/inn_tec2007/seminaire_n3_xavier_leroy.htm,

„You see, the Caml garbage collector is like a god from ancient mythology: mighty, but very irritable. If you mess with it, it'll make you suffer in surprising ways.“

—  Xavier Leroy

Sources
Источник: Xavier Leroy (2007-11-28), Post to the Caml mailing list, 2007-11-30 http://caml.inria.fr/pub/ml-archives/caml-list/2007/11/d7e444376489e889d3004f6c7d412713.en.html,

„I was walking in the city the other day. I saw a syringe lying on the sidewalk. I stuck the needle in my forearm. That was a classy neighborhood, so the use of the syringe seemed justified.“

—  Xavier Leroy

Sources
Источник: Xavier Leroy (2005-07-23), Post to the Caml mailing list, 2008-02-20 http://caml.inria.fr/pub/ml-archives/caml-list/2005/07/0d3297c63e4b92fd956ea53d7b9ff255.en.html,

Сегодня годовщина
Энцо Феррари фото
Энцо Феррари10
Основатель автомобилестроительной компании «Феррари» 1898 - 1988
Бертольт Брехт фото
Бертольт Брехт36
немецкий драматург и теоретик театрального искусства 1898 - 1956
Сергей Петрович Капица фото
Сергей Петрович Капица38
советский и российский учёный-физик, телеведущий 1928 - 2012
Другие 52 годовщин