Consider my mind blown.. I'd known about cardinality of types such as Maybe and arrow but taking the cardinality of the list type as a geometric series blew mind.. not to mention using derivatives to build traversals of data types, truly insane stuff.. I love how the tree traversal was somewhat guided by the existing definitions rather than being handed down from the heavens as tree algorithms usually are.. great presentation of the material💯
@rallokkcaz
Жыл бұрын
I have moments of clarity throughout this video, but mostly being completely lost is my demeanor lol. Maybe I need to get my PhD in pure maths haha.
Пікірлер: 3