Пленарный доклад: Пропозиции как типы — Филип Уодлер

Описание: Слайды и дополнительная информация: http://www.codemesh.io/codemesh2015/p...

Связанный доклад, набравший более 20 000 просмотров, доступен по ссылке:    • "Propositions as Types" by Philip Wadler  .

Принцип «Предложения как типы» связывает логику с вычислениями. На первый взгляд это кажется простым совпадением — почти игрой слов, — но оказывается удивительно надежным, вдохновляя разработку средств доказательства теорем и языков программирования и продолжая оказывать влияние на передовые разработки в области вычислительной техники. Принцип «Предложения как типы» имеет множество названий и источников, и это понятие обладает глубиной, широтой и загадочностью. Узнайте, почему функциональное программирование является (и не является) универсальным языком программирования.

О Филиппе

Филип Уодлер — профессор теоретической информатики в Эдинбургском университете. Он является членом ACM и членом Королевского общества Эдинбурга, бывшим председателем ACM SIGPLAN, бывшим обладателем стипендии Королевского общества имени Вольфсона за научные достижения, а также лауреатом премии POPL за самую влиятельную статью. Ранее он работал или учился в Стэнфорде, Xerox Parc, CMU, Оксфорде, Чалмерсе, Глазго, Bell Labs и Avaya Labs, а также посещал Копенгаген, Сидней и Париж в качестве приглашенного профессора. Его индекс Хирша составляет 60, а количество цитирований его работ, согласно Google Scholar, превышает 18 000. Он внес вклад в разработку Haskell, Java и XQuery, а также является соавтором книг «Введение в функциональное программирование» (Prentice Hall, 1988), «XQuery от экспертов» (Addison Wesley, 2004) и «Обобщения и коллекции в Java» (O'Reilly, 2006). Он выступал с приглашенными докладами в самых разных местах, от Айдзу до Цюриха.