Встреча FProg 2012-12 в Петербурге

Встреча / Meetup сайт события http://lanyrd.com/2012/fprog-12/

Добавить в календарь:
Поделиться:

Видео 2

  • Статический анализ и оптимизация кода в GHC

    Илья Сергей

  • Функции и данные в Kotlin

    Андрей Бреслав

12 декабря 2012 года в 19:00 в петербургском офисе JetBrains пройдёт встреча по функциональному программированию FProg.

В программе встречи представлены доклады о языках Haskell, Kotlin и Clojure:

  • Илья Сергей. Статический анализ и оптимизация кода в GHC
  • Андрей Бреслав. Функции и данные в Kotlin
  • Дмитрий Грошев. Reducers в Clojure

Обязательная запись на встречу для доступа в офис осуществляется на странице встречи через Twitter-аккаунт.

О встречах. Встречи по функциональному программированию FProg в Петербурге являются логическим продолжением встреч SPbHUG, петербургской группы пользователей Haskell. Они проходят при поддержке компаний Яндекс, JetBrains и журнала «Практика функционального программирования». На встречах представляются доклады и проходят обсуждения по различным темам теории и практики функционального программирования.

19:00-20:00

Илья Сергей

Статический анализ и оптимизация кода в GHC

 Glasgow Haskell Compiler — самый популярный из существующих компиляторов языка программирования Haskell, в котором реализованы многочисленные оптимизации кода путём переписывания программ. Корректность такого переписывания опирается на результаты статических анализов, также производимых компилятором и предваряющих трансформации.

В этом докладе я расскажу про реализацию и теоретические основы наиболее интересных статических анализов, реализованных в GHC: анализа строгости (strictness analysis), использования (usage analysis) и явного построения структуры (constructed product result), а также приведу примеры использования выведенных результатов для построения оптимизаций. В рамках доклада я сделаю краткий обзор GHC pipeline, с акцентом на языке промежуточного представления Core, служащим платформой для анализов и трансформаций. Наконец, я опишу основной инструментарий из элементарной теории доменов, необходимой для формулировки и доказательства корректности анализов.

 

20:15-21:00

Андрей Бреслав

Функции и данные в Kotlin

Kotlin — современный статически-типизированный язык программирования, предназначенный для индустрии. Этот доклад посвящён тому, какими средствами мы делаем так, чтобы код, совместимый с Java, выглядел красиво (иногда даже "функционально"). Разговор пойдёт о некоторых особенностях системы типов, в частности о совмещении традиционной типизации с анализом потока данных и о способах объявления классов и функций.

 

21:15-22:00

Дмитрий Грошев

Reducers в Clojure

Без сомнения, списочные комбинаторы в Haskell удобны. Кроме того, они позволяют многим из нас участвовать в увлекательных соревнованиях в code golf. Однако в следующую версию Clojure 1.5 войдёт альтернатива традиционным абстракциям на списках под названием reducers. Библиотека предлагает бесплатный deforestation и ускорение существующего кода, использующего map/filter/reduce. В докладе рассматривается идея reducers, их внутреннее устройство и возможность применения идеи в других языках.

Во весь экран
Показать еще

Комментарии (0):

Оставлять комментарии могут только зарегистрированные пользователи

Для получения embed кода необходимо кликнуть правой
кнопкой мыши на видео и выбрать пункт меню
'Сгенерировать HTML код'

Забыли пароль? Регистрация