Широко известно классическое индуктивное объявление натуральных чисел: ноль — натуральное число, и число следующее за натуральным — натуральное. Простейший способ кодирования таких чисел при помощи лямбда-исчисления — метод Чёрча, не имеющий, как кажется, прямого отношения к индуктивному типу.…
Попытка cделать описание лямбда-исчисления сразу с реализацией кода на языке программирования Haskell.…
С 30 апреля по 4 мая проходила моя любимая ежегодная конференция PEGS Boston. На протяжении 14 лет в дизайне логотипа и всех сопутствующих материалов этой конференции используется изображение одного и того же белка, и вот уже 13 лет подряд организаторы конференции задают вопрос: что это за белок?…
Выступил на зимней школе Future Biotech про методы работы с малыми молекулами. Так как велась прямая трансляция, можно сразу выложить видео. Слайды можно посмотреть и скачать на F1000.…
Потребовалось тут для проверки одной идеи быстро сделать Байесовскую классификацию, а тащить ничего большого из hackage не хотелось. Если у кого-то будет схожая ситуация, ниже код.…
Знаете ли вы, что произойдет, если поинтересоваться у Haskell минимальным значением кортежа из двух элементов?…