Similarities and differences between Homotopy Type Theory and Haskell’s Type System?
HoTT is still academically a bit beyond me, and I would like to understand what potential promises it holds.
What advantages over Haskell's Types?
Are there significant barriers (besides immaturity) to incorporating HoTT ideas into Haskell?
What are some exciting / motivating examples of HoTT?
Submitted July 18, 2017 at 08:03AM by BayesMind
via reddit http://ift.tt/2u4ugA8