Using Base and our PPXs, it looks like this. Still more verbose than would be ideal, but avoids polymorphic compare, which is an anti-pattern.
blog.janestreet.com/the-perils-o...
Yaron Minsky
@yminsky.bsky.social
1.8K followers 290 following 3K posts
Occasional OCaml programmer. Host of Signals and Threads signalsandthreads.com
![open Base
module String_list = struct
type t = string list [@@deriving sexp, compare]
include functor Comparable.Make
end
let s = Set.of_list (module String_list) [ [ "foo"; "bar" ]; [ "snoo" ] ]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:jhnchvs2ckihq2w5nz5oioxm/bafkreianfuqeqgdcluzfikhngd6vso63zxvwpaq5vmnck447zubq44yyw4)
![open Base
let s = Set.of_list (module String) [ "foo"; "bar"; "baz" ]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:jhnchvs2ckihq2w5nz5oioxm/bafkreidu3htsgentafawp5aiua2vwnkbcsq6kf4b4ifnrxhmzr4yxunkdy)
![open Base
module Tuple = struct
module T = struct
type t = int * string [@@deriving compare, sexp]
end
include T
include Comparable.Make (T)
end
let set = Set.singleton (module Tuple) (3, "foo")](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:jhnchvs2ckihq2w5nz5oioxm/bafkreigipfx44myyyroioufzrzpbpntwxvv5l6ctfsubkdoynfxjblmvwu)
