LINUX.ORG.RU

Сообщения pitekantrop

 

Вышел GHC 7.4.1

Новости — Open Source
Группа Open Source

Вышел 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.

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

 , ,

pitekantrop ()

[Clojure] Кодогенерация

Форум — Development

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

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

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

pitekantrop ()

[Java][Generics]Как правильно описать ковариантность?

Форум — Development

Пытаюсь сделать библиотечку парсер комбинаторов для того, чтобы парсить 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> {
...
    }
}

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

pitekantrop ()

[SSD] Crucial M4, Linux, TRIM

Форум — Linux-hardware

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

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

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

pitekantrop ()

dd-wrt: не работает dns с dhcp

Форум — Admin

Прошил сегодня 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.

pitekantrop ()

Спамеры на моём ЛОРе

Форум — Linux-org-ru
pitekantrop ()

Хэширование для быстрого поиска одинаковых файлов

Форум — Development

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

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

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

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

pitekantrop ()

Full-text search

Форум — Development

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

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

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

pitekantrop ()

[java][build][чертов maven]Есть ли альтернатива?

Форум — Development

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

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

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

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

pitekantrop ()

Мне одному кажется, что это — сплетни и оффтопик?

Форум — Linux-org-ru

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

pitekantrop ()

ICFP Contest 2009

Форум — Development

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

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

pitekantrop ()

На газете.ру наехали на Линукс

Форум — Talks
pitekantrop ()

Вышел Thunderbird 0.9

Новости — Mozilla
Группа Mozilla

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

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

>>> Качаем!

pitekantrop ()

Вышел J2SE 5.0 «Tiger»

Новости — Java
Группа Java

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...

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

pitekantrop ()

Вышел календарь Sunbird 0.2

Новости — Mozilla
Группа Mozilla

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

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

pitekantrop ()

Ошибка: Вы не можете добавлять комментарии в эту тему

Форум — Linux-org-ru

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

pitekantrop ()

Вышла Mozilla 1.5 Beta

Новости — Mozilla
Группа Mozilla

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

>>> Release Notes

pitekantrop ()

Вышло ядро 2.4.22-pre3

Новости — Ядро Linux
Группа Ядро Linux
pitekantrop ()

RSS подписка на новые темы