17:03 <Soni> how often does ocaml use exceptions?

17:04 <discocaml> <._null._> Quite often I would say

18:18 <discocaml> <ada2k> pretty often, although most good apis offer you an option or error based version

18:23 <discocaml> <yawaramin> for stuff that deals with I/O i'd say exceptions are unavoidable. eg look at Eio

18:24 <companion_cube> exceptions work well with scope based resource management

23:44 <Soni> hmm

23:45 <Soni> think you can make use of this slightly cursed idea? https://soniex2.autistic.space/draft/exception-oriented-programming.xhtml

23:48 <Soni> (it's about when your interface calls itself. for example maybe you have an object that represents a database, and then you have objects that represent, for example, an union of two databases, an intersection of two databases, an "if the first database has this entry, then find the corresponding database in the list and use that for the actual query", and so on. and these also, themselves, act as databases, so you can compose these objects like

23:48 <Soni> they're chains of transformations or something)

23:50 <discocaml> <ape_logic> exceptions are my least favourite part of OCaml (or any language)

23:51 <discocaml> <ape_logic> imo potential errors shouldn't escape the type system this way

23:57 <discocaml> <contificate> at least OCaml's exceptions are very cheap

23:57 <discocaml> <ape_logic> true, but I'm more concerned with dx than runtime cost

23:58 <discocaml> <ape_logic> it has never, ever not completely sucked to hit an error you had no idea was even possible

23:58 <discocaml> <contificate> well, I mean - effect safety would be better overall

23:58 <discocaml> <contificate> as effects subsume exceptions

23:58 <discocaml> <ape_logic> agreed

23:58 <discocaml> <ape_logic> I just want composable, well indicated potential errors lol

23:58 <discocaml> <contificate> I just really get real tired of programming within monads

23:59 <discocaml> <ape_logic> effects are the best approach I've seen, although all the effects talk I see in OCaml is related to concurrency systems

23:59 <discocaml> <contificate> yeah, because the lack of effect safety and intention to use it build scalable concurrency over domains