Update about.eml #1516
Update about.eml #1516
Conversation
Really love this page overall. I thought it is currently underselling OCaml in significant ways. This PR changes a few minor things: I rephrased the type inference part, since it did sound before like only the variables would be inferred. One thing that I removed, is the mention of the Java compiler. That one has received no commit for over 1 1/2 years, and it is unlikely, that it is picked up by anybody, so I changed it to the actually in active development happening ocaml-wasm project. I also changed a few other things, and like to discuss some potential changes to this site here in the comments. Specifically, I think the GC is hugely undersold, since we use two different ones, who are both exceeding the expectations of people, who might be used to garbage collection in other languages. I would like to point out the dual nature of our GC, and how efficient it is. Real World OCaml does a good job with that.
|
Thanks @ShalokShalom! I think you're right that there should be proof and explanation added about the GC being efficient and reliable. |
|
Wonderful. How would that proof look like? |
|
I don't know, maybe there's benchmarks somewhere worth linking to. 🤔 |
|
What do you think of this page? |
Add article about GC
|
I did add that. |
|
I looked around a bit and the best I found is this explanation of the Garbage Collector, however, it doesn't go into details on performance. There are some benchmarks for the compiler at https://sandmark.ocamllabs.io/, including some stats on the GC. I think that might be a useful resource here. |
Final update
|
So, I am fine how it is now. I added a second link, and I think it describes it splendid now. |
|
Go ahead 👍🏻 |
|
@ShalokShalom Thank you! |
Really love this page overall.
And I thought it is currently underselling OCaml in significant ways. This PR changes a few minor things:
I rephrased the type inference part, since it did sound before like only the variables would be inferred.
One thing that I removed, is the mention of the Java compiler. That one has received no commit for over 1 1/2 years, and it is unlikely, that it is picked up by anybody, so I changed it to the “actually in active development” ocaml-wasm project.
I also changed a few other things, and like to discuss some potential changes to this site, here in the comments.
Specifically, I think the GC section forgets about the generational nature of the GC, and what impact that has on performance. Garbage collection generally is seens as a performance hog, and I like to make clear, that this isnt the case here.
You dont need to go to Rust, to get proper system level performance ;)
I would like to point out the dual nature of our GC, and how efficient it is.