Не знаю, не видел. Но судя по всему, у меня что-то начинает двигаться, и я смогу, наконец, пробовать заниматься деланием из теории категорий голимой попсы ;-)
Нетмля, симфонию пишу ;-) Да язык я свой выдумываю. Категорно-"лисповый", только статическая типизация. Если в лиспе всё-всё, это скобочки, то у меня всё-всё, это стрелочки ;-) Может быть, когда-то наступит момент, что можно будет что-то показывать-рассказывать.
Когда-то давно я посмотрѣлъ на книгу "Топосъ музыки" и рѣшилъ, что это просто надувательство. Очень много словъ обо всёмъ подрядъ, и никакого толку. Нѣтъ объясненій какихъ-либо новыхъ нетривіальныхъ вещей ни о музыкѣ, ни о математикѣ. Нѣтъ рѣшеній старыхъ нерѣшённыхъ задачъ. Толстая книга ни о чёмъ. Можетъ, я ошибся?
;-) По-моему, не очень-то. До сих пор, подробно книжку не прочитал, но просматривал. Показалась она слишком технически сделанной, привязка слишком искусственная, "вымученная", что ли... Но некоторый смысл это имеет - они рассматривают онтологию музыки.
Comments 22
Reply
Reply
Reply
Или "широкие массы" останутся музыкально неотопосенными?
Reply
Но судя по всему, у меня что-то начинает двигаться, и я смогу, наконец, пробовать заниматься деланием из теории категорий голимой попсы ;-)
Reply
Reply
Да язык я свой выдумываю. Категорно-"лисповый", только статическая типизация.
Если в лиспе всё-всё, это скобочки, то у меня всё-всё, это стрелочки ;-)
Может быть, когда-то наступит момент, что можно будет что-то показывать-рассказывать.
Reply
Reply
И кое в чём, близко, насколько я успел понять.
Reply
Reply
;-) По-моему, не очень-то.
До сих пор, подробно книжку не прочитал, но просматривал.
Показалась она слишком технически сделанной, привязка слишком искусственная, "вымученная", что ли...
Но некоторый смысл это имеет - они рассматривают онтологию музыки.
Reply
(The comment has been removed)
Практически, в любой области можно сделать хорошую систему понятий.
Только очень мало, где это сделали на должном уровне.
Reply
Leave a comment