Обсуждение:Clean
Последнее сообщение: 9 лет назад от Arachnelis в теме «первоначальный текст»
↓
Пожалуйста, добавляйте новые темы снизу
Архив обсуждений:
|
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
первоначальный текст
правитьПервоначальный текст этой статьи основан на материалах моей книги по функциональному программированию «Функциональное программирование на языке 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)