bezdna.su — лучшие цитаты, анекдоты и приколы из бездны!



[ + 22 - ]
 31.12.2012
С ЛОРа:
вопрос с тегом Haskell:
Почему при построении категории, где объекты - типы данных, а морфизмы - функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно Hilb, где где объекты - конечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы - линейные операторы), но не декартова, каковой является Set?

ответ:
Это завело меня в тупик, и я начал пить.
Оригинал цитаты находится на сайте: http://bash.im
Eng


Оставить комментарий:
[Регистрация]

Лучшие цитаты, лучшие анекдоты, лучшие приколы