реляционные логики например

https://typing-is-hard.ch/ уже не ведет куда надо :(
Где можно посмотреть "Предварительные материалы" из pinned message?

Видимо, теперь здесь: https://3fx.ch/typing-is-hard.html

Но если Вам нужен на самом деле предварительный материал по статической типизации, то берите "Types and Programming Languages" Бенждамина Пирса, можно в русском переводе.

Спасибо. Зубодробительный материал.

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

квантовая механика вообще простая штука, если ею со школы увлекаться.

давно и мало практикую кодинг, примерно, со времён джавы 1.4 и оберона-2. тогда всё было одноядерное и понятное. задался вопросом «как же запускаются вторые ядра процессора?».

вот с самых азов и пошёл, с разбором схемотехники платы, с включения питания двухядерного риск5,, со сборкой и запуском кода на голом rust.

конечно, по дороге изучил ассемблер риск5, потренировался на процессорных эмуляторах, копнул в сборку процессорного ядра на плис. что б веселей и полнее ощутить всю широту фулстека))

Да, но проблема в порядке изучения. Типа изучать лучше именно в порядке: питон -> си -> ассемблер итд, постепенно усложняя.

сейчас у меня впечатление, что изучать надо не падая за границу ISA.

это нормальный водораздел в типовых цифровых вычислятелях. от него можно строить выше в типы да и любые абстракции данных и алгоритмов.

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

Ну для общего развития можно чуть-чуть за ISA поглядывать

И тут есть интересный момент, в архитектуре RISC-V явным порядком аппаратно поддерживается арифметика с целыми числами, вещественная арифметика и векторные типы. Для этих типов есть отдельные группы регистров и заточенные под эти типы коды операций плюс преобразования между типами.

Зато нет поддержки предикатов и стеков.

То есть ассемблер RISC-V сразу типизированный.

Отдельно интересно, что в архитектурных спецификациях RISC-V, как и в учебниках Паттерсона и. даже, новейшем лета этого года risc-v издании Харрис&Харрис, подробно объясняются причины принятия таких архитектурных решений в сравнении со старыми архитектурами х86/арм/мипс/спарк/альфа/итаниум.

Это очень хорошо, но риск5 это же всего лишь недописанная спека

А вот чего не могу понять, почему до сих пор нет реализации типов для физических величин, начиная с типа для времени? Нет в железе (хотя есть генераторы и часы реального времени) и нет в языках программирования.

Столько ошибок с этим связано (милениум, преобразования), а решения всё ещё нет))

Процессора там и нету

Всмысле, нету

Ньютайпы в помощь там, где они есть + DataTime есть у каждой собаки

RISC-V и виртовский RISC5 — это разные процессоры

Ок