4 ms·
You know those "how to draw Bugs Bunny" art guides they used to include in children's art books? Where they begin with a circle with some guidelines and then do
by Konohamaru 4y ago
You know those "how to draw Bugs Bunny" art guides they used to include in children's art books? Where they begin with a circle with some guidelines and then do a whole bunch of stuff and the end result is Bugs Bunny? But you have no idea how they went from Point A to Point B? That's the same thing with Type Theory.
PROFESSOR: Well, you see, there are different objects, like strings and numbers, that are shaped differently, so we put them into different categories. Those are types! See how simple this is?
<a whole bunch of stuff later>
PROFESSOR: Now the endofunctor of the covariant types are jointly distributed under the free monoid, provided that the pullback doesn't reverberate the time fibration of the dependent type space.
- xigoi 4y agoIf you actually pay attention to the “a whole bunch of stuff”, maybe you'll understand the latter statement.
- Konohamaru 4y agoThat's not possible, because I can't discern the final cause of all these theorems and definitions in "a whole bunch of stuff". It all comes off as a game of defining abstract objects just for their own sake.
- xigoi 4y agoA good teacher should explain why the definitions and theorems are useful. I'm sorry you've had a bad experience.
- Konohamaru 4y agoI don't know if you're a theist, but you can pray for divine grace that this blockage go away. Other religions like Buddhism also teach the power of positive intentions in releasing spiritual blockage.