News for hackers. Stuff that matters.

A comment on Liquid Haskell: Haskell as a Theorem Prover [pdf]. Parent comment

Re:Liquid Haskell: Haskell as a Theorem Prover [pdf] by wildmusings on Wednesday December 07, 2016 @11:34PM (#13128424)
This is the Law of the Instrument: if all you have is a hammer, then everything looks like a nail.
[ Parent | on HN ]
Re:Liquid Haskell: Haskell as a Theorem Prover [pdf] by aninhumer on Thursday December 08, 2016 @07:51AM (#13129958)
I don't think that's really the same meaning. Here it's more like, if you're given a hammer, you'll notice a lot of nails you can use more easily now.
[ Parent | on HN ]