Найти в Дзене
Вокруг Haskell

Вокруг Haskell

Статьи и заметки о программировании с математическим уклоном
подборка · 4 материала
3294 читали · 1 год назад
Почему я отказался от git и чем его заменил
Контроль версий нужен не только программистам. Написание книг, образовательных курсов, отчётов и статей, совместная работа над документами, всё это порождает многочисленные папки и документы вида Диплом, Диплом2, Диплом (3), Диплом (нов), Диплом-испр янв, Диплом++ и т. п. Для наведения порядка или совместной работы над проектами я долгое время пользовался системой git, которая на сегодняшний день стала де-факто стандартной и самой распространённой системой контроля версий. Мой первый репозиторий...
488 читали · 1 год назад
Что ты такое? Про типы данных в программировании
Почему среди программистов на Haskell бытует легенда, что если программа компилируется, то она верна? Почему мало смысла в споре между приверженцами статической и динамической типизации? Как превратить тип функции в теорему, а программу — в еë доказательство? Об этом и многом другом мы поговорим в мини-серии статей, посвящённой теории типов. Зачем? Когда речь заходит о типах и типизации в программировании, то в ход идут самые разные аналогии. Кто во что горазд! Типы сравнивают с наклейками на...
827 читали · 1 год назад
Haskell — язык для ленивых разговоров о бесконечности
А ещё это язык из которого в Lisp сбежали почти все скобки. Эта заметка о необычном, но очень интересном языке программирования, который я нежно люблю и использую на протяжении десятка лет. Он не самый новый, не самый модный, и даже не самый странный из языков на котором люди сообщают компьютеру и друг другу свои мысли и пожелания, однако репутацию он себе заработал своеобразную. Чего только стоит неофициальный и шуточный девиз языка: "Избегай популярности любой ценой!". Так что иногда Haskell можно...
682 читали · 1 год назад
На чëм пишет Енот-математик?
То и дело в комментариях возникает вопрос: в какой программе автор генерирует картинки, иллюстрирующие статьи? Я решил поделиться своим подходом к организации рабочего процесса, помогающим мне писать книги, статьи и получать при этом удовольствие. * * * Когда я преподавал в школе математику, то своим ученикам я рано или поздно задавал вопрос: зачем вы в школе учите родную речь? Сначала идут стандартные ответы: Наводящие вопросы (говорить мы и так умеем, а зачем писать без ошибок, если и так всё...