You guys should record a video chat on the subject 
I bet it would be fun to watch
andre1sk
OvermindDL1
Downside of what part?
If GC, then OCaml’s GC being generic (though not as generic as Java and .NET’s) means that it cannot make a lot of assumptions that, say, the BEAM GC can, such as it cannot assume that older things do not reference newer things, where that is impossible on the BEAM (which saves a surprising amount of tracing time right there).
The downside of static typing means you have to make certain allowances if you allow hot-code loading. ^.^;
Lol, except a lot involves typing up a post and re-typing parts over and over until it looks good, a video chat would be more… messy. ^.^;
1
ShalokShalom
OvermindDL1
It doesn’t really effect tracing, what it effects is what the system can assume about the lifetimes of allocated memory.
1
ShalokShalom
OvermindDL1
Really?! Oh what was it called… ppx_lwt, that’s it!
It’s primarily used for async work, but it actually supports more (and other similar ones).
1
ShalokShalom
Thanks a lot.
Drup, the creator of this lib means:
that’s only for lwt, not for all monads, and it’s not really a do notation
Yaron Minsky means Reason solves a lot of the syntax issues of OCaml:
0
OvermindDL1
Correct, as stated that one is primarily for lwt/async, but it is still a monad implementation and there are others that follow the same style as well.
I honestly don’t think a lot of things many consider as ‘syntax issues’ are actual syntax issues. OCaml’s syntax is carefully picked to be entirely unambiguous, safe, and concise while remaining readable, and I think it succeeds in that. ReasonML ‘so far’ just seems to add a lot of fluff that does not bring much of anything to the language as of yet.
2
ShalokShalom
I guess your coding style differs much from Yaron`s which explains that difference in the experience.
You might run less into issues, which he faces quite regular. Otherwise, I cant explain that difference to myself.
0
gon782
I doubt that that’s a personal assessment from Minsky. He regularly deals with people who don’t know OCaml but have to deal with their code base and in some cases they’re not even programmers. I’m sure he’s picked up what people find most confusing about OCaml from exposure to peoples’ struggles and speaks from that position.
1