Totally anecdotal, but recently my wife had to go to urgent care for something wrong with her ankle- They send a 4-5 page sheet of arcane terms and diagnoses to her care app (relayed to me via text) and I just slammed that into gemnai and asked "what does this mean" and it did quite well! Gave possible causes, what it meant for her in the long term vs short term, and ways to prevent it. I had a better understanding of what was wrong before the doctor even got to my wife in the waiting room!
Obviously still double check things, but it was moment of clarity I hadn't really had before this. Still needed the doctor and all the experience to diagnose and fix things, but relaying that info back to me is something doctors are only okay at. Try it out! take a summary sheet of a recent visit or incident and feed it in.
They are an improvement over most languages, but the are _not_ better than sum types for the reasons listed above. Way less flexible and forces a lot more verbosity when compared to more functional languages.
Hes definitely wrong on how the error types can help account for that but it would be best in class if we could properly chain them AND use all the greatness from interfaces.
There is a good argument for never using debuggers except for core development- Once finished your logs/metrics/events should be good enough to understand what is happening in an application. If debugging your application requires breakpoints you wont really be able to debug a live instance, and wont be able to easily signal off what is happening in the future.
> Our hope is that these extensions can over time be contributed to upstream OCaml.
Yeah, its more just extensions to support their use cases at scale. Think of it more as bleeding edge ocmal, once they work out kinks/concerns they'll get merged back into the language OR if it remains ultra specific it'll stay in oxcaml.