{"action":"created","issue":{"url":"https://api.github.com/repos/Gabriel439/post-rfc/issues/39","labels_url":"https://api.github.com/repos/Gabriel439/post-rfc/issues/39/labels{/name}","comments_url":"https://api.github.com/repos/Gabriel439/post-rfc/issues/39/comments","events_url":"https://api.github.com/repos/Gabriel439/post-rfc/issues/39/events","html_url":"https://github.com/Gabriel439/post-rfc/issues/39","id":102449908,"number":39,"title":"Incremental Development","user":{"login":"ExternalReality","id":1026081,"avatar_url":"https://avatars.githubusercontent.com/u/1026081?v=3","gravatar_id":"","url":"https://api.github.com/users/ExternalReality","html_url":"https://github.com/ExternalReality","followers_url":"https://api.github.com/users/ExternalReality/followers","following_url":"https://api.github.com/users/ExternalReality/following{/other_user}","gists_url":"https://api.github.com/users/ExternalReality/gists{/gist_id}","starred_url":"https://api.github.com/users/ExternalReality/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ExternalReality/subscriptions","organizations_url":"https://api.github.com/users/ExternalReality/orgs","repos_url":"https://api.github.com/users/ExternalReality/repos","events_url":"https://api.github.com/users/ExternalReality/events{/privacy}","received_events_url":"https://api.github.com/users/ExternalReality/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2015-08-21T19:45:13Z","updated_at":"2015-08-22T02:36:02Z","closed_at":null,"body":"Hello Gabriel. About the same time that I stumbled upon Haskell I was also being taught the practice of incremental development techniques (TDD and so forth). Haskell's type system in general, partial type signatures, type holes, mature testing, purity, and laziness, make the Haskell experience, IMHO,  \"Best In Class\" in the  Incremental Development category. Incremental development is a popular topic and perhaps it deserves a section in this fine article."},"comment":{"url":"https://api.github.com/repos/Gabriel439/post-rfc/issues/comments/133627447","html_url":"https://github.com/Gabriel439/post-rfc/issues/39#issuecomment-133627447","issue_url":"https://api.github.com/repos/Gabriel439/post-rfc/issues/39","id":133627447,"user":{"login":"Gabriel439","id":1313787,"avatar_url":"https://avatars.githubusercontent.com/u/1313787?v=3","gravatar_id":"","url":"https://api.github.com/users/Gabriel439","html_url":"https://github.com/Gabriel439","followers_url":"https://api.github.com/users/Gabriel439/followers","following_url":"https://api.github.com/users/Gabriel439/following{/other_user}","gists_url":"https://api.github.com/users/Gabriel439/gists{/gist_id}","starred_url":"https://api.github.com/users/Gabriel439/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Gabriel439/subscriptions","organizations_url":"https://api.github.com/users/Gabriel439/orgs","repos_url":"https://api.github.com/users/Gabriel439/repos","events_url":"https://api.github.com/users/Gabriel439/events{/privacy}","received_events_url":"https://api.github.com/users/Gabriel439/received_events","type":"User","site_admin":false},"created_at":"2015-08-22T02:36:02Z","updated_at":"2015-08-22T02:36:02Z","body":"How about this:\r\n\r\n* I rename the \"Types\" section to \"Types / Type-driven development\"\r\n* I add a paragraph to that section talking about this rough concept and type-holes and partial type signatures\r\n\r\nThat will at least get the phrase \"Type driven development\" out there and in people's minds so they can start connecting the dots.  I view this concept as being heavily related to the \"Types\" section in general, which is why I would prefer to group the two."}}