[lwl]

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]

What'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.