Михаил Бахтерев

да кто их знает? это то, о чём они говорили публично. open source тоже, наверняка, брали. да, конкретно мой код их не интересовал. но просто сам факт: они проектировали проце...

всем привет. подскажите, пожалуйста, где бы почитать о "коалгебраической структуре, присущей lambda-исчислению"?

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

@aadaa_fgtaa а почему Int быстрее Int64?

А точно сборщики мусора - это такая накладная вещь, от которой всенепременно нужно избавляться? Компиляторы нынче умеют проводить escape-анализ и вычислять, что можно размещат...

кстати, а в стеке что перед iret? может там какой callgate порченный?

ссылку можно кинуть? есть дока с подробным разбором всего.

Это и к разработчикам компиляторов вопрос. Хорошо, мы сделали мощную систему типов, но у пользователя просто неверная модель: он думал, что там моноид, а в реальности там не м...

Кстати, интересно вот про Erlang. У него GC для каждого процесса свой или же глобальный на всю VM? Имею в виду саму активность по сборке мусора.

Понятно, спасибо. Это я находил. Но меня интересует просто Linux. Я находил руководства, но они не работали (для ArchLinuxArm на Rock64). Официальной сборки пока нет, я верно ...

Подскажите, пожалуйста. GHC поддерживает aarch64? И если да, то как можно его собрать под эту архитектуру?