Comments 1
«Надежные» и «низкоуровневое программирование» — понятия практически несовместимые.
Для обеспечения надежности требуются сложные абстракции, как владение и заимствования в Rust или зависимые типы в ATS.
При попытке «надежно» программировать на C или ассемблере эти абстракции в некой, скорее всего неполноценной форме придется держать в уме. Это искусство, и обучиться ему в рамках формального курса проблематично.
Для обеспечения надежности требуются сложные абстракции, как владение и заимствования в Rust или зависимые типы в ATS.
При попытке «надежно» программировать на C или ассемблере эти абстракции в некой, скорее всего неполноценной форме придется держать в уме. Это искусство, и обучиться ему в рамках формального курса проблематично.
Sign up to leave a comment.
Как проходит знакомство с LLP в Университете ИТМО: курс «Низкоуровневое программирование»