Re:Ask HN: Any tips for a programmer wanting to switch into ...
by lwl on Sunday February 07, 2021 @03:40PM
(#26058005)
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.
What does the language being a functional language have to do with it?