| Докладчик | Тема | Комментарий |
| ? | Про особенности реализации /любимого языка/ | Если наберется безумцев желающих немного рассказать про реализацию своего любимого языка, то можно и послущать. Тов. Мелешкин почти готов поведать об управлении паматью в 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. Статья с обзором |
