Один из сообщников у себя в блоге задает вопрос "уже кто-нибудь усвоил линейную логику в программировании?". Разумеется давно (лет 20 назад) освоили: позволю пару ссылок на Wiki - "Linear types" и "Clean" (Clean если кто не знает - язык очень близкий к Haskell и ...
25-09-2011 — 
ru_lambda
ru_lambda
Свернуть
Любителей Функционального программирования, Теории категорий, Квантовой физики, Топологии и Логики, а также научного знания вообще уведомляю о том, что сегодня закончен эпохальный перевод фундаментальной статьи Джона Баеза и Майка Стэя ...
20-08-2010 — ru_lambda
ru_lambda
Свернуть
|
|
|
