Hacker News Reader

Do want to learn this - does anybody know any interesting projects that can take advantage of the OCaml ecosystem and functional aspects?

How about building functional operating systems and unikernels: https://mirage.io/. Since Reason is fully compatible with OCaml, you can build your own Reason unikernels on top of MirageOS libraries. Here is a list of mirage OS pioneer projects: https://github.com/mirage/mirage-www/wiki/Pioneer-Projects