Tony Morris

@copumpkin @krismicinski @psnively Yes. These are different. Like other different things. Programming remains an act of constructing proofs.

@dibblego @copumpkin @psnively what "proof" are you constructing when you write a rails app?

@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

@krismicinski @copumpkin @psnively That one is writing a boring proof makes it helpful to say programs are proofs so the boredom can be seen

@dibblego @copumpkin @psnively sure, but almost all code in the world is written in languages where the "proofs" are boring