Темы семинаров 2011-2012 учебного года

На этой странице находятся темы докладов 2011-2012 учебного года.

Согласованное

2012 — весна
Мелешкин Различные подходы к параллельному программированию доклад Киппичёва доклад SPJ Simple Made Easy by Rich Hickey, ещё нашёл доклад Роба Пайка Работы и выступления про STM за авторством SPJ 12.03.2012
Нечаев Новые языки программирования 22.03.2012
Французов Darcs: Особенности и введение в теорию патчей 15.03.2012
2011 — осень
Куликов git. Светлая сторона. 28.11.2011
Кудасов Данные и представления. Линзы. 21.11.2011
Куликов Модели безопасности, реализованные на уровне языка. 07.11.2011
Костарев C++11. 31.10.2011
Мелешкин Современный Erlang, тулзы и (возможно) продакшн. 24.10.2011

Пожелания

Докладчик Тема Комментарий
? Про особенности реализации /любимого языка/ Если наберется безумцев желающих немного рассказать про реализацию своего любимого языка, то можно и послущать. Тов. Мелешкин почти готов поведать об управлении паматью в Erlang и реализацию посылки сообщений. Хотелось бы послушать про всякий Haskell, например. (G-машина, составляющая основу реализации Haskell, – это суровый матан. Не думаю, что кто-то хочет это слушать. Но если я не прав – я могу попробовать разобраться. / Кудасов Н.)
Струков? 1) C++11 Раз он таки вышел, пусть кто-нибудь отважный возмётся рассказать
Струков? Perl 6 Интересно было бы обсудить опциональную статическую типизацию, грамматики, макросы, ленивые вычисления, VM Parrot и пр.
Мелешкин? Различные подходы к параллельному программированию Хотелось бы услышать обзорный доклад о различных подходах к реализации параллелизма в современных ЯП, в частности об Actors model (Erlang, Scala), Software Transactional Memory (Clojure, Haskell), Reactor pattern (Node.js, Twisted, etc.). Особенно интересно было бы увидеть примеры, наглядно показывающие особенности каждого из подходов. —Meleshkin Valery 2011/10/15 05:52 Особо нетерпеливым могу порекомендовать http://vimeo.com/18091813
? Oz Мультипарадигмальный язык типа «всё в одном»: ФП, ООП, логическое пр-е, ленивые вычисления, распределённые вычисления (actors) и т.д. Причём, как ни странно, с рабочей реализацией.
Кудасов Теория функциональных языков программирования Основы лямбда-исчисления, системы типов, комбинаторная логика и пр.
Кудасов Haskell От вводной лекции до катаморфизмов/анаморфизмов, по желанию аудитории
Кудасов Agda Программирование с зависимыми типами
Кудасов Функциональные структуры данных Списки, очереди, кучи, эффективная реализация, общие методы и приемы.
Кудасов Оптимизационные преобразования функциональных программ The Concatenate Vanishes, Asymptotic Impovement of Computations over Free Monads, например
Милованов? F# Про язык. Отличия от Ocaml и Haskell. Специфичные ништяки. ИМХО хорошая тема для 3-курсников
? Проектирование языков программирования Особенности реализации, совместимость различных языковых средств и т.д.
? Новые языки программирования Какие новые языки появились в последнее время (скажем, в последние 5 лет) и чем они интересны. Shen, Agda 2, Ioke, Pure, Go, Dart, Arc, Clojure, Potion, Mirah, OMeta, Fortress, Rust, Ceylon, Kotlin etc. Статья с обзором
1) готов рассказать, но уже выступал в этом семестре
 
pp-seminar/meetings-agendas/2011-2012.txt · Last modified: 2012/09/24 18:49 by remper
 
Except where otherwise noted, content on this wiki is licensed under the following license:GNU Free Documentation License 1.2
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki