Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2007-07-28 01:19:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка:Комплексные Числа - ЗЕМНОЕ ПРИТЯЖЕНИЕ
Entry tags:arxiv.org, math

Towards a Hermeneutic Categorical Mathematics
http://arxiv.org/find/math/1/au:+Rodin_A/0/1/0/all/0/1

Забавные труды про философскую сущность математики
и почему теория множеств неудовлетворительна в качестве
основания, а теория категорий гораздо лучше.
Ничего так.

Автор:
[ фотография | CV | статья в журнале Неприкосновенный Запас ]

Привет



(Читать комментарии) - (Добавить комментарий)


[info]kinneret
2007-07-28 22:35 (ссылка)
Очень интересно, как она применяется в программировании?

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]yushi
2007-07-28 23:48 (ссылка)
Вот так, например:
http://www.cs.man.ac.uk/~david/categories/book/book.pdf
http://en.wikibooks.org/wiki/Haskell/Category_theory
http://scienceblogs.com/goodmath/2006/07/monads_and_programming_languag_1.php
(и вообще см. тег "category theory" в блоге по этой ссылке)
http://www.alpheccar.org/en/posts/show/74
http://www.alpheccar.org/en/posts/show/76
http://www.alpheccar.org/en/posts/show/77

И вообще вот товарищи пишут:

Без […] хотя бы минимального (а желательно - более основательного) бэкграунда в теории категорий […] в области языков программирования сейчас делать нечего.

Уже лет 15 как. Это мэйнстрим и просто язык, на котором все сколько-нибудь содержательные результаты в области связанной с языками программирования формулируются.



Про это лучше не со мной разговаривать, я за фронтиром развития ЯП слежу постольку, поскольку этим занимаются реальные и виртуальные знакомые, моя-то собственная программистская деятельность имеет гораздо более рутинный характер. Из, например, пользователей LJR в теме [info]kouzdra, [info]gogabr, [info]polter, и, кажется, ещё [info]potan и [info]dmitri83.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kinneret
2007-07-29 00:23 (ссылка)
Здорово :) Она мне сразу понравилась сама по себе, как очень красивый язык обобщений. Но это было в курсе математики. Программерская деятельность у меня тоже довольно рутинная, хотя это и не оправдание.

(Ответить) (Уровень выше)


(Читать комментарии) -