4 ms·
The OCaml website lists some companies it [0], I think there are a bunch of new blockchain startups that are also using OCaml but are not on that page. [0] htt
by angio 6y ago
The OCaml website lists some companies it [0], I think there are a bunch of new blockchain startups that are also using OCaml but are not on that page.
[0] https://ocaml.org/learn/companies.html https://ocaml.org/learn/companies.html
- non-entity 6y agoIs there something about purely functional languages that make them attractive to blockchain applications? I remember a post on here a little while ago complaining about Haskell adoption in industry was being mostly led by cryptocurrencies.
- twic 6y agoOne person might say that the common factor is not being frightened of doing something challenging and unconventional that allows you to achieve extraordinary things. Another might say it was a weakness for snake oil.
- nesarkvechnep 6y agoJust to make it clear, OCaml is not purely functional.
- non-entity 6y agoOh sorry, not sure why I thought it was.
- johnisgood 6y agoYeah, it most likely is not. I mix imperative, OOP, and functional all the time. Parts of my codebase that has to do with algorithms are written using imperative style, the "public API" is OOP (class, object, methods) which makes the use of my library a breeze, and the rest is functional. To give you an example of how you would use some crypto-related library that implemented its API (?) in OOP: let x = new Foo.bar in x#absorb a; x#squeeze b; x#reset Or take a look at: https://github.com/xavierleroy/cryptokit/blob/master/src/cryptokit.ml?ts=2#L1023 https://github.com/xavierleroy/cryptokit/blob/master/src/cry... This (this entire file) is a great example, too!
- uHuge 6y agoYou have high-stake operations in relatively small code base, so you better pick a language and tools compatible with formal verification or even supporting it natively.