@psnively perhaps likely, but all of these high level phrases are sort of puzzling because their semantic content doesn't tell you much
-
@dibblego@copumpkin@psnively I am wholeheartedly 100% in agreement with you, but saying all programs are proofs hurts the cause.
@krismicinski @copumpkin @psnively How does starting a matter of fact hurt a cause (which cause?)?
-
-
@dibblego@copumpkin@psnively if cause is to advocate FP saying "programs are proofs" is technically true but misleading in many situations -
@dibblego@copumpkin@psnively because in many cases programs that many people write are proofs of nothing related to their program - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.