Hi, I hope this is the right place to be posting this, I apologize if it's not. Is there a strong reason why the stdlib String
module is lacking a function map : (ascii -> ascii) -> string -> string
? Since there is conversion to/from list ascii
it is in some sense "unneeded" but given that one can now extract to OCaml strings via ExtrOcamlNativeString
it seems like it would be useful to have this function and add support for extraction. Is there any interest in that? I would be happy to contribute if that is the case.
I don't think there's any particular reason
In my small experience, this part of the stdlib is not the most complete one, I guess stdlib maintainers would welcome a pull request with such additions.
Last updated: Oct 13 2024 at 01:02 UTC