12 мая я выступил на конференции ADD-3 с докладом об опциональной типизации в динамических языках. Вот слайды доклада (HTML, требуется нормальный браузер) и его аннотация:...
Блог / Blog
28
Feb
2012
Доклад о статическом анализе в IDE
Сегодня я выступил на технологическом семинаре в СПбАУ с докладом о статическом анализе в IDE (вот слайды). Основной идеей доклада было рассказать об особенностях анализа...
04
Feb
2012
Привет, Rust!
Несколько дней назад я начал знакомиться с новым языком Rust, разрабатываемым в Mozilla Labs. В конце января вышла версия 0.1, которую можно скачать и попробовать....
Записи / Posts
- 2012-05-14 Опциональная типизация в динамических языках
- 2012-02-28 Доклад о статическом анализе в IDE
- 2012-02-04 Привет, Rust!
- 2011-12-31 С Новым годом!
- 2011-11-17 xdu: визуализация взвешенных деревьев
- 2011-05-15 Первый всероссийский съезд баячей будущего
- 2011-05-10 О выразительности и расширяемости на примере make
- 2011-02-04 Забавное для функциональщиков предупреждение GCC
- 2010-11-24 Моноид в категории эндофункторов
- 2010-09-11 Разбор аргументов командной строки в opster
- 2010-09-03 Популярные лекции Фейнмана по квантовой механике
- 2010-09-01 f x = x
- 2010-08-31 Правила краткого кода
- 2010-08-29 Burial on His Sound
- 2009-11-07 Распределённый Issue Tracking
- 2008-02-01 Презентация о языке Jython
- 2008-01-14 Выделение изменений в коде
Фото / Photos
- 2011-05-24 Лес в Лапландии
- 2011-05-18 Сыроежка
- 2011-05-13 Брусника в Орехово
- 2011-02-09 Конец дороги
- 2011-01-06 Метро «Обводный канал»
- 2010-09-14 Морошка
- 2010-09-06 Жилой дом и ресторан в Приозерске
- 2010-08-29 Водонапорная башня в Сортавале
- 2010-07-04 В крепости Копорье
- 2010-05-25 Сосна и тень