I see this problem with formal methods, which are also increasingly used in the cryptocurrency world. I compare their use there to the claim that a tightrope is

I see this problem with formal methods, which are also increasingly used in the cryptocurrency world. I compare their use there to the claim that a tightrope is safe because it's anchored to towers assembled from cards made of the strongest titanium alloy. Having said that, I doubt the impact of Haskell's reputation on cryptocurrency users, technical or otherwise. The myth that Haskell results in more correct programs might still be alive in portions of the Haskell community despite the failure to support the claim with any evidence, but few outside that community have ever heard of that myth, let alone believe it.