CD
в частности, код a[i][i] запрещен
Size: a a a
2021 May 28
ΑZ
а можно не неймингом а типами запретить
CD
сколько описания тебе потребуется?)
CD
можешь на каком-нибудь Idris реализовать какую-нибудь форму метода Гаусса с контролем типов индексов матрицы?
CD
и да, мы еще не касались момента, что на (жестких) типах ты зум просто не напишешь
CD
у тебя требование подвижной кодовой базы
ΑZ
1 строчка
ΑZ
а потом выходит вот так
ΑZ
Рекомендую
ΑZ
(реальный скрин когда я обосрался и не ту айдишку случайно заюзал, но типчики которые разложил меня подсейвили)
CD
а арифметика
CD
я этим пользуюсь, офк
CD
и большой пропагандист этого)
ΑZ
ну а если у тебя питон то ты не сможешь этим пользоваться
ΑZ
(я не верю в "опциональные тайпинги" если что)
ΑZ
дерайвится
CD
я поэтому и сказал, что будет write-код
CD
ну такое
ΑZ
при чем тут write? он просто работать не будет