"Like C, but with memory safety and QuickCheck" sounds like a pretty good language for a SAT solver... "Idiomatic Haskell won't produce a very fast SAT solver"

"Like C, but with memory safety and QuickCheck" sounds like a pretty good language for a SAT solver... "Idiomatic Haskell won't produce a very fast SAT solver" is something that doesn't surprise me.