Johan Martinsson

Get rid of whole families of bugs for good with 21 tricks to reduce the space available for bugs.

Bugs are not a fatality, they appear whenever the design allows for it. Learn how to fix the root-causes and how to give an intrinsic quality to your code.

You’ll look at static and dynamic typing in a different way. Learn about NoPrimitives, coupling & cohesion, if-less. We’ll talk about the feedback-funnel and how it all scales from micro design to micro-services and to macro-design.

Loads of concrete examples and some live coding

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?