search

RedPRL / ocaml-bwd

🔙 Backward lists for OCaml
https://ocaml.org/p/bwd
Apache License 2.0
19 stars 2 forks source link

❌ Deprecate concat_map #3

Closed favonia closed 2 years ago

favonia commented 2 years ago

It is very unclear to me which type this function should have, and currently it is not used. There are seven combinations to consider:

val concat_map : f:('a -> 'b bwd/list) -> 'a bwd/list -> 'b bwd/list
(* A bwd/list represents an independent option, except that
   the list-list-list case is exactly List.concat_map. *)

I wonder which one is the most natural, most "well-typed" one?