Finding bugs in Haskell code by proving it

Re:Finding bugs in Haskell code by proving it by samgd on Sunday December 10, 2017 @05:45PM (#15893890)

Standard Chartered has over 3 million lines of Haskell code and Facebook uses it to fight spam - there's definitely more than you think out there :-)

http://hauptwerk.blogspot.co.uk/2017/04/four-openings-for-ha...

https://code.facebook.com/posts/745068642270222/fighting-spa...

[ Parent | on HN ]

Re:Finding bugs in Haskell code by proving it by virtualwhys on Sunday December 10, 2017 @06:31PM (#15894109)

> Standard Chartered has over 3 million lines of Haskell code

Not exactly, they have their own closed source fork of GHC, which is strictly evaluated. Given that the codebase is proprietary it's unknown what other differences there are beyond having dumped lazy evaluation. It's a Haskell-like language, but far different than the Haskell that the public has access to.

[ Parent | on HN ]

Re:Finding bugs in Haskell code by proving it by mbid on Sunday December 10, 2017 @05:58PM (#15893952)

I don't think a spam filter would be the first thing you'd prove correct if you wanted to go down that road..

[ Parent | on HN ]