1
Category Theory videos by Bartosz Milewski
(diode.zone)
Idris, Haskell, Elm, Mercury, etc. and sometimes even functional programming paradigms in imperative languages