4 ms·
Arguments from academic and mathematicians will/may favor provability. Pure Functional where everything is function composition have more hope of producing a v
by ben7799 4y ago
Arguments from academic and mathematicians will/may favor provability.
Pure Functional where everything is function composition have more hope of producing a valid mathematical proof for a block of code. CS/Math will favor this over the aspects that get grouped into total programming, which often don't help provability.