alt Hacker NewsBut isn't this a problem with all code? Looking at a Rust function signature how can you be sure that it does what it says it does? Or python?
But isn't this a problem with all code? Looking at a Rust function signature how can you be sure that it does what it says it does? Or python?
See my reply to a similar objection: https://news.ycombinator.com/item?id=48520416