Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18

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-...

---

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-...

---

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:   / codesyncglobal  
LinkedIn:   / code-sync  
Mail: info at codesync.global

#CodeMesh #Idris #EdwinBrady #TDD