[koyanisqatsi]

OP is right. Functional programming is more secure and reliable than imperative programming. There are no buffer overflows when code is formally specified and verified. It's next to impossible to do this for imperative code but very easy to do for functional code [0].

0: https://www.microsoft.com/en-us/research/project/project-eve...

[theamk]

I think you want to choose a better example. There are no buffer overflows in Java or Python either, and they are pretty imperative.

[koyanisqatsi]

Are you sure about that?