by tmattio on 4/29/22, 5:36 PM
Hi! I am a contributor of this new version of ocaml.org.
Just wanted to also link the announcement post here: https://discuss.ocaml.org/t/v3-ocaml-org-we-are-live/9747.
This new website comes with lots of improvements over the previous version, and in particular, the team has been working hard on the following:
- Central OCaml package documentation, which contains the documentation of every version of every OCaml packages. (https://ocaml.org/packages)
- OCaml job board, which lists job opportunities from the community. (https://ocaml.org/opportunities)
- OCaml success stories which explore how major OCaml industrial users solved real-world challenges using OCaml. (https://ocaml.org/industrial-users)
- An interactive OCaml playground to try OCaml code directly in the browser. (https://ocaml.org/play)
- A syndicated blog, which links to blog articles from the community and offers original blog posts. (https://ocaml.org/blog)
I'm thrilled that the website is live after more than a year of development! We hope that this will help new comers to have a smoother experience when trying OCaml (in particular with OCaml 5 coming soon), so don't hesitate to share feedback on how we can improve it further!
by hardwaregeek on 4/29/22, 5:03 PM
It's a nice website and certainly an improvement from the older one. I just hope that this isn't the only area where OCaml improves. I'd love a consistent documentation source a la docs.rs, better support for language servers, and maybe an explicit effort to build out a good package ecosystem.
I really want to like OCaml but the usability story is so far behind Rust. The language is stunning but the ecosystem needs a lot of work.
by cultofmetatron on 4/29/22, 4:43 PM
I love that we now live in an age where older languages can suddenly start seeing a renaissance. I hope something similar comes to common lisp.
by _benj on 4/29/22, 5:00 PM
What is OCaml mostly used for? Like Ada for aerospace or Erlang for concurrency, does OCaml has a niche like that?
by junon on 4/29/22, 7:06 PM
Kind of an annoying point but I'm tired of seeing factorial-like functions as the first demos of PL sites. It does nothing to explain how the language works, what it looks like, what any defining/unique features are, what the standard library - if any - might have included, etc.
by conroy on 4/29/22, 7:00 PM
This landing page includes a pet peeve: zero-context social proof.
It's great to know that Microsoft, Docker, and Facebook use OCaml. Buy do they use it seriously? The industrial users (https://ocaml.org/industrial-users) page links directly the company websites. Only two logos from the home page have case studies. Don't just tell me that Microsoft uses OCaml, tell me how!
by Orangeair on 4/29/22, 4:43 PM
Initial impression: why do the first two blocks of text say almost exactly the same thing?
by valcron1000 on 4/29/22, 7:50 PM
What's the current state of OCaml regarding parallelism & concurrency? Is it like Node.js where I have single threaded async/await model or do I have access to parallelism?
by __david__ on 4/29/22, 5:41 PM
A nit about the code sample syntax highlighting, shouldn't "rec" be highlighted as a keyword and "fac" be the yellowish color that "square" was in the first line?
by mrcrumb1 on 4/29/22, 6:00 PM
Why do functional programming examples always use such short names? I feel like it adds extra cognitive overhead to trying to learn something that's got plenty of foreign concepts to grok.
by QuikAccount on 4/29/22, 4:42 PM
OCaml is a language that I'd really like to use more in my day to day but can't find a use for.
by continuational on 4/29/22, 8:39 PM
> General-Purpose, Industrial-Strength, Expressive, and Safe
> Here's how to do square and factorial.
Show, don't tell.
by agumonkey on 4/29/22, 5:47 PM
It's not new, it's function of the old.
by asymmetric on 4/29/22, 5:47 PM
The “Carbon Footprint” page[0] is a nice touch. Not much in terms of concrete action there, but the fact it has been written (and linked to in the footer) is a good start.
[0]: https://ocaml.org/carbon-footprint
by plainOldText on 4/29/22, 10:00 PM
I know these languages are both members of the ML language, but why would one pick OCaml over F#?
I've toyed a bit with both and F# seems a bit more ergonomic: pipes, computation expressions, a more concise syntax, etc. I do like how fast the OCaml compiler is though.
by nazka on 4/30/22, 12:09 AM
I wish people will use Reason[1] more often and create a vibrant ecosystem with it. It’s the perfect language. Functional, ML but not so hard as Haskel. Very fast to learn and easy to use. And some powerful features like the switch couple with other types and structures. Also no null and undefined and stuff only one thing « None » which avoid many bugs.
[1] https://reasonml.github.io/
by Erlangen on 4/29/22, 7:40 PM
by gmfawcett on 4/29/22, 4:56 PM
The "build time" graph is missing a time unit on its y-axis.
by asplake on 4/29/22, 4:36 PM
What is the OCaml web development story now? What is it like to use?
by TheMagicHorsey on 4/29/22, 7:25 PM
Is MirageOS (Ocaml unikernel) still making forward progress? Ten years ago I thought security sensitive apps would all move to unikernals, but it never happened.
by hbn on 4/29/22, 7:06 PM
I see those Tailwind classes!
by wawjgreen on 4/29/22, 10:47 PM
IntellijIDEA has a plugin called ReasonML which also works for Ocaml.