One of the pitfall of OCaml that seems completely at odd with the language design has always been the generic comparators: use them on the wrong value type and your program will crash at runtimne, despite the compiler not emitting a single warning. For instance: $ echo let x = compare (+) (-) > bou…

Generic compare that crash at runtime

rixed March 4, 2021, 6:50pm 2

Replying to myself: Just found that this has been answered already by gasche here: Removing polymorphic compare from Core - #12 by gasche

Topic		Replies	Views
Why not compiler check the type when using equal? Learning build	8	969	December 6, 2022
Removing polymorphic compare from Core Ecosystem	20	6009	December 10, 2018
Possible bug in Base.List.map Ecosystem	13	1818	December 3, 2018
Map.Make with polymorphic variant Learning map	6	394	September 12, 2024
Monomorphic comparison operator of Janestreet Base library Learning base	2	2303	February 17, 2018