История изменений
Исправление Bad_ptr, (текущая версия) :
пиши на Haskell или Idris
но сначала опиши свою задачу на Coq или Agda
потом уже если упрёшься в производительность или потребление памяти, то критические места можно и на Rust переписать
Исправление Bad_ptr, :
пиши на Haskell или Idris
но сначала опиши свою задачу на Coq или Agda
потом уже если упрёшся в производительность или потребление памяти
критические места можно и на Rust переписать
Исходная версия Bad_ptr, :
пиши на Haskell или Idris
но сначала опиши свою задачу на Coq или Agda