5 ms·

Are there examples of either OCaml or Haskell being used for systems programming? I know that algorithmically they can achieve pretty close performance, but I d

Are there examples of either OCaml or Haskell being used for systems programming? I know that algorithmically they can achieve pretty close performance, but I don't think support is that great for low-level operations.

tome 12y ago
"Ivory" is a Haskell embedded domain specific language for writing safe C programs. One (very loose) way of thinking of it is that it compiles a restricted subset of Haskell to low level C. http://ivorylang.org/ http://ivorylang.org/
- yohanatan 12y ago
  There is also 'Atom' which is an embedded DSL in Haskell for writing real-time embedded systems: http://en.wikipedia.org/wiki/Atom_(programming_language) http://en.wikipedia.org/wiki/Atom_(programming_language)
thirsteh 12y ago
It's hard to tell what you mean by "low-level operations." A lot of systems programming, particularly the GNU suite, just deals with manipulating files, sockets, and so on, and Haskell can do that just fine. Example: http://www.haskell.org/haskellwiki/Simple_Unix_tools http://www.haskell.org/haskellwiki/Simple_Unix_tools
tokenrove 12y ago
You might consider Mirage OS (http://www.openmirage.org/ http://www.openmirage.org/) to be systems programming.
more_original 12y ago
Maybe you could have a look at "Unix system programming in OCaml"? http://ocamlunix.forge.ocamlcore.org/ http://ocamlunix.forge.ocamlcore.org/