The Daily Show
I think the "final words" are the definition of 'obsequious'. Say something of real substance, and commit to it: "Haskell and Scala are both very powerful and practical programming languages, but with different…
Types are propositions, and programs are proofs. If your program satisfies the type, then it is a proof of the proposition.
"ps: Help get this on the frontpage of HackerNews" Actually, I think you bear the burden of proof here by asking to get this to the front page. Asking for evidence and reasoning is hardly trolling.
The Daily Show
I think the "final words" are the definition of 'obsequious'. Say something of real substance, and commit to it: "Haskell and Scala are both very powerful and practical programming languages, but with different…
Types are propositions, and programs are proofs. If your program satisfies the type, then it is a proof of the proposition.
"ps: Help get this on the frontpage of HackerNews" Actually, I think you bear the burden of proof here by asking to get this to the front page. Asking for evidence and reasoning is hardly trolling.