Mastering Typeclass Induction-Aaron Levin

[@i6g7f]

one of my favorite tutorials :) Thank You so much for sharing!

[@alihammadshah]

there was this typeclass in purescript i cannot remember now. But it was some sort of typeclass that said, if the element within is a functor the container is functor. Suddenly i had this realization that this is actually kind of recursive definition. f (f a) is a functor then f (f (f a)) is a functor then f (f (f (f a))) is a functor. Felt like induction but I don't really know. at that moment i was like wtf wow. Anyways the Base case would be type constructor f a is a functor, like ' Array Number ' , the inductive case was f (f a) (assuming f a is functor) 'Array (Array Number)'

[@NicolauWerneck]

Great stuff

[@cynocephalusw]

Schon verrückt, was da möglich ist.

[@yaroslavsydorenko]

Nice talk, but “hammer and sickle” in the terminal 🤮