«Предложения как типы», автор: Philip Wadler

Принцип «предложений как типов» связывает логику с вычислениями. На первый взгляд это кажется простым совпадением — почти игрой слов, — но оказывается удивительно надежным, вдохновляя разработку средств доказательства теорем и языков программирования и продолжая оказывать влияние на передовые разработки в области вычислительной техники. Принцип «предложений как типов» имеет множество названий и источников, и это понятие обладает глубиной, широтой и загадочностью. Узнайте, почему функциональное программирование является (и не является) универсальным языком программирования. Филип Уодлер ЭДИНБУРГСКИЙ УНИВЕРСИТЕТ @PhilipWadler Филип Уодлер — профессор теоретической информатики в Эдинбургском университете. Он является членом 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). Он выступал с приглашенными докладами в различных городах, от Айдзу до Цюриха.