Вышел GHC 7.4.1 – новый релиз компилятора функционального языка программирования Haskell. Это первый релиз стабильной ветки 7.4, которая станет основой для будущих версий платформы Haskell. Предыдущая ветка 7.2 была скорее полигоном для новых идей.

Основные изменения по сравнению с веткой 7.0:

• Класс типов Num более не наследуется от классов Eq и Show. Как следствие, многие функции получили явные ограничения Eq и Show.
• Новая возможность Safe Haskell (-XSafe, -XTrustworthy, -XUnsafe). Позволяет ввести более строгую проверку безопасности типов во время компиляции, а также служит для компиляции и выполнения «ненадёжного» кода.
• Новая возможность полиморфизм видов (kind polymorhphism) (-XPolyKinds).
• Новая возможность виды-ограничения (constraint kinds) (-XConstraintKinds). Любой тип вида Constraint может использоваться как ограничение типа.
• Теперь можно задавать любые объявления в строке ввода ghci.
• Реализации профилирования и hpc (проверки покрытия кода программ) были объединены и капитально переработаны.
• Теперь можно писать плагины для компилятора.
• Поддержка DPH (Data Paralell Haskell) значительно улучшена.
• Предварительная поддержка регистровой (registerised) компиляции для платформы ARM, использующей LLVM.

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

Хочу попробовать использовать Clojure для компиляции выражений в байт-код JVM. В связи с этим интересуют вопросы:

Можно ли в результате получить jar, не зависящий от кложуровских либ? Если нет, то какова толщина необходимых рантайм-библиотек?

Как в clojure обстоят дела с параметрическим полиморфизмом для простых арифметических операций? А именно: могу ли я определить функцию, например a * b + c, а потом использовать её для примитивных типов и BigDecimal? Конкретный тип известен на этапе компиляции.

Пытаюсь сделать библиотечку парсер комбинаторов для того, чтобы парсить JSON.

    public static <R, T> Parser<R, T> oneOf(final Parser<? extends R, T>... parsers) {
        return new Parser<R, T>() {
            @Override
            public ParseResult<R> parse(TokenStream<T> tokenStream) {
                for (Parser<? extends R, T> parser : parsers) {
                    final TokenStream.Marker marker = tokenStream.newMarker();
                    final ParseResult<? extends R> result = parser.parse(tokenStream);
                    if (result.isSuccessful()) {
                        marker.forget();
                        return result; //incompatible types
                                       // found   : ch.abacus.search.client.remote.query.parser.ParseResult<capture#204 of ? extends R>
                                       // required: ch.abacus.search.client.remote.query.parser.ParseResult<R>
                    } else {
                        marker.back();
                    }
                }
                return new ParseResult.Failure<R>("Expected one of");
            }                                                             
        };
    }

public interface Parser<R, T> {
    ParseResult<R> parse(TokenStream<T> tokenStream);
}

public interface ParseResult<R> {
    boolean isSuccessful();

    R getResult();

    String getErrorMessage();

    static class Success<R> implements ParseResult<R> {
...
    }

    static class Failure<R> implements ParseResult<R> {
...
    }
}

Как бы сделать, чтоб нормально тайпчекалось?

Комрады, у кого есть ext4 на Crucial M4, посмотрите, пожалуйста, работает ли TRIM.

А то почти собрался брать, но наткнулся на это: https://bugzilla.kernel.org/show_bug.cgi?id=36722

Может, конечно, там всё дело в контролере.

Прошил сегодня dd-wrt на роутер Buffalo WZR-HP-G300NH в надежде настроить L2TP соединение к провайдеру.

Настроить через web-интерфейс не получилось. Подключился к роутеру через ssh и начал разбираться, почему.

Выяснилось, что железяка не ресолвит tp.beeline.ua - L2TP сервер провайдера. Посмотрел /etc/resolv.conf:

search beeline.ua
nameserver 192.168.11.1

192.168.11.1 - это внутренний ip роутера.

Попробовал сконфигурировать через web-интерфейс просто dhcp (без L2TP) и даже статический IP со статическими DNS - всё равно в resolv.conf находится только nameserver 192.168.11.1, и DNS не работает.

Подключаюсь напрямую ноутбуком: всё нормально - по dhcp получаю
nameserver 10.10.13.18
nameserver 10.10.13.2

Если прописать это в resolv.conf роутера, то DNS работает... до первой перезагрузки.

Гугление ничего не дало. Прошивка V24-SP2 build 16783 с сайта Buffalo.

SlavaB постит спам.

Задача: нужно быстро найти среди довольно большого количества файлов файлы с одинаковым содержимым.

Предполагаемое решение: посчитать хэш для файлов с одинаковым размером -> сравнит -> профит.

Вопрос: какой алгоритм хэширования лучше всего подходит для данной задачи? Насколько велика вероятность коллизий при этом? (Побайтовое контрольное сравнение делать не хочется.)

Свои мысли: использование MD5 или более криптостойких алгоритмов счимтаю пустой тратой вычислительных ресурсов, т.к. защита от злоумышленников, пытающихся устраивать коллизии специально, не нужна. Пока была мысль использовать CRC-64.

Требуется очень быстрый полнотекстовый поиск с разнообразными наворотами по очень большому количеству постоянно меняющихся данных. Target platform — Java. Lucene сильно втыкает. Заказчик согласен на разработку своего решения.

Кто чего хорошего может посоветовать почитать по теме?

Если что, в гугле и citeseerx разбанили.

Есть ли вменяемые билд-системы, чтоб можно было исходники кинуть в определённое место — и сразу работало? В идеале — набор шаблонов для анта, т.к. используются инструменты, существующие в виде плагинов анта (и мавена тоже).

Претензия к мавену — идея хорошая, но реализация — какашка. Глючен, бардак с зависимостями: написал простой билд, он мне стянул кучу говна, включая 7(!!!) версий старых версий мавена.

Сейчас смотрю на ivy. Кто-нибудь использовал?

З.Ы. Билд-системы на скриптах не предлагать. Струтура проекта по своей сути декларативна, а не императивна.

Запарили скриншоты с ЛОР слухи о девайсах с андроидом.

Кто участвовал? Отчёты есть? Особенно интересуют отчёты набравших 4000+ баллов.

Ну вот наш: http://vkorenev.livejournal.com/13232.html

http://www.gazeta.ru/techzone/2009/01/19_e_2926239.shtml

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

Release Notes: http://www.mozilla.org/products/thund...

>>> Качаем!

Tiger AKA Java 2 Platform Standard Edition 5.0 доступен для загрузки.
Вот интервью Graham Hamilton по этому поводу: http://java.sun.com/developer/technic...
Release Notes: http://java.sun.com/j2se/1.5.0/relnot...

>>> Загрузить

Mozilla Calendar Project выпустил версию 0.2 календаря Sunbird. Доступны для загрузки билды для Linux, MacOS X и Win32.

>>> Страница проекта

Хочу ответить на сообщение, а мне не дают (см сабж) :( И что это такое: "Ограничение на отправку комментариев: *"?

Эта бета включает проверку правописания для почты, новостей и HTML-редактора, а также улучшения в Chatzilla.

>>> Release Notes

http://www.kernel.org/pub/linux/kerne...

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