{"action":"created","issue":{"url":"https://api.github.com/repos/whatyouhide/stream_data/issues/64","repository_url":"https://api.github.com/repos/whatyouhide/stream_data","labels_url":"https://api.github.com/repos/whatyouhide/stream_data/issues/64/labels{/name}","comments_url":"https://api.github.com/repos/whatyouhide/stream_data/issues/64/comments","events_url":"https://api.github.com/repos/whatyouhide/stream_data/issues/64/events","html_url":"https://github.com/whatyouhide/stream_data/issues/64","id":274158017,"number":64,"title":"Slow generation of list of strings","user":{"login":"xadhoom","id":197981,"avatar_url":"https://avatars1.githubusercontent.com/u/197981?v=4","gravatar_id":"","url":"https://api.github.com/users/xadhoom","html_url":"https://github.com/xadhoom","followers_url":"https://api.github.com/users/xadhoom/followers","following_url":"https://api.github.com/users/xadhoom/following{/other_user}","gists_url":"https://api.github.com/users/xadhoom/gists{/gist_id}","starred_url":"https://api.github.com/users/xadhoom/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xadhoom/subscriptions","organizations_url":"https://api.github.com/users/xadhoom/orgs","repos_url":"https://api.github.com/users/xadhoom/repos","events_url":"https://api.github.com/users/xadhoom/events{/privacy}","received_events_url":"https://api.github.com/users/xadhoom/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":5,"created_at":"2017-11-15T13:34:45Z","updated_at":"2017-11-28T21:14:53Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"While trying to generate a list of string, I noticed that the generators are slower as the charset shrink.\r\n\r\nthe following example:\r\n```\r\ndefmodule NonemptyTest do\r\n  use ExUnit.Case\r\n  use ExUnitProperties\r\n\r\n  property \"slow\" do\r\n    check all _ <- list_of(binary()) do\r\n    end\r\n  end\r\n\r\n  property \"slower\" do\r\n    check all _ <- list_of(string(:ascii)) do\r\n    end\r\n  end\r\n\r\n  property \"slowest\" do\r\n    check all _ <- list_of(string(:alphanumeric)) do\r\n    end\r\n  end\r\n\r\n  property \"fastest\" do\r\n    check all _ <- list_of(integer()) do\r\n    end\r\n  end\r\n\r\nend\r\n```\r\n\r\ntakes on my pc ~2.1 seconds on first test, ~2.5 on second, ~6 on third and immediate on latest.\r\n\r\nI don't know if this is expected (I can see reasons for that), but maybe worth looking into?\r\n"},"comment":{"url":"https://api.github.com/repos/whatyouhide/stream_data/issues/comments/347665839","html_url":"https://github.com/whatyouhide/stream_data/issues/64#issuecomment-347665839","issue_url":"https://api.github.com/repos/whatyouhide/stream_data/issues/64","id":347665839,"user":{"login":"xadhoom","id":197981,"avatar_url":"https://avatars1.githubusercontent.com/u/197981?v=4","gravatar_id":"","url":"https://api.github.com/users/xadhoom","html_url":"https://github.com/xadhoom","followers_url":"https://api.github.com/users/xadhoom/followers","following_url":"https://api.github.com/users/xadhoom/following{/other_user}","gists_url":"https://api.github.com/users/xadhoom/gists{/gist_id}","starred_url":"https://api.github.com/users/xadhoom/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xadhoom/subscriptions","organizations_url":"https://api.github.com/users/xadhoom/orgs","repos_url":"https://api.github.com/users/xadhoom/repos","events_url":"https://api.github.com/users/xadhoom/events{/privacy}","received_events_url":"https://api.github.com/users/xadhoom/received_events","type":"User","site_admin":false},"created_at":"2017-11-28T21:14:53Z","updated_at":"2017-11-28T21:14:53Z","author_association":"CONTRIBUTOR","body":"@whatyouhide yes on master is definitely faster, circa 4x on all test except on \"slowest\" were I measure 8x improvement"}}
{"actor":{"display_login":"xadhoom"}}