у винскела не было категорной семантики

Да, вроде, была. Прямо в моноидальных категориях. Тут заход, конечно, с другой стороны, но, вроде, результат похож. Даже картинки похожие рисуют. Я б сослался.

А вот эта работа интереснее, спасибо! :)

а там и есть ссылка

на Nielsen, Sassone, Winskel, "Relationships Between Models of Concurrency"

Компиляторы тут, кстати, при том, что Винскел в работе о структурах событий, прям вывел языки CSP и CSS буквально из аксиоматических требований к тому, как должны видеть события друг друга параллельные процессы. То есть, если мы может сформулировать категорную семантику для системы, то язык её программирования (то есть, описания поведений) прямо на полуавтомате можно получить. Что есть хорошо.

Ага. Я по названию работы искал. А эту не читал, надо будет. Спасибо за ссылку.

я еще раз посмотрел, у него там только предпорядки

хотя нет, под конец идут какие-то коммутативки

Ну, не совсем предпорядки. И потом он обобщает в категории.

но для декартовых ага

просто насколько я помню, струнки и моноидальные до 2000х не особо были рапространены

вот кстати прямо сейчас Баэз рассказывает про категорные инструменты для диаграмм на онлайн семинаре :)

Причина в моде.

просто потому что они не знают как удобно иметь статическую типизацию. сам был таким, и скажу что пока не впихнешь человеку в руки что-то другое, он будет любить динамическую типизацию.

у меня на питоне приложение от команды run до полного запуска проходило 1,5-2 секунды. на Rust, если перед этим скомпилировать все зависимости, 6-8 секунд. не так много.

Ну вот я был фанатом статической типизации, пока не попробовал Scheme... И теперь сложно вернуться.

Это всё индивидуально, imho.

Есть определенная боязнь динамической типизации среди нового поколения разработчиков, которые выросли на C# и Java. Ну и о самих динамических языках у многих превратное представление, по не самым лучшим представителям. К тому же следует понимать, что дело static vs dynamic это не просто вкусовщина. Есть вещи, которые объективно реализуются, как минимум, с большими трудностями, и эти вещи свои для static, и для dynamic.

Ну и конечно в контексте чата основная проблема в том, что далеко не все спорщики видели, как красиво можно написать компилятор на динамическом ЯП :)

Основная проблема динамически-типизированных языков - это проблемы с рефакторингом реальных кодовых баз на них.

Это выходит очень уж дорогим удовольствием, по сравнению со статически типизированными языками, причем даже по сравнению с далеко не самыми лучшими их представителями.