1. 2

    Implementing data structures in terms of Church encodings (i.e. catamorphisms or the eliminators). Here is an example using the Option type:


    Here is an example of the List type:


    The point is that data structures become just their catamorphism function. Data structures are functions! How awesome is that?

    1. 1

      Very awesome! Thanks for sharing.

    1. 4

      This really helped me grasp what is so cool about React, recommended.