It's a Kind of Magic: Kinds in Type Theory

Riccardo Cardin on February 22, 2019

Originally posted on: Big ball of mud I am not an expert of functional programming, nor type theory. I am currently trying to enter the world of... [Read Full]
markdown guide
 

I started reading this with a lot of enthusiasm but soon my head started hurting! Man, types are tough! 😵😵 Anyway, thanks for writing this. Someday I'll be able to read FP discussions without dying. 🤭

 

Noooo, I am sorry, dude! Which part did you not understand? Maybe I can explain it better.

code of conduct - report abuse