If I had to guess, they're likely referring to the lack of side-effects in some ... | Hacker News

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

lwl on Feb 7, 2021 | parent | context | favorite | on: Ask HN: Any tips for a programmer wanting to switc...

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 on Feb 7, 2021 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact