I understand Haskell is used for Cardano SCs, due to the functionality of the programming, and I think mathematical certainty you get when creating SCs using Haskell? Correct me if I’m wrong..... But my question is, this was implemented to be a solid approach, which doesn’t leave a chance of failure from the code, so I’m guessing these failures have happened in other blockchain ecosystems. If so can someone point me to a case where this has happened? Maybe a project on Ethereum couldn’t run due to a failure of the code.
I am not in the slightest clued up on all the terminology to be used when talking about programming, so forgive me if I am completely wrong with my assumptions about Haskell, please explain if I am wrong what the actual use case is instead.