Вышел свежий, 7-й номер журнала «Практика функционального программирования». В новом номере вы можете прочитать следующие статьи:

• «Язык РЕФАЛ — взгляд со стороны». Бойко Банчев расскажет о сущности, истории и современном состоянии языка РЕФАЛ — детища Валентина Фёдоровича Турчина; языке незаслуженно подзабытом, но на десятилетия опередившем своё время и пустившем корни во множество современных ЯП (как, например, Mathematica).
• «Circumflex — веб-фреймворк на Scala comme il faut». Александр Темерев даст урок использования этого «обезжиренного» и гибкого веб-фреймворка, написанного на Scala российской командой во главе с Борисом Окунским.
• «Разработка алгоритма обнаружения движения в среде программирования Mathematica». Вадим Залива расскажет об опыте прототипирования такого алгоритма при разработке iPhone-приложения iSentry. Хотя Mathematica и не является в полном смысле этого слова функциональным языком программирования, но программирование в этой среде задействует множество не очень распространенных пока в мейнстриме, но очень важных и заслуживающих внимание средств: интерактивный интерпретатор, гомоиконность (единство кода и данных), сопоставление с образцами, wholemeal programming (оперирование целыми структурами данных, а не их частями), акцент на «чистое» программирование, dataflow programming (Manipulate) и т.п.
• «Как написать LDAP-сервер на Erlang» и «Как написать LDAP-сервер на Си». Максим Сохацкий и Олег Смирнов обменяются любезностями со Львом Валкиным: Максим и Олег похвалят Erlang за то, что на нем можно за 20 минут написать LDAP-сервер, а Лев докажет, что дело тут вовсе не в Erlang.
• «Продолжения в практике». Алексей Вознюк (человек, написавший на LISP самую быструю программу к конкурсу в ПФП №3) расскажет об использовании продолжений для упрятывания асинхронности кода за обыкновенным «последовательным» синтаксисом. Эта тема особенно актуальна в контексте взрывного роста Веба и сетевых сервисов, но интересна и потому, что открывает целый пласт неожиданных структур управления. Рекомендуем перед прочтением ознакомиться с недавно опубликованным в «Библиотечке ПФП» переводом статьи «Паттерны использования call-with-current-continuation».
• «Суперкомпиляция: идеи и методы». Илья Ключников, занимающийся суперкомпиляцией в Институте прикладной математики им. М. В. Келдыша, расскажет о суперкомпиляции (кстати, изобретенной также В. Ф. Турчиным в контексте языка РЕФАЛ), построив поразительно компактный и понятный суперкомпилятор простого языка, и покажет, что она применима не только для удивительно мощной оптимизации многих классов программ, но имеет и другие неожиданные применения.

Кроме этого, журнал доступен и в печатном виде (200р, доступны и все предыдущие номера, комплекты еще дешевле, доставка куда угодно, в Москве можно самовывозом).

>>> Обсуждение свежего номера

Проект Portable C Compiler ставит своей целью создание альтернативы компилятору GCC для языка C под лицензией BSD. Проект берёт начало от оригинального компилятора C, использовавшегося в UNIX в семидесятые - восьмидесятые годы прошлого века. Компилятор отличают:

• полная поддержка стандарта C99;
• малый размер (640 КБ в архиве) и простой код;
• быстрая компиляция.

Заявлена работа в ОС Linux, *BSD, Windows, Mac OS X, Solaris. Поддерживаются платформы i386 и amd64, другие платформы — ограниченно.

Генерируемый код, в большинстве случаев, сравним по эффективности с кодом, производимым GCC. На данный момент компилятор собирает FreeBSD, NetBSD и ядро OpenBSD.

Некоммерческая огранизация BSD Fund, спонсор проекта, объявляет конкурс по успешной сборке ядра Linux при помощи PCC. Также в их планах фронтенды для языков Fortran (почти готов) и C++.

Архитектура PCC (на английском)

Объявление о релизе

>>> Домашняя страница

Концерн Росавиакосмос выложил в открытый доступ код программы, под управлением которой 15 ноября 1988 года совершил полет и успешную посадку советский космический корабль многоразового использования «Буран» (изделие 11Ф351К1).

Программное обеспечение системы управления космического корабля «Буран» управляло не только полетом, но и всеми бортовыми системами корабля. Система управления создана в Научно-производственном центре автоматики и приборостроения имени Н. А. Пилюгина. Головным мозгом Бурана служил бортовой вычислительный комплекс МК-240, для которого Пилюгинский центр создал язык реального времени ПРОЛ2, используемый для разработки бортовых комплексных программ, и проблемно-ориентированный язык ДИПОЛЬ для разработки программ наземных испытаний.

Система управления «Вымпел» разработки НПО им.Лавочкина базировалась на четырех ЭВМ, работающих синхронно по одинаковым программам. В случае сбоя одной машины происходило ее автоматическое отключение, а три оставшихся продолжали работать. Если происходил еще один отказ, управление полетом возлагалось на оставшуюся пару машин. В случае поступления различных команд от двух оставшихся машин наудачу отключалась одна ЭВМ, и с вероятностью 50% система продолжала работать. Далее, в случае выхода космического корабля за пределы допустимой области приведения предпосадочного маневрирования, система делала предположение, что ошибочно был отключен рабочий модуль, и переключала управление на него.

Открытый код бортового вычислительного комплекса состоит из листинга на языке «ПРОЛ2», который следует подвергнуть трансляции через среду «ДИПОЛЬ», после чего сэмулировать выполнение на языке моделирования «ЛАКС», который использует в качестве устройства управления специальный язык описания объектов «ФЛОКС».

В настоящий момент в общественный доступ выставлены только исходники на языке ПРОЛ2. Росавиакосмос выразил надежду, что остальные инструменты Open Source сообщество сможет без труда реализовать с использованием открытых компиляторов компиляторов и лексических анализаторов, таких как, yacc и bison.

К разработке уже подключилось Нижнетагильское LUG, участники которого выразили желание написать эмулятор «Бурана» к началу нового учебного года. Компания «Линкусцентр» подтвердила, что готова включить эмулятор в состав дистрибутива «Школьный ALT-Linux 5.8.1» (Пятая платформа).

>>> Подробности

Персональный менеджер накопления информации MyTetra обновился до версии 1.28.

Изменения, по сравнению с прошлым крупным релизом 1.25, следующие:

• В системе сборки появилась install-секция
• Сделана русификация
• Текстовые метки стали кликабельными, при клике происходит поиск похожих записей
• Расширена работа с картинками - кумулятивное добавление из файлов, копирование в буфер обмена, редактирование свойств
• Улучшено форматирование в код
• Усилен сброс форматирования (актуально для текстов, вставляемых из браузера)
• Появилось редактирование HTML-исходника
• Новые иконки
• Скрытые возможности (читайте обзор)
• Устранены некритичные баги интерфейса MyTetra и встраиваемого редактора WyEdit

В программе используется только Qt-библиотека, благодаря чему обеспечивается широкая кроссплатформенность. MyTeta v.1.28 доступна для операционных систем Linux, Windows, Mac OS X, MeeGo, а сборка из исходников без лишних телодвижений срабатывает под любой *NIX-операционкой, включая FreeBSD.

Официальная страница MyTetra
Подробный обзор новой версии
Форум поддержки

>>> Подробности

Фирма Jsoftware сделала доступным под лицензией GPL v.3 среду J.

J — функциональный векторный язык программирования, наследник и диалект языка APL. Язык программирования J разработан в начале 1990-х Кеннетом Айверсоном и Роджером Хуэем.

Будем надеяться, что данный шаг послужит формированию сообщества разработчиков этого интересного языка обработки данных.

>>> Страница загрузки исходного кода языка J

Вышла новая версия комплекта для разработки на популярном функциональном языке Haskell — «The Haskell Platform 2011.2». Данная сборка содержит всё необходимое не только для освоения, но и успешной разработки на данном языке.

В комплект включены такие важные компоненты, как:

• GHC 7.0.2 — оптимизирующий компилятор языка Haskell, поддерживающий REPL и содержащий интерактивный отладчик;
• Haddock — генератор документации из аннотированного исходного кода (аналог doxygen);
• Cabal — пакетный менеджер, позволяющий «одной командой» устанавливать различные программы и библиотеки с Hackage;
• Happy, Alex, Parsec — для упрощения написания лексических анализаторов и парсеров;
• библиотеки для работы с OpenGL/GLU/GLUT;
• а также многое другое.

>>> Подробности

На днях вышли новые версии оригинальных компиляторов языков программирования D2 и D1 от коллектива авторов.

Как обычно, внесены как изменения и дополнения в стандартную библиотеку D2, так и многочисленные исправления (это касается обоих компиляторов). Некоторые важные изменения:

• Продолжено улучшение поддержки 64-битных систем Linux, теперь эта поддержка декларируется официально, исправлен ряд ошибок и регрессий, связанных с компиляцией под 64-битную архитектуру.
• В стандартную библиотеку добавлен модуль std.datetime, заменивший собою модули std.date и std.gregorian.
• Добавлена поддержка HTML5.
• Добавлен новый генератор случайных чисел — Xorshift random generator.
• Исправлены 68 ошибок и регрессий в D2, в том числе и очень старых.

deb-пакет уже доступен для загрузки на официальной страницы, rpm-пакет, видимо, будет готов в ближайшее время.

>>> Подробности

Популярный среди разработчиков игр кроссплатформенный физический движок Newton Game Dynamics (NGD) теперь открыт и выпущен под лицензией zlib.

NGD даёт возможность быстрой и надёжной симуляции физического поведения объектов окружающей среды. Движок включает в себя также управление сценой, определение коллизий и реакции на них.

Скачать последнюю стабильную версию теперь можно не только на официальном сайте библиотеки, но и на Google Code. Версия NGD 3.0, находящаяся в стадии разработки, доступна и в SVN.

Движок используется в большом количестве различных проектов. Доступны видеоролики, демонстрирующие его возможности. Движок работает на ОС GNU/Linux, Windows, Mac OS X и iOS.

>>> Новость на официальном сайте проекта

Вышло обновление кроссплатформенного пакета, реализующего поддержку .NET Framework для платформ Unix, Mac OS X и Windows.

Наиболее значимые изменения:

• Поддержка Google Native Client.
• Новый профайлер.
• Новый быстрый стек Socket и Async.
• SGen GC, с повышенным быстродействием.
• Объединены runtime-библиотеки MonoTouch/MonoDroid.
• Cecil/Light.
• Новый бэкенд для компилятора C#; теперь можно использовать любую пользовательскую mscorlib.
• Компилятор VB теперь может собирать профили как 2.0 так и 4.0.
• Поддержка ASP.NET MVC3, Razor.
• Поддержка API для доступа к базам данных WebMatrix.Data.
• Значительные улучшения для Mac OS X.
• Поддержка F# и IronRuby.

С полным списком изменений и исправленных ошибок можно ознакомиться как по контекстным ссылкам выше, так и по прямой ссылке на примечания к релизу.

Исходный код

>>> Сайт проекта

Octave — это язык высокого уровня для численных вычислений, схожий с Matlab.

В новой версии традиционно много изменений:

• Библиотеки BLAS и LAPACK стали обязательны для сборки, в связи с чем куски этих библиотек удалены из исходных текстов Octave. Напротив, библиотека ARPACK включена в состав Octave и теперь не требуется при сборке.
• За счёт расширения возможностей функции lookup, функция ismember была переписана и стала намного более быстрой.
• При получении элементов матриц по индексу внутренняя переменная index_vector кешируется, что устраняет задержки при повторном индексировании.
• Индексирование разреженных матриц также подверглись пересмотру и стало намного быстрее, что отразилось и на других операциях с разреженными матрицами.
• Логические матрицы хранятся и используются более эффективно.
• Ускорены функции sub2ind и ind2sub.
• Встроенные эквиваленты функций plus, times, mtimes, and и or теперь принимают несколько аргументов.
• Добавлена поддержка объекта ftp на основе libcurl.
• Поведение функций ismatrix, issquare и issymmetric изменено и стало более логичным.
• Указатели на функции теперь учитывают то, что функции могут быть перегружены.
• Перегрузка функций для встроенных классов (double, int8, cell и т.д.) теперь совместима с Matlab.
• Можно сравнивать указатели на функции с помощью операторов == и !=.
• Для многомерных массивов улучшена производительность конкатенации.
• Операторы присваивания (+=, -=, *= и /=) в некоторых случаях стали работать более эффективно.
• Исправлено сравнение комплексных чисел с помощью операторов <, >, <= и >=. Теперь оно эквивалентно лексикографическому сравнению пар [abs(z), arg(z)].
• Удалён тип данных list.
• Для команды pkg добавлена опция -forge, которая позволяет скачивать и устанавливать дополнительные пакеты автоматически. Пример: pkg install -forge general
• Множество других оптимизаций.
• Несколько изменений направленных на увеличение совместимости с Matlab'ом.
• Традиционно, новая порция функций объявлена устаревшими, а некоторые — удалены. Также некоторые функции перенесены из дополнительных пакетов в основной код.

Полный список изменений

Дополнительные пакеты

>>> Сайт проекта

Доступна для скачивания новая версия популярного пакета для разработки на scheme-подобном языке Racket.

Самое значительное изменение заключается в полностью переписанной системе GUI. Пользователи Unix/X обратят внимание на это изменение, потому что DrRacket и все программы, использующие Racket GUI, будут использовать темы окружения рабочего стола пользователя для меню, кнопок и других элементов интерфейса.

>>> Подробности

Сегодня один из ведущих инженеров Intel, занимающихся разработкой для Linux, H.J. Lu, сообщил о прогрессе в разработке ответвления архитектуры x86_64 — x32-abi (x32-psABI). Данная архитектура, являясь 64-битной и использующей практически все преимущества x86_64, тем не менее, предлагает 32-битный размер указателей, и, возможно, будет востребованной для устройств и систем не обладающих большими объёмами оперативной памяти.

В настоящее время ведутся работы над:

• портом ядра (Linux) на новую архитектуру (практически готово);
• binutils, добавлена поддержка в версию 2.21.51.0.6;
• GCC (стабилизация);
• Bionic libc.

Следующим этапом должно стать создание порта Glibc.

Проектом занимаются инженеры Intel, SuSE и Codesourcery : H.J. Lu, Milind Girkar, Michael Matz, Jan Hubicka, Andreas Jaeger и Mark Mitchell.

Доступна техническая документация.

Проекту требуется помощь в тестировании и разработке.

>>> Сайт проекта

В списке рассылки uClibc Рич Фелкер (Rich Felker) объявил о первом публичном выпуске musl — новой реализации библиотек общего назначения языка C. Основные отличия от существующих решений:

• В отличие от glibc, musl легче и конструктивно проще. Компиляция musl из исходных кодов на Intel Atom D510 занимает менее 40 секунд. Поддержка локалей ограничена UTF-8, что позволяет применять более прямые подходы и улучшает производительность. stdio также проще, меньше и, во многих случаях, ощутимо быстрее. В терминах big-O большинство используемых операций musl сопоставимы с glibc. При этом все алгоритмы более оптимальны по использованию памяти, в частности, многие операции, потенциально рискующие не завершиться из-за нехватки памяти в glibc, удачно сработают в musl, благодаря её более эффективному распределению O(1).
• В отличие от dietlibc, разработчики не стремятся урезать каждый возможный байт, жертвуя производительностью и корректностью. musl не пытается отвратить вас от использования stdio, тредов, регулярных выражений и т.д., а стремится сделать эти элементы эффективными (размер бинарников, потребление памяти в рантайме и производительность).
• В отличие от uClibc, musl имеет стабильное, хорошо определённое ABI. Особое внимание было уделено тому, чтобы не создавать лишних зависимостей между компонентами библиотеки, таким образом, при статической линковке будет использован только необходимый код.
• В отличие от Google Bioinc (Android libc), musl не жертвует совместимостью со стандартами ради уменьшения размера библиотеки и не основан на старом коде BSD.
• В отличие от всех вышеупомянутых реализаций, musl объединяет все стандартные функции в одну библиотеку (.a или .so), что значительно уменьшает время запуска, количество используемой памяти, упрощает процесс обновления и нивелирует риски несовпадения версий.

На данный момент musl реализует следующие стандарты:

• ISO C99;
• IEEE754;
• POSIX 2008 base;
• большую часть XSI и других из группы POSIX;
• никаких заметных усилий на поддержку устаревших SVID и BSD направлено не было.

Целевая аудитория:

• разработчики встраиваемых систем;
• разработчики легковесных дистрибутивов Linux;
• разработчики rescue disk;
• любой, кто хочет собрать статически слинкованный бинарник для безболезненной установки на любой ОС с ядром Linux;
• любой, чья программа может вызываться десятки или сотни тысяч раз в секунду и ей необходим минимальный оверхэд по времени старта и используемой памяти.

Текущий выпуск работает на платформе x86 с ядром Linux не старее 2.6 (список платформ будет увеличен в следующих релизах).

Полный набор .a имеет размер 160k, а .so — 220k. Подробную сравнительную таблицу возможностей musl и других реализаций можно посмотреть на сайте проекта.

Скачать

>>> Подробности

Нежданно-негаданно к нам подкрался очередной релиз современной, свободной реализации языка программирования Smalltalk — Squeak.

Версия с сакральным номером 4.2 несёт нам:

• значительные улучшения в библиотеке классов и IDE, традиционно обещается прирост производительности;
• подчищенную кодовую базу с улучшенной поддержкой выгрузки ненужных пакетов и шрифтов из системы;
• API для работы со стандартным вводом-выводом;
• улучшенный интерфейс командной строки;
• переработанную и расширенную документацию;
• старый тулкит MVC, воскрешенный для работы на медленных устройствах;
• и многое другое.

Отдельным пунктом следует выделить адаптацию Squeak к работе на новой виртуальной машине — Cog. Cog обеспечивает приблизительно трёхкратный общий прирост производительности за счёт JIT, также ведётся работа над поддержкой системных потоков и неблокирующих внешних вызовов. Разработка новой виртуальной машины финансируется организацией Teleplace, которая предоставляет свой коммерческий вариант системы виртуальных миров Open Cobalt.

Скачать

>>> Официальный анонс

Вышла новая книга серии Библиотека ALT Linux.
Это учебно-методический комплекс «Практикум по алгоритмизации и программированию на Python», который предназначен для начального знакомства с основными алгоритмами и с программированием на языке Python в интегрированных средах разработки (IDE) Geany и Eric. Автор книги Хахаев И.А.

Комплекс состоит из учебного пособия, в котором рассматриваются типовые задачи в рамках базового курса информатики для средней школы (с учётом требований ЕГЭ), алгоритмы их решения и реализация этих алгоритмов на языке Python и методических указаний для учителей, где описываются особенности IDE Geany и IDE Eric, а также причины и особенности обучения программированию на Python. Кроме того, комплекс дополняется примерами программ по каждому разделу учебного пособия (32 файла с примерами вариантов разобранных задач.).

Там, где это возможно, приводится универсальное решение, которое с минимальными исправлениями может быть реализовано на других языках программирования высокого уровня и параллельно даётся решение с использованием специфики языка Python.

Дополнительно в пособии описываются основы моделирования и программирования графики в Python с использованием модуля turtle и кросс-платформенной библиотеки Tkinter.

Приобрести книгу можно в интернет-магазине AltLinux или бесплатно скачать с сайта.

>>> Подробности

Этот релиз подводит черту под развитием GTK 2, разработчики окончательно переключаются на активное развитие GTK+ 3, а в GTK+ 2 будут лишь исправляться ошибки. Многие функции признаны устаревшими, а так же разработчики предусмотрели API для помощи в переходе на GTK+ 3. Из других изменений:

• виджет GtkComboBoxText переписан заново и предоставляет новый API
• Теперь заданиями на печать через службу CUPS могут быть документы PDF
• GtkBuilder(библиотека для динамического построения интерфейса по XML-описанию)поддерживает текстовые теги и кнопки меню

>>> Подробности

После 7 лет работы Австралийский исследовательский центр NICTA и организация Open Kernel Lab представляют новую систему для обеспечения гарантированного уровня безопасности и отказоустойчивости. С точки зрения разработчиков это стало возможным благодаря:

• Очень малому размеру микроядра-гипервизора и минималистичности функций. Как уже было сказано это микроядро-гипервизор seL4, которое в свою очередь базируется на открытом ядре OKL4
• Математической проверки кода на устойчивость к сбоям
• Жесткой изоляции процессов друг от друга и от ядра

Разработанная система позиционируется как решение для организации высокобезопасных систем для жизненно важных организаций таких как:

• Медицинские центры(разработчики предлагают ее использовать как ОС для медоборудования )
• Энергетические компании
• Авиационные и другие транспортные компании

Кроме того разработчики считают что в перспективе эта система может послужить хорошей основой для систем электронной коммерции.
Список поддерживаемых архитектур:

• ARM11
• x86
• Запуск в качестве гостя в Linux окружении

Здесь так же следует заметить, что при математическом доказательстве речь идет о проверке того, что система полностью удовлетворяет исходным спецификациям разработчика,следовательно, все равно сохраняются опасности от изначально неправильного проектирования
Исходные тексты, документация доступны для свободного использования, но в некоммерческих целях
Анонс маркетологов
Технические детали

>>> Подробности

У Марка Шаттлворта есть огромные планы по поводу Ubuntu. Он позиционирует свою систему как важный полигон для разработчиков приложений. Canonical уже имеют Ubuntu Software Center, поддерживающий платные приложения для Ubuntu 10.10.
В настоящее время портал в состоянии разработки, однако вы уже можете посмотреть на некоторые его страницы. Они знакомят потенциальных разработчиков с Ubuntu. Он будет содержать в себе возможности для создания, редактирования кода, графический интерфейс редактирования, запуска и отладки, а также упаковки программ, и обмен через Launchpad.net.
Портал также включает и другие разделы, такие как разработка, сотрудничество, публикации, номер, поддержка и эксплуатация.

>>> Подробности

Аналитическая компания TIOBE Software опубликовала итоги своего исследования популярности языков программирования за 2010 год.

Наибольшую динамику продемонстрировали Python, Objective-C и PHP. Первый увеличил свою долю на 1.81%, перепрыгнув с 7-го места в 2009 году на 5-е. Предположительно, объясняется это тем, что Python продолжает завоевывать прочные позиции как язык для написания системных скриптов и настольного ПО. Objective-C продемонстрировал прирост на 1.63%, поднявшись с 12-го места на 8-е; это связывают с растущей популярностью устройств, работающих под управлением Apple iOS. Наконец, PHP потерял 2.24%, опустившись на 4-е место с 3-го. Это, возможно, обусловлено с вытеснением PHP из ниши веб-программирования более современными языками и платформами. Теряют свои позиции VisualBasic, JavaScript, Perl и Delphi.

Сотрудники TIOBE подчеркивают, что составляемый ими рейтинг не основывается на количестве строк кода, написанных на каком-либо языке в 2010 году, и не претендует на то, чтобы служить показателем качества, мощи или распространенности языка программирования. Рейтинг TIOBE основывается на статистике поисковых запросов, предоставляемых Google, Wikipedia, Yahoo и подобными службами. Вследствие этого, правильнее рассматривать рейтинг TIOBE как некую характеристику трендов и моды в выборе языков программирования. Так, например, завидную статистику продемонстрировал Lisp, прибавив 0.53% и совершив скачок с 18-го места на 13-е.

Языком года был признан Python, благодаря исключительной динамике и успешному завоеванию новых ниш. Первые три строчки рейтинга вот уже несколько лет стабильно занимают Java, C и C++, демонстрируя нулевую или невысокую положительную динамику.

>>> Подробности

Выложил в открытый доступ четыре статьи цикла Анализ данных с R (III). Цикл статей был опубликован в LXF с февраля по май 2010 года.

Основной идеей цикла было показать возможности R на реальных примерах. Поставщиком и основным автором примеров выступил Сергей Петров. Анализ кадровой политики ордена иезуитов предоставил Владимир Левшук.

На примерах показаны бутстреп-анализ, построение простого GUI-интерфейса, как подходить к «тяжёлым» вычислениям и поиск зависимостей.

Из Википедии: R — язык программирования для статистической обработки данных и работы с графикой, а также свободная программная среда вычислений с открытым исходным кодом в рамках проекта GNU.

Информация по улучшению и советы по развитию всячески приветствуются.

>>> Подробности