|
|
|
|
|
|
by maweki
1228 days ago
|
|
|
"Compiling" down the product to a fold brings you to the same issue. Though of course it's a lot easier to reason about math in functional programming than in imperative programming, you still lose some of the equational properties that later allow you to derive closed formulas. |
|
|