tiphareth: Towards a Hermeneutic Categorical Mathematics

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

	gregory_777 2007-07-28 03:33 (ссылка)
	Ох ты. Это ж сам Родин! (Ответить) (Ветвь дискуссии)

	tiphareth 2007-07-28 03:58 (ссылка)
	А чем он славен? (Ответить) (Уровень выше) (Ветвь дискуссии)

gregory_777
2007-07-28 04:05 (ссылка)

Широко известный в узких кругах ограниченных людей персонаж. Весьма богемная личность, продвигавшая философскую составляющую точных наук и доказывавшая всем и каждому, что Эйнштейн удалился от мира потому что [далее неразборчиво].
В общем, довольно яркое явление. Я ещё совсем мелкий был, когда его видел - но видишь, запомнил.

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

	tiphareth 2007-07-28 04:08 (ссылка)
	Я скачал статью, думал, очередной деревенский сумасшедший, а тут надо же (Ответить) (Уровень выше) (Ветвь дискуссии)

	gregory_777 2007-07-28 04:21 (ссылка)
	Я честно говоря сам немало удивился его всплытию. (Ответить) (Уровень выше)

yushi
2007-07-28 14:04 (ссылка)

Забавное совпадение. Как раз сегодня со

zmey обсуждали теорию категорий, в качестве забавного примера того, как предельно заумная и оторванная от реальности математическая теория через десятки лет после своего создания становится важным инструментом не науки даже, а индустрии (программирования, в данном случае).

(Ответить) (Ветвь дискуссии)

tiphareth
2007-07-28 14:39 (ссылка)

Не, она не заумная. Теорию категорий придумали, чтоб
считать разные штуки в алгебраической топологии.
Которая есть наука о многомерных полиэдрах, более-менее.
То есть чисто техническое и невероятно удобное средство
для решения конкретных практических задач.

Такие дела
Миша

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

	kinneret 2007-07-28 22:35 (ссылка)
	Очень интересно, как она применяется в программировании? (Ответить) (Уровень выше) (Ветвь дискуссии)

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 в теме

kouzdra,

gogabr,

polter, и, кажется, ещё

potan и

dmitri83.

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

kinneret
2007-07-29 00:23 (ссылка)

Здорово :) Она мне сразу понравилась сама по себе, как очень красивый язык обобщений. Но это было в курсе математики. Программерская деятельность у меня тоже довольно рутинная, хотя это и не оправдание.

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