Меню
Главная
Случайная статья
Настройки
|
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями.
Содержание
первоначальный текст
Первоначальный текст этой статьи основан на материалах моей книги по функциональному программированию «Функциональное программирование на языке Haskell». Настоящим разрешаю использование первоначального текста на условиях GNU FDL. Dark Magus 04:40, 28 марта 2006 (UTC)[ответить]
- А в Вашей книге нет ничего о терминах:
* унифицированная подстановка
* типы высших порядков
* синонимы типов
* графическая редукция,
- которые тоже можно было бы добавить в википедию? — Эта реплика добавлена участником Igorchubin (о • в) 05:26, 28 марта 2006 (UTC)[ответить]
- Есть, конечно же :). Постепенно и добавлю... Dark Magus 05:35, 28 марта 2006 (UTC)[ответить]
- Я вот думаю, наверное, нужно сделать ссылками и абстрактные и алгебраические типы данных? — Эта реплика добавлена участником Igorchubin (о • в) 07:18, 28 марта 2006 (UTC)[ответить]
- Можно... Вы бы подписывались, что ли (автоматическая подпись: ~~~~)... Dark Magus 08:03, 28 марта 2006 (UTC)[ответить]
- Спасибо, я знаю, только забываю всё время. Igor Chubin 10:22, 28 марта 2006 (UTC)[ответить]
только не графическая редукция, а редукция графов :)) Bulat — Эта реплика добавлена с IP 84.18.124.238 (о) 11:47, 17 марта 2007 (UTC)[ответить]
- А тогда ещё, видимо, "типы высших порядков" - это конструктор типов плюс типы высших родов плюс параметрический полиморфизм#полиморфизм первого класса? (последнего ещё нет, скоро сделаю) А что про синонимы типов сказать можно? Даже английской такой статьи нет. Arachnelis (обс) 17:04, 30 сентября 2014 (UTC)[ответить]
|
|