Anton Trunov

куда еще больше?)

про Coq известно, что это Coq: The world’s best macro assembler? http://nickbenton.name/coqasm.pdf

Раз пошло такое дело, то и я вопрос задам 🙂 Рецензировал я тут давеча Ready, Set, Verify! — Applying hs-to-coq to real-world Haskell code https://arxiv.org/pdf/1803.06960.pdf ...

А в чем сейчас модно делать презентации по Хаскелю? Чтоб стильно и молодёжно. (Что-то более модное, чем reveal.js интересует)

Всем доброго утра/дня! А подскажете как называется вот такая функция в теории категорий? fork :: (x -> a) -> (x -> b) -> x -> (a, b) fork f g = \x -> (f x, g x) (или с этим лу...

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

А Haskell for Mac здесь никто не пробовал? Это действительно IDE, как их сайт утверждает?

демон, не демон, а драйвер пробовали писать: http://metasepi.org/doc/metasepi-icfp2014.pdf кто знаком с пейпером: можете прокомментировать это? (я только абстракт читал)

Уплощение здесь понимается как потеря существенной информации?

может SPC spacemacs/force-init-spacemacs-env поможет?

А ты на теорчасть или на практическую подаёшь?

А это случайно не Geometric Numerical Integration?

А оповещения для IRC там есть? (макось интересует)