Dmitry Krylov

Извините, вопрос не по редакторам... А вот последний cabal требует, чтобы в Library были выписаны все модули. Ну и stack этот варнинг тоже выписывает: Warning: The following m...

Вопросы по Зурихак онтопиковые? Если нет, сносите мой вопрос :) Если да, тогда расскажите, а что там интересного и полезного? Есть ли смысл ехать среднякам по Haskell'ю? Может...

Подскажите, а как использовать в Servant'е bracket из Control.Monad.Catch? Точнее, внутри монады ServantM. Надо, чтобы сервантовский Handler обладал MonadMask, а он не обладае...

А подскажите, есть ли готовые библиотеки для расширяемых массивов, типа std::deck из C++ (состоит из списка массивов). Так, чтобы можно было с одного из концов добавлять, но н...

А подскажите, почему такой код компилится? data VType = VA | VB deriving Generic data VX (ty :: VType) alg a = VX { height :: Int, time :: Int } deriving Generic .... -- ...

А вот если у меня есть vs :: TVar (Set a), то как лучше всего подождать, когда в этой переменной vs появится какое-то значение? И тут же получить его. Сейчас на слипах делаю: ...

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

А как в Vector сделать атомарное инкрементирование? succ справится? Компилятор сделает его атомарным?

А подскажите, чем быстрее всего в файл дописывать числа? Надо записать одно 16-и битовое число и два 64-х битовых. Сейчас делаю через ByteStringBuilder: int16Host a <> int64Ho...

Больше про доказательства теорем и конструирование программ по доказательствам, но конкретных вопросов пока нет, хочется посмотреть, что в последние лет 10 сделано, обзоры поч...

Если система ттюринг-полная, то на ней можно смоделировать присваивание ячейке и проверку ячейки на значение, так? Ну так пусть в начале работы этой Штуки будет создана ячейка...

А код, где у тебя ffi можешь показать? Возможно, проще будет сделать промежуточный c++-файл, который встраивается в hs, и который вызывает C-функции. Ещё можно посмотреть пак...

А есть смысл от Hyperthreading на AMD-шных процессорах? Я проверил где-то три своих проекта, если распараллеливать их на количество ядер, то это оказывается лучше, чем распрал...

Так что, вы стараетесь не давать времени для сети пассивного режима работы мозга? Надо забивать каждую минуту?

Что странного? Есть набор объектов, обрабатываемых в разных потоках. Нужны два счётчика: общее количество и количество "плохих" объектов. В отдельном, не сильно загруженом пот...

А вот если у меня есть функция: f :: BigStruct -> IO (), и я внутри там делаю вычисление: f bigObj = void $ evaluate $ force bigObj, то компилятор же не догадается удалить выз...

А подскажите, есть у ghc какая-нибудь опция, чтобы он завершал работу после первой же найденной ошибки, а не выводил простыню всех ошибок?

@A64m_qb0 А вы, случаем, не можете посоветовать, что обзорного почитать по последним достижениям в доказательствах теорем за последние лет 10?

А можно ли конечным набором тестов доказать отсутствие тех проблем, которые находятся на этапе компиляции (компилятором с поддержкой типов)?

Интересно, а Роман Душкин (который написал несколько странных книг на заре вхождения Haskell в Русь) в каком-нибудь чате присутствует?