2010 → Выпуск 5
Вышел в свет пятый выпуск журнала «Практика функционального программирования».
Выбор темы для журнальной статьи целиком и полностью лежит на совести автора. Тем удивительнее находить в шести статьях, написанных абсолютно независимо друг от друга, какую-то одну объединяющую тему. Темой этого номера, похоже, стали горячо любимые всеми «баги».
Редакторы подвели итоги конкурса, объявленного в третьем выпуске журнала, и рассказали про баги, сделанные конкурсантами.
Максим Трескин описал средства для борьбы с багами, которыми по праву гордится платформа Erlang.
Роман Душкин рассказал о том, как работает алгоритм Хиндли - Милнера, и привел пример его практической реализации. Этот алгоритм лежит в основе механизма автоматического вывода типов в Haskell, OCaml, F# и производных языках, и именно благодаря ему значительное количество багов в программах на этих языках вылавливается еще на этапе компиляции.
Коллектив разработчиков из ПРОСОФТ рассказал о том, как они успешно боролись с багами в реализациях микропроцессоров с помощью средств, предоставляемых языком Haskell.
Всеволод Дёмкин и Александр Манзюк написали статью, которая освещает распространенные баги в восприятии Lisp.
Дмитрий Попов описал интересный способ построения библиотеки комбинаторов синтаксического анализа. Чем больше хороших и быстрых инструментов синтаксического анализа будет доступно программистам - тем лучше, ведь как показал конкурс, большая часть конкурсантов решила сделать синтаксический анализатор входных файлов самостоятельно, и практически все допустили при этом досадные баги.
А Максим Моисеев, Давид Сорокин и Евгений Лазин сделали замечательное введение в F# - теперь любой желающий может изучить новый язык программирования, начать писать на нем программы и познакомиться таким образом с новыми, свойственными только этому языку, багами.
Каждая статья снабжена своей собственной записью в сообществе fprog, чтобы можно было обсуждать их независимо.
Также теперь у нас есть баг-трекер - используйте его для регистрации замечаний по поводу журнала, его статей, ошибок в них и так далее.
И не забудьте посетить страницу лучших друзей журнала: http://fprog.ru/donate/.
Выбор темы для журнальной статьи целиком и полностью лежит на совести автора. Тем удивительнее находить в шести статьях, написанных абсолютно независимо друг от друга, какую-то одну объединяющую тему. Темой этого номера, похоже, стали горячо любимые всеми «баги».
Редакторы подвели итоги конкурса, объявленного в третьем выпуске журнала, и рассказали про баги, сделанные конкурсантами.
Максим Трескин описал средства для борьбы с багами, которыми по праву гордится платформа Erlang.
Роман Душкин рассказал о том, как работает алгоритм Хиндли - Милнера, и привел пример его практической реализации. Этот алгоритм лежит в основе механизма автоматического вывода типов в Haskell, OCaml, F# и производных языках, и именно благодаря ему значительное количество багов в программах на этих языках вылавливается еще на этапе компиляции.
Коллектив разработчиков из ПРОСОФТ рассказал о том, как они успешно боролись с багами в реализациях микропроцессоров с помощью средств, предоставляемых языком Haskell.
Всеволод Дёмкин и Александр Манзюк написали статью, которая освещает распространенные баги в восприятии Lisp.
Дмитрий Попов описал интересный способ построения библиотеки комбинаторов синтаксического анализа. Чем больше хороших и быстрых инструментов синтаксического анализа будет доступно программистам - тем лучше, ведь как показал конкурс, большая часть конкурсантов решила сделать синтаксический анализатор входных файлов самостоятельно, и практически все допустили при этом досадные баги.
А Максим Моисеев, Давид Сорокин и Евгений Лазин сделали замечательное введение в F# - теперь любой желающий может изучить новый язык программирования, начать писать на нем программы и познакомиться таким образом с новыми, свойственными только этому языку, багами.
Каждая статья снабжена своей собственной записью в сообществе fprog, чтобы можно было обсуждать их независимо.
- Результаты конкурса ПФП-2009. Дмитрий Астапов
- Инструменты интроспекции в Erlang/OTP. Максим Трескин
- Экономия ошибок. С. Зефиров, А. Сафронов, В. Шабанов, Е. Мельников
- Введение в F#. Евгений Лазин, Максим Моисеев, Давид Сорокин
- Лисп - философия разработки. Всеволод Дёмкин, Александр Манзюк
- Оптимизирующие парсер-комбинаторы. Дмитрий Попов
- Модель типизации Хиндли - Милнера и пример её реализации на языке Haskell. Роман Душкин
Также теперь у нас есть баг-трекер - используйте его для регистрации замечаний по поводу журнала, его статей, ошибок в них и так далее.
И не забудьте посетить страницу лучших друзей журнала: http://fprog.ru/donate/.