illumium.org

Казалось бы, мы уже окончательно пережевали эту тему в прошлый раз. Но оказывается, как всегда, мы всё сделали не правильно… Ну ладно, не будем отчаиваться, мы не совсем всё сделали не правильно. Не правильно мы сделали только в одной части, а именно, в части объявления новых операторов.

Нет, конечно, возможность объявлять хитрые специфические операторы — одна из полезнейших возможностей Haskell, и нет ничего плохого в том, чтобы так поступать. Плохо другое, объявив операторы &&@ и ||@, мы по сути продублировали функциональность. Булеву алгебру не мы изобрели, стандартные операторы && и || давно существуют и делают понятные вещи. Так зачем же снова изобретать велосипед, когда правильнее было бы адаптировать то, что уже есть.

Моё мнемоническое мышление чуть было не разбилось вдребезги, столкнувшись с литературой по Haskell, написанной, как водится, математиками для математиков. Погрузившись в облако висящих в воздухе абстракций, я тщетно пытался выскрести из них хоть какую-то практическую пользу. Но всё это время меня не покидало ощущение, что причина тщетности моих попыток вовсе не в сложности системы функционального программирования как таковой и не в сложности конкретной реализации её в Haskell, а в том, что я пытаюсь читать книги на языке, которым я не владею в достаточной для понимания мере. Абстрактный язык теории категорий встал между мной и Haskell. Я несколько раз бросал вдумчивое чтение, и несколько раз возвращался к нему снова, пока всё не бросил и не взялся за изучение кода. Конкретные примеры выглядели куда понятнее голой теории и постепенно понимание стало приходить. Изящность дизайна этого языка развернулась передо мной, и я «достиг просветления» ©®™.