Month: January 2021

  • Dependent types: formal definition and examples

    Dependent types: formal definition and examples

    Dependent types have been gaining a lot of attention among programmers. Some would say it’s “the next thing” in programming. Why is it gaining popularity? In this post, I hope to show some of the advantages of dependent types and get you started on programming in dependent types. To understand dependent types, let’s take a…