А изоморфизм Карри-Ховарда-Ламбека тоже не нужен?
Положительно, господа, чего не хватишься -ничего вам не нужно !
Ведь без теории категорий это все не изучить.

Здравствуйте, Аноним, Вы писали:

А>Положительно, господа, чего не хватишься -ничего вам не нужно !

Да нужно, нужно.

Я вот понял, что вадлеровские халявные теоремы — действительно халявные, после того как стрелочки научился рисовать

Здравствуйте, Трурль, Вы писали:

К>>А собственно, Maybe и List — не монады, что ли?
Т>Монады. Но ведь первокласники не изучают полугруппы, а в пятом классе как-то обходятся без колец и полей.

Кто не изучает, а кто и изучает Моя мама — преподаватель в институте, например, приходила к нам в 2-3 класс и рассказывала о Началах математики — естественно, на пальцах, но именно о полугруппах и прочем

И потом, уважайте Хаскель: его авторы и так уже сделали шаг по конкретизации, выкинув из Гофера универсальные comprehensions и ++ над монадами. (А зря!!!)

Здравствуйте, Quintanar, Вы писали:

Q>Подмена причины и следствия. List Compr. и монады не связаны жестко друг с другом. LC можно реализовать и без монад (на макросах, например). Монады нужны в первую очередь ради ввода-вывода.

Для ввода-вывода нужны не монады, а последовательное выполнение. А как именно сделать — на продолжениях функций, на уникальных типах, на монадах — тут возможны варианты.
Можно было вообще ввести модификатор типа "volatile", операции над которым всегда строго последовательны. Т.е. прибить на уровне языка. (В принципе, это та же монада IO, но не обращаясь к её монадной сути).