03.05.2026
Теперь в Linear Haskell можно делать штуки в стиле Rust: безопасные мутабельные и разделяемые заимствования прямо в чистом коде, без утечек и с поддержкой конкурентности.
Все это работает через специальный линейный монад BO, который позволяет временно делиться доступом на чтение, что-то там делать с данными, а потом возвращать все обратно - как в ST, но чище и мощнее.
Авторы даже квиксорт на этом написали, который пашет параллельно без страха и упрека
