Introduction to FP ( https://github.com/rolling-scopes-school/lectures/blob/master/lectures/fp.md )