Type-Driven Development in Practice

This data repository contains the replication package for <em>The Way of Types: A Report on Developer Experience with Type-Driven Development</em>, the goal of which is tounderstand how current practitioners experience the of use type-driven development, andidentify what inhibits the spread of type-driven development to a wider range of developers.We achieve these goals, we conducted an online survey among current practitioners of type-driven development.The survey was distributed along the following channels:the official Zulip chats of Agda, Rocq, and Lean,the official Zulip chat of the EuroProofNet,the official Discourse forums of Rocq and Haskell, andposts on social media by the authors<br>This data repository contains:A PDF file containing the full design of the online survey. If participants did not agree to the informed consent form, they were not able to advance further in the survey. Responses from the following fields were used in the paper: 2, 3, 4, 5, 8, 9, and 12. The remaining fields contained responses that overlapped too much with the other fields, or were demographics questions which did not provide any extra necessary context.A JSON file containing the obtained responses.A README with a description of the structure of the JSON file.A MARKDOWN file containing the <strong>codebook</strong> used to analyse the data.