{"action":"closed","issue":{"url":"https://api.github.com/repos/cloudRoutine/issueTestRepo/issues/257","repository_url":"https://api.github.com/repos/cloudRoutine/issueTestRepo","labels_url":"https://api.github.com/repos/cloudRoutine/issueTestRepo/issues/257/labels{/name}","comments_url":"https://api.github.com/repos/cloudRoutine/issueTestRepo/issues/257/comments","events_url":"https://api.github.com/repos/cloudRoutine/issueTestRepo/issues/257/events","html_url":"https://github.com/cloudRoutine/issueTestRepo/issues/257","id":182451535,"number":257,"title":"Add String.filter","user":{"login":"cloudRoutine","id":680051,"avatar_url":"https://avatars.githubusercontent.com/u/680051?v=3","gravatar_id":"","url":"https://api.github.com/users/cloudRoutine","html_url":"https://github.com/cloudRoutine","followers_url":"https://api.github.com/users/cloudRoutine/followers","following_url":"https://api.github.com/users/cloudRoutine/following{/other_user}","gists_url":"https://api.github.com/users/cloudRoutine/gists{/gist_id}","starred_url":"https://api.github.com/users/cloudRoutine/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cloudRoutine/subscriptions","organizations_url":"https://api.github.com/users/cloudRoutine/orgs","repos_url":"https://api.github.com/users/cloudRoutine/repos","events_url":"https://api.github.com/users/cloudRoutine/events{/privacy}","received_events_url":"https://api.github.com/users/cloudRoutine/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/cloudRoutine/issueTestRepo/labels/completed","name":"completed","color":"540977"}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-10-12T07:10:37Z","updated_at":"2016-10-12T10:09:26Z","closed_at":"2016-10-12T10:09:26Z","body":"# Idea 5975011: Add String.filter #\n\n**Status : completed**  \n**Submitted by Patrick Q on 5/27/2014 12:00:00 AM**  \n**4 votes**\n\nThe absence of a filter function from the String module is a major deficit for the usefulness of the String module. It already supports map, mapi, iter and iteri, so it seems quite strange that filter is missing. Not having a filter function means that we have to turn the string into an array (or seq/list), do the filtering and then convert back to a string, resulting in complicated and convoluted code.\r\nAs map, mapi, iter and iteri already exist it would seem that most of the core machinery already exists, so it shouldn't be too difficult to add a filter function.\r\nI would like add that a filter function would actually be more useful for string processing that map and iter, so it's absence is all the more puzzling.\n\n\n\n## Response \n** by fslang-admin on 11/8/2014 12:00:00 AM **\n\nThis work has been completed for the “fsharp4” branch, see https://visualfsharp.codeplex.com/SourceControl/network/forks/marten_range/visualfsharp/contribution/7255\r\nThanks\r\nDon Syme, current BDFL for F# Language Design\n[Archived Uservoice Comments](../tree/master/archive/suggestion-5975011-add-string-filter.md#comments)\n"}}
{"actor":{"display_login":"cloudRoutine"}}