Я ищу структуру данных, которая хранит байты, обеспечивает постоянную чистую индексацию и...

Я начинаю погружаться в программирование с зависимой типизацией и обнаружил, что языки Agda и Idris...