payload: {"action":"created","issue":{"url":"https://api.github.com/repos/Zaid-Ajaj/Feliz/issues/108","repository_url":"https://api.github.com/repos/Zaid-Ajaj/Feliz","labels_url":"https://api.github.com/repos/Zaid-Ajaj/Feliz/issues/108/labels{/name}","comments_url":"https://api.github.com/repos/Zaid-Ajaj/Feliz/issues/108/comments","events_url":"https://api.github.com/repos/Zaid-Ajaj/Feliz/issues/108/events","html_url":"https://github.com/Zaid-Ajaj/Feliz/issues/108","id":520315998,"node_id":"MDU6SXNzdWU1MjAzMTU5OTg=","number":108,"title":"Proposal for the `type` attribute: omit it altogether","user":{"login":"Zaid-Ajaj","id":13316248,"node_id":"MDQ6VXNlcjEzMzE2MjQ4","avatar_url":"https://avatars3.githubusercontent.com/u/13316248?v=4","gravatar_id":"","url":"https://api.github.com/users/Zaid-Ajaj","html_url":"https://github.com/Zaid-Ajaj","followers_url":"https://api.github.com/users/Zaid-Ajaj/followers","following_url":"https://api.github.com/users/Zaid-Ajaj/following{/other_user}","gists_url":"https://api.github.com/users/Zaid-Ajaj/gists{/gist_id}","starred_url":"https://api.github.com/users/Zaid-Ajaj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zaid-Ajaj/subscriptions","organizations_url":"https://api.github.com/users/Zaid-Ajaj/orgs","repos_url":"https://api.github.com/users/Zaid-Ajaj/repos","events_url":"https://api.github.com/users/Zaid-Ajaj/events{/privacy}","received_events_url":"https://api.github.com/users/Zaid-Ajaj/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2019-11-09T02:13:48Z","updated_at":"2019-11-09T11:23:18Z","closed_at":"2019-11-09T11:23:18Z","author_association":"OWNER","body":"Right now we have used the enum `withType` to specify the type of the Html `input` elements as follows:\r\n```fs\r\nHtml.input [\r\n  prop.className \"form-control\"\r\n  prop.withType.password\r\n  prop.valueOrDefault state.Whatever\r\n]\r\n```\r\nThe more I write it, the more weird it feels because `withType` is usually used the context of functions when chaining them using the `|>` operator but here they are just enums. \r\n\r\nIn the recharts binding, I took the liberty to experiment with the `type` attribute because some components like `Line` and `Area` also have this property and I have chosen to omit it and use the value directly as a valid attribute for that chart in subject:\r\n```fs\r\nRecharts.area [\r\n    area.monotone\r\n    area.dataKey (fun point -> nameof point.uv)\r\n    area.stroke \"#8884d8\"\r\n    area.fillOpacity 1\r\n    area.fill \"url(#colorUv)\"\r\n]\r\n```\r\nNotice here the attribute `area.monotone` is actually short-hand for `type=\"monotone\"` from the JS equivalent and I am happy with in, this is nice too for the native properties like that:\r\n```fs\r\nHtml.input [\r\n  prop.password\r\n  prop.className \"form-control\"\r\n  prop.valueOrDefault state.Whatever\r\n]\r\n``` \r\nVery short, you get used it quickly and doesn't feel weird. I would personally also like `props.types.password` but again that feels like too many key strokes...\r\n\r\nI was wondering what you guys think of it: @MangelMaxime, @cmeeren, @zanaptak, @Shmew "},"comment":{"url":"https://api.github.com/repos/Zaid-Ajaj/Feliz/issues/comments/552090864","html_url":"https://github.com/Zaid-Ajaj/Feliz/issues/108#issuecomment-552090864","issue_url":"https://api.github.com/repos/Zaid-Ajaj/Feliz/issues/108","id":552090864,"node_id":"MDEyOklzc3VlQ29tbWVudDU1MjA5MDg2NA==","user":{"login":"Zaid-Ajaj","id":13316248,"node_id":"MDQ6VXNlcjEzMzE2MjQ4","avatar_url":"https://avatars3.githubusercontent.com/u/13316248?v=4","gravatar_id":"","url":"https://api.github.com/users/Zaid-Ajaj","html_url":"https://github.com/Zaid-Ajaj","followers_url":"https://api.github.com/users/Zaid-Ajaj/followers","following_url":"https://api.github.com/users/Zaid-Ajaj/following{/other_user}","gists_url":"https://api.github.com/users/Zaid-Ajaj/gists{/gist_id}","starred_url":"https://api.github.com/users/Zaid-Ajaj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zaid-Ajaj/subscriptions","organizations_url":"https://api.github.com/users/Zaid-Ajaj/orgs","repos_url":"https://api.github.com/users/Zaid-Ajaj/repos","events_url":"https://api.github.com/users/Zaid-Ajaj/events{/privacy}","received_events_url":"https://api.github.com/users/Zaid-Ajaj/received_events","type":"User","site_admin":false},"created_at":"2019-11-09T11:23:18Z","updated_at":"2019-11-09T11:23:18Z","author_association":"OWNER","body":"Alright, stupid idea then hahah, thanks guys for the feedback :smile: "}}
other: {"actor":{"display_login":"Zaid-Ajaj"}}