Chapter 2/ Functional Programming in ML / Функциональное программирование в МЛ
Тексты / Научно-техническая литература
Привычным занятием в компьютерных науках является создание инструмента некоторого вида, например, компилятора или пакета управлениями окнами. С другой стороны, в чистой математике мы определяем новые объекты, для проверки – комплексные числа, и демонстрируем их свойства. Цель этой книги – проиллюстрировать связь между двумя доселе широко разделенными отраслями знаний: компьютерным программированием и теорией категорий. Мы начнем в духе креативной игры, программируя некоторые основные конструкции в теории категорий. Мы надеялись, что это будет служить инструментом для расширенного программирования, har-nessing абстракция теории категорий для использования в проектировании программы. Эти надежды не были реализованы до сих пор. Наша работа имеет воспитательное значение как для компьютеров, так ученых и математиков. Теория категорий должна представлять особый интерес для компьютерных ученых, потому что она работает на том же уровне общности как логика и программирование
Оглавление:
| Название | Статус | Активность | Готово | |
|---|---|---|---|---|
| Functional Programming in ML | переводится | > 1 года | 100% (10 / 10) | читать |
Перевод
- Перевод:
- текст с английского на русский
- Создан:
- 29 марта 2014, владелец: elias_mir
- Скачали:
- 6 чел.
- Права доступа:
-
войти все видеть чужие версии все скачивать результат все оценивать перевод все комментировать перевод все переводить все читать блог все комментировать блог все писать в блог все анонсировать модераторы редактировать оригинал модераторы редактировать описание никто управлять группой модераторы Участие в группе нет группы - Готово:
-
100.00% КП = 1.0