This video was recorded at Code Mesh LDN 18 http://bit.ly/2P7SPII Get involved in Code Sync's next conference http://bit.ly/2Mcm4aS --- IDRIS 2: TYPE-DRIVEN DEVELOPMENT OF IDRIS by Edwin Brady THIS TALK IN THREE WORDS: Enthusiasm About Types :) TALK LEVEL: ABSTRACT We've been having lots of fun over the last couple of years investigating the possibilities and limitations of type-driven development in Idris. As we write larger programs, though, we're finding the implementation of Idris is showing the strain - such is the nature of "research quality software" - and recently I decided the time was right to start again, and implement Idris 2 in Idris. In this talk, I'll give an introduction to type-driven development (in Idris 2) and report on progress so far, showing off the most interesting features which the new design enables (notably, linear types and better type inference). Read the full abstract: http://codesync.global/speaker/edwin-brady/ --- THE SPEAKER - EDWIN BRADY Creator of the Idris programming language; Lecturer Edwin is Lecturer in Computer Science at the University of St Andrews in Scotland, interested in type-driven development, domain-specific languages and reasoning about effectful programs. When he's not doing that, he might be playing Go, watching cricket, or wandering around Scotland's hills. More on Edwin Brady: http://codesync.global/speaker/edwin-brady/ --- CODE SYNC & CODE MESH LDN 18 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 18 was sponsored by WhatsApp, Toyota Connected, Erlang Solutions, TEAMango, and aeternity. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeMeshIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global #CodeMesh #Idris #EdwinBrady #TDD