3 ms·
> pure functional programming; being able to easily prove theorems about your code I believe you're referring to a type system. That is different. There is lit
by jonnybgood 10y ago
> pure functional programming; being able to easily prove theorems about your code
I believe you're referring to a type system. That is different. There is little about functional programming that allows you to easily prove theorems about your code.
- iainmerrick 10y agoNo, FP is great for analyzing your code! Internal state and side effects are the main things that make code hard to analyze, and it's exactly those things that FP avoids.
- jonnybgood 10y agoHow is that related to easily proving theorems about the code?
- eru 10y agoIt's easier to prove stuff about simpler code.