Обсуждение:Clean
Перейти к навигации
Перейти к поиску
↓
Пожалуйста, добавляйте новые темы снизу
Архив обсуждений:
|
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
первоначальный текст[править код]
Первоначальный текст этой статьи основан на материалах моей книги по функциональному программированию «Функциональное программирование на языке 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)
- Можно... Вы бы подписывались, что ли (автоматическая подпись: ~~~~)... Dark Magus 08:03, 28 марта 2006 (UTC)
- Я вот думаю, наверное, нужно сделать ссылками и абстрактные и алгебраические типы данных? — Эта реплика добавлена участником Igorchubin (о • в) 07:18, 28 марта 2006 (UTC)
- Есть, конечно же :). Постепенно и добавлю... Dark Magus 05:35, 28 марта 2006 (UTC)
только не графическая редукция, а редукция графов :)) Bulat — Эта реплика добавлена с IP 84.18.124.238 (о) 11:47, 17 марта 2007 (UTC)
- А тогда ещё, видимо, "типы высших порядков" - это конструктор типов плюс типы высших родов плюс параметрический полиморфизм#полиморфизм первого класса? (последнего ещё нет, скоро сделаю) А что про синонимы типов сказать можно? Даже английской такой статьи нет. Arachnelis (обс) 17:04, 30 сентября 2014 (UTC)