OCaml in Operations

https://michipili.github.io/essay/2016/04/11/ocaml-on-operations.html

by dwc • 10 years ago

99 20 10 years ago

michipili.github.io

eggy2• 10 years ago

I always wanted to learn OCaml because I thought ML was a very nice language. Great how a rewrite of the JS code cleared up a lot blurry implementations. I wonder if F# could be applied here as easily. Funscript and Websharper compile to JS from F#. F# is opensource, and always suffered in published benchmarks, because the slower Mono platform was used due to MS licensing restrictions on using the faster .NET platform. Now that MS is opensourcing so much, and recreating bash in Windows, F# is going to be more applicable I think in operations too.

mercurial2• 10 years ago

Last time I checked, js_of_ocaml looked a lot more mature than Funscript (whose repo doesn't seem to suffer from an excess of activity).

I think the big thing missing for OCaml right now is a solid persistence system (preferably something lightweight).

eggy2• 10 years ago

I hadn't noticed the lack of activity, but it works. There's also Websharper, but that's not really just an F# to JS compiler.

ZenoArrow• 10 years ago

"a lot more mature than Funscript (whose repo doesn't seem to suffer from an excess of activity)."

That's because development work has moved to Fable:

https://github.com/fsprojects/Fable

seliopou2• 10 years ago

One clarification. As of a couple weeks ago, OCaml does have native support for many of the services AWS provides, via code generation:

https://github.com/inhabitedtype/ocaml-aws

I've been using these bindings internally for about a year, so the kinks have been worked out. A few more data types need to be supported by the code generator (in particular, the map type), and then it should have full service coverage.

pnathan• 10 years ago

My hat, it is taken off to you.

I will be experimenting with this!

eatonphil• 10 years ago

Why the GCC requirement on FreeBSD? And that definitely shouldn't require actually creating a static link.

Edit: whoops, replied to the wrong parent.

seliopou2• 10 years ago

The reason for each step is documented in the bash snippet. At the time of development, zarith (a transitive dependency) hard coded the GCC dependency in its build process. Perhaps it shouldn't, but it definitely did and continues to require the symlink on systems without GCC. I submitted a patch to fix this in zarith, but it has not made it to opam yet. See The patch here:

https://forge.ocamlcore.org/tracker/index.php?func=detail&ai...

alexatkeplar• 10 years ago

This is awesome - thanks so much for putting this together Spiro. With enough library support I think OCaml can definitely hit a sweet spot for ops...

sgrove• 10 years ago

I've used this (thanks seliopou!) to convert my bash-based (Mirage) deployment scripts over to OCaml, and am significantly happier with the end result.

StreamBright3• 10 years ago

I can see why people start to use OCaml more and more for things like CLI tools, metrics collection and other things like http proxying (most of the stuff came up HN in the last few weeks). I am hoping that OCaml finally gets its momentum and gets more widely accepted. It is a pretty sweet language with amazing features and type class.

LeonidasXIV• 10 years ago

It is a pretty sweet language with amazing features and type class

Type classes is the one thing that OCaml does not have. It might get a sort of similar to use mechanism called modular implicits, but we will see about that in the future.

mercurial2• 10 years ago

Yeah, that's the OCaml version of "the year of Linux on the desktop" :(

StreamBright3• 10 years ago

Sorry I meant type system, doing multi tasking did not help :)

unhammer• 10 years ago

One thing OCaml does have, however, that I often miss in other languages, is polymorphic variants. Sometimes you want a function to only work on a subset of a variant, without having to write silly handlers for things that the computer ought to be able to check never happen.

vog2• 10 years ago

... or the release by Bloomberg of an OCaml to JavaScript compiler

I have never heard of bloomberg/bucklescript.

How does it compare to js-of-ocaml? (which is what the author actually uses, according to the article)

FraaJad• 10 years ago

see http://bloomberg.github.io/bucklescript/#README#A-naive-benc...

vog2• 10 years ago

Okay, so Bucklescript is intended to become the next generation of js-of-ocaml, right?

OCaml in Operations

Related Stories