Abstraction and Learning with Runar Bjarnason
CoRecursive: Coding Stories
00:00
Is There an Abstraktion Bias?
In terms of poly morphis, if i have a function that takes in an anteger and returns an anager, then that is concrete. So what is that abstraction bias? Well, so the caller of the function can now select which type the function should operate on. And because the caller can pick absolutely any ype, that means that you have no hope of writing a specialized programme that works for every type idea. You have to write a general purposed one, and there's only one that could possibly work. That relationship is called an ajunction. What's in a junction? I might regret asking that. A junction is an idea from category theory. It's a relationship
Transcript
Play full episode
