#math #notation #functional_programming #computer_science #scala #book #Intro
https://www.youtube.com/watch?v=tgr_dV7_53s
https://www.youtube.com/watch?v=tgr_dV7_53s
YouTube
Functional programming. Reasoning about types and code (hors série)
I have been writing up my functional programming tutorials as chapters for a new book, "The Science of Functional Programming". This presentation focuses on one of the main themes of the book - the techniques and applications of mathematical reasoning about…