![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
metaclassЧтобы ИТ-индустрия окончательно встала раком, Гуглу сейчас нужно сделать ход конем - разработать ТРЕТИЙ вариант кроссплатформенного языка-платформы с собственной виртуальной машиной, JIT, итд, итп, в дополнение к жабе и дотнету. И сманить девелоперов на него какими-нибудь заманухами страшными.
Тем более что дотнет семимильными шагами двигается в ту же over-engineered сраку, что и жаба, а альтернативы реальной тому и другому и нету.
Тем более что дотнет семимильными шагами двигается в ту же over-engineered сраку, что и жаба, а альтернативы реальной тому и другому и нету.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2010-08-15 06:32 am (UTC)no subject
Date: 2010-08-15 06:49 am (UTC)Для начала, если иметь в виду достаточно мощщную логику (ну там, агда-кок), то так же, как и в функциональщине, только можно накладывать гораздо больше ограничений ;-)
Те же хацкельные паттерны довольно-таки содержательны, только реализовать их надо бы более близко к математике.
Остальное, это онтология, которая тоже довольно неплохо описывается в достаточно мощной логике. Правда, тут очень не хватает автоматического доказательства. И оказывается, что даже какой-то "несчастный" пролог уже много, где рулит ;-)
В идеале, надо заниматься не только онтологией, но и гносеологией-эпистемологией.
no subject
Date: 2010-08-15 09:08 am (UTC)no subject
Date: 2010-08-15 10:37 am (UTC)То есть, при большом желании, конечно, можно выделить время.
Но ведь написать про это не очень просто, а я убеждён,
что мне ещё надо оочень многое читать, вот и стараюсь.
Тем более, что практика у меня ограничивается лишь немного большим,
чем моделирование разного "функционально-категорными" паттернами.
Хотя и это уже довольно сильно и может описать очень многое.
Скажу, что если один тут проект выйдет, то будет
куча статей (в основном, не от меня), в том числе,
и для экономистов, про онтологию экономики предприятия,
и обязательно, про моделирование этого дела категориями,
это уже буду писать я, скорее всего.
Через пару месяцев что-то смогу сказать конкретно.
С одной стороны, код и описание будут открытыми,
но меня попросили не афишировать ето дело до тех пор,
пока оно не станет "достаточно крутым".
Так что, показать смогу, но какбе, "по секрету".
no subject
Date: 2010-08-15 11:04 am (UTC)no subject
Date: 2010-08-15 12:39 pm (UTC)В этом случае получается, как бы, что ты сам формируешь лекцию, наиболее удобную для твоего понимания. И к объясняющему обращаешься, как к базе знаний. Гораздо проще извлечь из памяти что-то, чем думать над тем, как бы это уложить в какую-то целостную структуру типа статьи.
Отчасти, именно поэтому я и прошу всех спрашивать в category_theory, поскольку, ответить на конкретный вопрос гораздо проще для отвечающего, чем подготовить хорошее целостное объяснение.
no subject
Date: 2010-08-15 12:50 pm (UTC)И правильные вопросы задавать это ведь задача, местами, сложнее чем отвечать :)
no subject
Date: 2010-08-15 12:57 pm (UTC)Ну низнайю... Ну если тебе всё понятно, то и вопросов нет.
А если что-то непонятно, то спрашивай, пусть даже и на уровне
"Мне вот не вполне понятны экспоненты, где-чо почитать, или кто расскажет чего..."
Как смотритель сообщества, я тебе лично разрешаю ;-)
Тем более, что ответы будут полезны многим.
Правда, в целом, конечно же, рекомендуется пользоваться общими правилами типаа "как задавать вопросы".
Ну, к примеру, "ничего не работает, помогите!!", будет воспринято, сам знаешь, как ;-)
А вот к вопросам "я поискал в гугеле, посмотрел Мак Лейна, но вот тут не вполне стыкуется" уже отнесутся с уважением - человек старается понять.
no subject
Date: 2010-08-15 01:03 pm (UTC)Скорей сильно непонятно.
Сейчас вот маклейновскую форму и функцию дочитываю( хорошее впечатление, кстати), с целью какого-то чуть более внятного понимания о чём идёт речь при разговорах о всяких там многообразиях. Вот после хочется снова вгрызться в ТК, попробую и вопросы сообразить. А то уже который год, а дальше стрелок почти и не ушёл :)
no subject
Date: 2010-08-15 01:08 pm (UTC)Поскольку, математики категории осваивали не очень сложно "почти все".
А вот с компутер-сцаянтистами либо просто программерами, почему-то, выходит сложнее.
Вот и хочу, уж полтора года прошло, как задумал сделать хорошее описание категорий со стороны логики и программирования.
no subject
Date: 2010-08-15 12:52 pm (UTC)Знал бы ты, какие там крутые экономисты!
С другой стороны, если они заинтересовались категориями, то уж точно крутые ;-)
Но имён называть не буду, до поры до времени.
И они заинтересовались категориями, как инструментом для манипулирования онтологиями.
Классно же? ;-)
Заодно, я более внимательно перечитал, что писал про онтологии Осман Бинеев, и это было любопытно.
no subject
Date: 2010-08-15 12:57 pm (UTC)На того же твоего этого "османа-пашу"?
no subject
Date: 2010-08-15 01:00 pm (UTC)Можно посмотреть его статьи на arxiv -
http://arxiv.org/find/cs/1/au:+Bineev_O/0/1/0/all/0/1
Либо его ЖЖ-страничку -
http://algebraic-brain.livejournal.com/
;-) Гыыы ;-)
no subject
Date: 2010-08-15 01:04 pm (UTC)no subject
Date: 2010-08-15 08:34 pm (UTC)no subject
Date: 2010-08-16 03:43 am (UTC)Просмотреть журнал и найти.
Среди последнего -
http://algebraic-brain.livejournal.com/105872.html
no subject
Date: 2010-08-16 04:54 am (UTC)no subject
Date: 2010-08-16 05:31 am (UTC)Ну, там ссылка на архивовую статью, на которую я ссылку уже дал.
Ранее тоже есть мысли про онтологии.
no subject
Date: 2010-08-16 09:28 am (UTC)no subject
Date: 2010-08-16 10:16 am (UTC)