Totally Typed
Talk
Thu 10:15 - 10:45
You don't need a laptop
Caleano
Software Design
Summary
TDD as in Type Driven Development is a new beast on the block. Get a glimpse of what it can do and what it is like to develop types-first. Understand the cycle of Type-Define-Refine. Similarities between TestDD and TypeDD.
Traditionally strongly typed languages has had a very obnoxious compiler that punishes every little developer mistake with marginally helpful error message. Thanks to Idris this has totally changed. Idris uses the power of the compiler to help you get it to compile by suggesting solutions(!), by letting you partially define the program, and by making the type information as visible to you as possible.
Did statically typed languages just become more powerful and easier?
Who is it for?
AlbertArchitect
ChrisCTO
DianaDevOps
MeganManager
TamaraTeam
Leader
Leader
DavidDeveloper
BiancaBusiness
Analyst
Analyst
TudorTester
Leave a Reply