Type-safe, type-level, type-driven solutions with PureScript | Justin Woo | 2018 FEDC скачать в хорошем качестве

Type-safe, type-level, type-driven solutions with PureScript | Justin Woo | 2018 FEDC

#FunctionalProgramming #PureScript #Type-levelProgramming In this talk, Justin will talk about PureScript and how many problems we solve can be generalized and solved safely using types -- not only to check individual implementations, but to derive implementations automatically using type-level information. Justin will show some examples of how problems we solve with error-prone manual approaches and buggy codegen can instead be solved first-class when using an advanced language like PureScript. 講者 Speaker : Justin Woo Justin is a former materials science lab rat who now spends his time writing PureScript for fun and for work. He lives in Finland as a result of being Twitter friends with André Staltz through talking about Cycle.js. Nowadays, he is most well-known for posting programming memes on Twitter and talking about type-level programming in PureScript to solve a variety of problems, from JSON deserialization to type-safe templating with Symbols and Records, refinement types, and more. Being an immigrant Korean-American, Justin speaks primarily English, but also speaks some amount of Japanese and Korean. Despite having lived now in the land of Moomin for two years, Justin still speaks very little of the Nordic languages, and has even less skill of Chinese. 活動網站 Event site : http://2018.fedc.tw 活動共筆 Share Note: https://hackmd.io/c/fedc2018