Presentation about implicit induction

This is a repository with sample code for Fp Meetup in Vilnius Lithuania.

In the talk I will discuss methods of scrapping your boilerplate by using implicit induction and scala's type system. As part of the demo, I will talk about HList and problems it helps us solve.

Definitions

• Induction - The inference of a general law from particular instances (Logic)
  • The production of facts to prove a general statement
  • A means of proving a theorem by showing that if it is true of any particular case it is true of the next case in a series, and then showing that it is indeed true in one particular case.

The reading order is:

1. Basics - examples of induction in programming
2. Tuple - examples of induction using simple data structures
3. Shape - using Shapeless to level up the implementation

References

• Using Recursive Typeclasses to Model your Data by Thurston Sandberg
• Mastering Typeclass Induction-Aaron Levin
• Shapeless

Metadata

• Author: Algimantas Krasauskas
• Topic: Implicit Induction using Scala