There are lots of claims that Cardano is “safer” than other languages and fast. Its the perfect speed and safety language yet the aviation, healthcare, military contractors don’t use it. In fact almost nobody uses it. Ask yourself why.
There are video’s about how mathematically the Haskell language is pure. Unfortunately this leaves a taste of mathematician and not computer scientist in my mouth. You need correct logic but you also need correct implementation. But that is not it. You need to know the hardware your running on keeps your software stable. You need to know the linker produces good executable. You need to know the low level software implements the high level software correctly. Knowing all of this in a paper is an impossibility. Therefore any claim of correctness shows a wild lack of expertise in the field.
As a 30+ year veteran of safety critical software I know that you must test the system functionally and structurally right down to the hardware. The verification if done right should cost more than the implementation because there literally is more work to do.
Anybody trying to convince you that a language is inherently “safer” is blowing smoke up your pants.
Given this position please shut me up with proof you are doing verification from end to end.
If this proof does not exist then give me the names of the board of directors so that I can convince them they are on the wrong track with Haskell. It may be the correct path, but no proof has been offered except that the math works. “The math works” is so not the right answer.
4 posts - 3 participants
