Dependent Haskell has been desired in the community of Haskell
programmers for a long time.
In this talk, I will show how to write dependently typed programs in Haskell nowadays and in Idris respectively for simple comparison. I will also briefly show how to use the singletons library to reduce the boilerplate code. Finally I will introduce the project of Dependent Haskell.
Speaker: Ningning Xie