3 ms·
In what situation might you use this instead of ocaml? There are a lot of drawbacks of using Standard ML in general, so I'd be interested in seeing if there are
by CHY872 11y ago
In what situation might you use this instead of ocaml? There are a lot of drawbacks of using Standard ML in general, so I'd be interested in seeing if there are any advantages at all.
- nickpsecurity 11y agoA lot of academic tools in verification and one in covert channel analysis are specific to SML. Such things might make me use this instead of Ocaml if SML's libraries improved to a similar level. For right now, I'd stick with Ocaml.
- CHY872 11y agoThanks - that makes sense. My understanding is that SML's libraries will never improve to a similar level, sadly.
- nickpsecurity 11y agoBetween INRIA and Jane St, it probably won't. There's just so much work going on in Ocaml community. The thing I like most about INRIA and Ocaml academics is they often build things that are useful. Much SML projects are toys.
- CHY872 11y agoAdd OCaml Labs (at Cambridge) to that list; their work is helping to remove some of the big gripes with OCaml whilst Mirage is genuinely interesting new (I think) work.
- nickpsecurity 11y agoOh yeah: they rock! Especially Mirage. That project combines a number of lessons learned from robust systems in the past while adding Ocaml to the mix. Add a robust middleware, a separation kernel, and certifying compiler with the right security checks/defaults to make MirageOS a bad-to-the-bone hosting solution.