Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

OCaml on Baremetal Shakti RISC-V Processor

kcsrk.info

Post reply on HN
Print view View original

11–20 of 77 posts

Re: OCaml on Baremetal Shakti RISC-V Processor

#11

Post by wtetzner »

abhinai wrote: post #6

OCaml is a beautiful language but I haven't seen any big non language projects written in OCaml. Does any one know why? OR do such projects exist and it is only that I am not aware of them?

There's Zero Install: http://roscidus.com/blog/blog/2014/06/06/python-to-ocaml-ret...

Re: OCaml on Baremetal Shakti RISC-V Processor

#12

Post by monocasa »

abhinai wrote: post #6

OCaml is a beautiful language but I haven't seen any big non language projects written in OCaml. Does any one know why? OR do such projects exist and it is only that I am not aware of them?

A lot of thereom proving is done in Isabelle/HOL, a DSL in OCaml.

Re: OCaml on Baremetal Shakti RISC-V Processor

#13

Post by richeyryan »

isaachier wrote: post #7
abhinai wrote: post #6

OCaml is a beautiful language but I haven't seen any big non language projects written in OCaml. Does any one know why? OR do such projects exist and it is only that I am not aware of them?

When you say non-language, do you mean unrelated to OCaml specifically or any language? Facebook implemented its infer linter for C, C++, Java, and Objective-C in OCaml: https://github.com/facebook/infer . When I worked at Bloomberg, they released BuckleScript for JS development. Not sure if that caught on though.

Bucklescript has caught on to some extent. Its sister syntax ReasonML is getting a little traction which means that Bucklescript is getting a little traction as they share the same build chain.

Facebook Messenger is built using Reason. A few other smaller companies are using it too: https://reasonml.github.io/en/users-of-reason

Wow Air were using it though one probably can't blame that for their collapse.

I guess that list doesn't include straight Bucklescript users either. There are definitely companies out there who use it outside of Reason so the OCaml, in general, is getting some use in industry which is nice.

Re: OCaml on Baremetal Shakti RISC-V Processor

#14

Post by swingthesickle »

abhinai wrote: post #6

OCaml is a beautiful language but I haven't seen any big non language projects written in OCaml. Does any one know why? OR do such projects exist and it is only that I am not aware of them?

There's a (unofficial) FUSE file system for Google Drive written in OCaml: https://github.com/astrada/google-drive-ocamlfuse

Re: OCaml on Baremetal Shakti RISC-V Processor

#16

Post by fspeech »

monocasa wrote: post #12
abhinai wrote: post #6

OCaml is a beautiful language but I haven't seen any big non language projects written in OCaml. Does any one know why? OR do such projects exist and it is only that I am not aware of them?

A lot of thereom proving is done in Isabelle/HOL, a DSL in OCaml.

Hol is in sml. HolLight is OCaml.

Re: OCaml on Baremetal Shakti RISC-V Processor

#17

Post by thinkpad20 »

abhinai wrote: post #6

OCaml is a beautiful language but I haven't seen any big non language projects written in OCaml. Does any one know why? OR do such projects exist and it is only that I am not aware of them?

ReasonReact is a fantastic project that is written in OCaml (with Reason syntax). In addition to being a wonderful frontend framework, it's also a great introduction to the language.

Re: OCaml on Baremetal Shakti RISC-V Processor

#20

Post by zukzuk »

abhinai wrote: post #6

OCaml is a beautiful language but I haven't seen any big non language projects written in OCaml. Does any one know why? OR do such projects exist and it is only that I am not aware of them?

The Tezos blockchain / dapp platform is based on OCaml. This to me makes it really appealing, if I were to find some actual use case for a blockchain application :)
Post reply on HN