Jul. 8th, 2008
categories in java - impl q
Jul. 8th, 2008 05:42 pmI feel like I was wrong introducing generics in graphs and categories. Although we do have equality in java, categories is not an egalitarian theory; and if it is "up to an isomorphism", there's no reason to keep the types of objects and arrows.
So I'm going to switch to strings for labeling objects and arrows.
So I'm going to switch to strings for labeling objects and arrows.
Утро как обычно - меня отвезли на работу (по дороге баловался с категориями); завтрак обычный в Моме. На работе, хм, как обычно - стал синхронизировать клиента. Пытался ещё с клавиатурой разобраться, но процессор был занят под завязку. Так что баловался с категориями.
Ну и кстати, позвонил на скайп Женя Пыряев, и я устроил ему небольшой (очень небольшой) видеотур по офису. А так - обсуждали, как бы спасти Матяша в Сфваре. Непонятно как. Где я ему работу найду? Сейчас же всё заглохло.
( Read more... )
В девять меня забрала с работы подруга, и мы поехали домой. Дома я ещё пофиксил багу в xml library на myjavatools.com - юзер надыбал.
Ну и кстати, позвонил на скайп Женя Пыряев, и я устроил ему небольшой (очень небольшой) видеотур по офису. А так - обсуждали, как бы спасти Матяша в Сфваре. Непонятно как. Где я ему работу найду? Сейчас же всё заглохло.
( Read more... )
В девять меня забрала с работы подруга, и мы поехали домой. Дома я ещё пофиксил багу в xml library на myjavatools.com - юзер надыбал.