<div dir="ltr"><div dir="ltr">Am Mi., 21. Apr. 2021 um 14:55 Uhr schrieb Mario <<a href="mailto:blamario@rogers.com">blamario@rogers.com</a>>:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">[...] No general-purpose language (open field) is. You want to design from scratch, starting with <br>
a secure core language (high ground). You can use Haskell as an <br>
inspiration; Marlowe and probably some other blockchain languages do.<br></blockquote><div><br></div><div>That's not totally correct: You can use anything you like when you have a sandbox while executing it. This is even much more safe than relying on a language (which can have conceptual and/or implementation bugs) alone. The attack surface of any non-trivial language, its implementation and its runtime is just too big for anything serious. Sandboxes are complex, too, but less so, and you implement them once and you can use them for many things. Having said that, my personal view is that Safe Haskell has almost no valid use case anymore, given the various sandboxing technologies available today. But that's just my 2c...</div><div><br></div><div>Cheers,</div><div>   S.</div></div></div>