OP is right. Functional programming is more secure and reliable than imperative ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		koyanisqatsi on Oct 19, 2022 \| parent \| context \| favorite \| on: Stop Writing Dead Programs [video] 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 on Oct 19, 2022 [–]

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 on Oct 19, 2022 | [–]

Are you sure about that?

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact