Поликатегории, *-автономные категории, симметричные моноиадльно-замкнутые категории

[akuklev]

Упоминавшаяся вчера статья Майка Шульмана, кстати, огонь! (https://arxiv.org/pdf/2004.08487.pdfRead more... )

Comments

[66george]

А что Вы думаете про язык Factor?
https://dxdy.ru/topic138111.html

[akuklev]

Он очень прикольный, я его щупал несколько лет назад и в качестве игрушки мне очень понравилось.

[66george]

Вот интересно: мне не хочется писать на Rust или Idris, а вот на Факторе и Луа с удовольствием. Программирование должно быть весёлым. Сейчас дописываю большую программу на C++ и это всё равно что тащить гружёную телегу. На чём посоветуете программировать, чтобы было весело и поддерживалось OpenGL?

[akuklev]

Ни на чём не посоветую, всё мне известное, где можно OpenGL, тяжелая телега. :-(

[66george]

А порекомендуйте каких-нибудь развлечений на карантине, типа Factor. От себя предлагаю проверяльщик протоколов
https://66george.livejournal.com/450402.html
и рисование растений методом Линденмайера
https://66george.livejournal.com/449844.html

[akuklev]

Вот только что встретил вот эту ссылку: https://research.metastate.dev/juvix-compiling-juvix-to-michelson/

По-моему, занятная штука, надо пощупать.

[66george]

А если сделать Factor типизованным и добавить индуктивные типы!

[akuklev]

Конфетка будет!

[66george]

Обнаружил в Факторе обёртку для llvm.

[clayrat]

получится http://kittenlang.org/

[66george]

Вы не пробовали вот в этом разбираться? Там есть что-то интересное?
https://ncatlab.org/nlab/show/topos+approach+to+quantum+mechanics

[akuklev]

Пробовал. Оно интересное, но сырое. С прогрессом в области линейных теорий типов там многие моменты должны проясниться, и станет клёво.

[66george]

Как там толкуется измерение? Вот у нас есть "множество состояний" без глобальных элементов. Мы измеряем и узнаём значения чего-то. Что мы получаем в топосе? Частичный элемент?

[akuklev]

Я смотрел и не понял, как там правильно интерпретировать измерение. Было ощущение что концептуально что-то недокручено. Хотя может я просто не смог разобраться.