В прошлой серии мы увидели, как зависимые типы в ATS помогают избежать грубых ошибок вроде выхода за пределы строки или массива. А можно ли продвинуться еще дальше в деле обеспечения корректности? Можно ли полностью доказать статически, что функция делает ровно то, что надо, и всегда выдает верный результат? В ряде случаев можно. В ATS мы можем
(
Read more... )
Comments 6
( ... )
Reply
Reply
Reply
Reply
I/O эффектом не считается, и это действительно довольно странно.
Reply
Reply
Leave a comment