3 ms·
Smart contracts are foot guns and so they are an interesting case for formal verification and advanced static typing people. They usually like Haskell. I like f
by anonzzzies 3y ago
Smart contracts are foot guns and so they are an interesting case for formal verification and advanced static typing people. They usually like Haskell. I like formal verification but not blockchain, however , the jobs are there. Saving actual lives with formal methods is not worth the money, so we prove Ponzi schemes to be correct. A little over the top, sorry, but it is hurting just a tad that chemo delivery devices have less rigid software than something that is marketed as an everyone wins lottery type of thing.
- peterbecich 3y agoYes, to add to this, it was an opportune time at the beginning of a new sector with no legacy code. I've read that iOS Apps benefited in a similar way in security over Mac OS; there was an opportunity to start fresh without backward compatibility requirements.
- Gigachad 3y agoI wouldn't be surprised if a huge factor is just marketing. Most crypto products are only built to be sold to some investor. And saying it's all built on Haskell probably sells better than saying it's a bog standard typescript program.