I apologize for the plug, but I invite folks who like OCaml to check-out Tezos, a project for a self-amending blockchain in OCaml. http://github.com/tezos http:

I apologize for the plug, but I invite folks who like OCaml to check-out Tezos, a project for a self-amending blockchain in OCaml. http://github.com/tezos http://github.com/tezos I think it's a really neat piece of engineering that demonstrates the strength of the language. We have some really nice uses of the GADT and we try and squeeze as much guarantees as we can out of the type system. The modules give us a natural way to follow the principle of least authority by restricting the visible surface of each implementation layer as much as possible. Some of the core Tezos developers are also behind the recent mooc and work on the OCaml compiler.