Ah, I see. Yeah I notice there is a lot of web development going on here. I'm more a mathematician than a developer, although I made this site here last week for fun, haha
http://blockchain-technology.appspot.com/
Typed functional programming is a world on it's own, as you may find out. I will be explaining Idris, but slow and in detail, and in my math series, I'll end up here:
https://en.wikipedia.org/wiki/Intuitionistic_type_theory
and go beyond. Although I'll keep it friendly. You'll like the post tomorrow morning ;)