Connecting...

W1siziisimnvbxbpbgvkx3rozw1lx2fzc2v0cy9zawduawz5lxrly2hub2xvz3kvanbnl2jhbm5lci1kzwzhdwx0lmpwzyjdxq

Idris for Scala developers

W1siziisijiwmtgvmdmvmtmvmtevmzqvmtyvodk1l2rvd25sb2fklnbuzyjdlfsiccisinrodw1iiiwiotawedkwmfx1mdazzsjdxq

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.