2 ms·
If I had to guess, they're likely referring to the lack of side-effects in some functional languages. This makes it a bit easier to formally verify the correctn
by lwl 6y ago
If I had to guess, they're likely referring to the lack of side-effects in some functional languages. This makes it a bit easier to formally verify the correctness.
- baby 6y agoWhat's funny is that some of these languages lack types, which makes it a whole lot harder to secure. So it's not just about being functional.