This is an old revision of the document!
На этой странице находятся темы докладов 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. Статья с обзором |