Stream: Coq devs & plugin devs

Topic: String.map function


view this post on Zulip masterbuilder (May 14 2024 at 13:15):

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.

view this post on Zulip Gaëtan Gilbert (May 14 2024 at 13:18):

I don't think there's any particular reason

view this post on Zulip Pierre Roux (May 14 2024 at 14:08):

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