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

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

^2012 — весна^^^
| Мелешкин | Различные подходы к параллельному программированию [[http://vimeo.com/18091813|доклад Киппичёва]] [[http://yow.eventer.com/events/1004/talks/1055|доклад SPJ]] [[http://www.infoq.com/presentations/Simple-Made-Easy|Simple Made Easy by Rich Hickey]], [[http://concur.rspace.googlecode.com/hg/talk/concur.html|ещё нашёл доклад Роба Пайка]] [[http://research.microsoft.com/en-us/um/people/simonpj/papers/stm/index.htm | Работы и выступления про STM за авторством SPJ]] | 12.03.2012 |
|Нечаев | [[http://dl.dropbox.com/u/45647617/newlang.pdf|Новые языки программирования]] | 22.03.2012 |
|Французов | [[pp-seminar/darcs|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, -- это суровый матан. Не думаю, что кто-то хочет это слушать. Но если я не прав -- я могу попробовать разобраться. / Кудасов Н.) |
|Струков? ((готов рассказать, но уже выступал в этом семестре))| C++11 | Раз он таки вышел, пусть кто-нибудь [[http://s3.amazonaws.com/kym-assets/entries/icons/original/000/000/240/1143362243714.jpg|отважный]] возмётся рассказать |
| Струков? | Perl 6 | Интересно было бы обсудить опциональную статическую типизацию, грамматики, макросы, ленивые вычисления, VM Parrot и пр. |
| Мелешкин? | Различные подходы к параллельному программированию | Хотелось бы услышать обзорный доклад о различных подходах к реализации параллелизма в современных ЯП, в частности об Actors model (Erlang, Scala), Software Transactional Memory (Clojure, Haskell), Reactor pattern (Node.js, Twisted, etc.). Особенно интересно было бы увидеть примеры, наглядно показывающие особенности каждого из подходов. ---//[[nekro.grave@gmail.com|Meleshkin Valery]] 2011/10/15 05:52// Особо нетерпеливым могу порекомендовать [[http://vimeo.com/18091813]] |
| ? | [[http://en.wikipedia.org/wiki/Oz_%28programming_language%29|Oz]] | Мультипарадигмальный язык типа «всё в одном»: ФП, ООП, логическое пр-е, ленивые вычисления, распределённые вычисления (actors) и т.д. Причём, как ни странно, с [[http://www.mozart-oz.org/|рабочей реализацией]]. |
| Кудасов | Теория функциональных языков программирования | Основы лямбда-исчисления, системы типов, комбинаторная логика и пр. |
| Кудасов | Haskell | От вводной лекции до катаморфизмов/анаморфизмов, по желанию аудитории |
| Кудасов | Agda | Программирование с зависимыми типами |
| Кудасов | Функциональные структуры данных | Списки, очереди, кучи, эффективная реализация, общие методы и приемы. |
| Кудасов | Оптимизационные преобразования функциональных программ | [[http://homepages.inf.ed.ac.uk/wadler/papers/vanish/vanish.pdf|The Concatenate Vanishes]], [[http://www.google.ru/url?sa=t&rct=j&q=janis%20voigtl%C3%A4nder.%20asymptotic%20improvement%20of%20monadic%20computations&source=web&cd=1&ved=0CB4QFjAA&url=http%3A%2F%2Fciteseerx.ist.psu.edu%2Fviewdoc%2Fdownload%3Fdoi%3D10.1.1.143.2323%26rep%3Drep1%26type%3Dpdf&ei=j6frTpGEKoH_-gbOgqzNCQ&usg=AFQjCNGSsO2Wf9ojb9rdX35XGbHCTAOR6A&sig2=i0GwlFdQMB59sMd-HJghnA&cad=rjt|Asymptotic Impovement of Computations over Free Monads]], например |
| Милованов? | F# | Про язык. Отличия от Ocaml и Haskell. Специфичные ништяки. ИМХО хорошая тема для 3-курсников |
| ? | Проектирование языков программирования | Особенности реализации, совместимость различных языковых средств и т.д. |
| ? | Новые языки программирования | Какие новые языки появились в последнее время (скажем, в последние 5 лет) и чем они интересны. [[http://www.shenlanguage.org/|Shen]], [[http://wiki.portal.chalmers.se/agda/pmwiki.php|Agda 2]], [[http://ioke.org/|Ioke]], [[http://code.google.com/p/pure-lang/|Pure]], [[http://golang.org/|Go]], [[http://www.dartlang.org/|Dart]], [[http://arclanguage.org/|Arc]], [[http://clojure.org/|Clojure]], [[http://fogus.github.com/potion/|Potion]], [[http://www.mirah.org/|Mirah]], [[http://tinlizzie.org/ometa/|OMeta]], [[http://projectfortress.java.net/|Fortress]], [[http://www.rust-lang.org/|Rust]], [[http://en.wikipedia.org/wiki/Ceylon_Project|Ceylon]], [[http://confluence.jetbrains.net/display/Kotlin/Welcome|Kotlin]] etc. [[http://blog.fogus.me/2011/10/18/programming-language-development-the-past-5-years/|Статья с обзором]] |