Shakti will be used in next iPhone I guess.
Why? I’m honestly interested in you’re theory.
OCaml on Baremetal Shakti RISC-V Processor
31–40 of 77 posts
Re: OCaml on Baremetal Shakti RISC-V Processor
#32OCaml 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?
Companies using OCaml: https://ocaml.org/learn/companies.html
What is OCaml used for? https://www.quora.com/What-is-OCaml-used-for?share=1
Further infos:
awesome-ocaml - A curated collection of awesome OCaml tools, frameworks, libraries and articles: https://github.com/ocaml-community/awesome-ocaml
OCamlPro Research and Development: https://www.ocamlpro.com/research-and-development/
OCaml Weekly News (RSS): http://alan.petitepomme.net/cwn/cwn.rss
Re: OCaml on Baremetal Shakti RISC-V Processor
#33OCaml 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?
This is OCaml's problem: it's a great language with no users. ReasonML is trying to solve this by making it more approachable, and they're making steady progress.
> This is OCaml's problem: it's a great language with no users.
My other post in this thread proves the opposite.
Re: OCaml on Baremetal Shakti RISC-V Processor
#34Earlier quoted context omitted.
This is OCaml's problem: it's a great language with no users. ReasonML is trying to solve this by making it more approachable, and they're making steady progress.
> This is OCaml's problem: it's a great language with no users. My other post in this thread proves the opposite.
It's hyperbole. Relative to larger languages, there are few users.
Re: OCaml on Baremetal Shakti RISC-V Processor
#35I like the direction Shakti team is taking with the project, skilled personnel teasing practicality; Although I believe that the secure application project is intended for defence purposes.
Re: OCaml on Baremetal Shakti RISC-V Processor
#36Re: OCaml on Baremetal Shakti RISC-V Processor
#37OCaml 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?
> any big non language projects written in OCaml
Coq proof assistant (https://coq.inria.fr). Well, you can say it is language-related, but it’s a lot more than that.
Re: OCaml on Baremetal Shakti RISC-V Processor
#38OCaml 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?
I'd love to use it, but there seems to be no multicore support.
Re: OCaml on Baremetal Shakti RISC-V Processor
#39OCaml 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?
I'd love to use it, but there seems to be no multicore support.
I obviously don't t know your use case, but the more I look into multi-core code, the less impressed with it I am. I think you're almost always better with a tight loop and a good persistence strategy. If the thing you're doing really benefits trivially from easy paralellism, I'd lean on gpus anyways...
Re: OCaml on Baremetal Shakti RISC-V Processor
#40Earlier quoted context omitted.
I'd love to use it, but there seems to be no multicore support.
I obviously don't t know your use case, but the more I look into multi-core code, the less impressed with it I am. I think you're almost always better with a tight loop and a good persistence strategy. If the thing you're doing really benefits trivially from easy paralellism, I'd lean on gpus anyways...
Well one usecase I have in mind is a fast distributed datastore that integrates well with the rest of the language. This means I need threads, to do transaction processing. And I also need shared memory at the language's object level, allowing structural sharing for efficiency.