Comments by "Vitaly L" (@vitalyl1327) on "Dear Functional Bros | Prime Reacts" video.

@anon_y_mousse in the real world you must prove correctness too. But of course CRUD coders won't ever get anywhere close to applications that need this kind of rigour.
6
Not really compatible with the languages that have default argument values and/or named arguments.
6
@anon_y_mousse and reducing the implementation to pure lambda (or, even better, combinatory logic) is one of the easiest ways to prove things. Luckily, nothing stops you from doing it with even a pretty heavily imperative code. But as an intermediate representation, a curried CPS is one of the most powerful and easy to reason about forms. Your source language does not really have to support currying, it's all down to intermediate representations.
5
Meh. Stateful computation is a subset of pure functional computation. It's just `next_global_state=pure_function(previous_global_state)`.
1