Информация о пользователе stevejobs
Nick: stevejobs
Полное имя: Steve Jobs
ID: 63780
URL: http://olegchir.com
Город: Новосибирск
Дата регистрации:
Последнее посещение:
Статус: ★★★☆☆
Избранные теги:
android, arch, archlinux, aur, big brother, clojure, common lisp, erlang, erlyvideo, ffmpeg, gentoo, gentoo-based, gentoo-sources, gentoo-way, grails, groovy, java, jvm, lisp, maxcom, mjpeg, ndk, ocaml, pacman, playframework, qulinxao, red5, scala, sql, streaming, streaming video, video, wowza, археология лора, паленый мед, параноиков тред, паранойа, паранойя, паранояПолное имя: Steve Jobs
ID: 63780
URL: http://olegchir.com
Город: Новосибирск
Дата регистрации:
Последнее посещение:
Статус: ★★★☆☆
Я пробовал самостоятельно выучить теорию категорий, но не понял, почему при построении категории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно Hilb, где объекты — конечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить.
ФИО: Чирухин Олег Владимирович
website: olegchir.com
email: hedin.pr@gmail.com
habrahabr: https://habrahabr.ru/users/olegchir/topics
facebook: https://www.facebook.com/olegchir
linkedin: http://ru.linkedin.com/in/olegchir
telephone: +79137734714
Статистика
Первая созданная тема:Последняя созданная тема:
Первый комментарий:
Последний комментарий:
Число комментариев: 35309