We have heard a lot of engineers talking about different functional languages lately including Idris and Haskell. We found the below slides on Idris for Scala developers by Chris Birchall a Software Engineer at OVO Energy.
The slides are a must read if you have an interest in Idris. Idris is a Pure-functional Haskell-like language and has First-class, dependent types. Happy reading.