Tony Morris

"I'm struggling to understand why I need the notion of a Functor to understand ...lazy mapping of a function over a stream." > You don't, for this one example. > You don't, for *any one* example. you need the notion of a functor to *generalize* https://news.ycombinator.com/item?id=17372644 …

I've never taken a CS course in my life so I know nothing about how the subject is taught. Is the idea of *abstraction* ever taught explicitly as a thing in its own right?

Having never been in a CS claas myself, I really can't say. My logic courses taught me, I suppose math majors are accustomed to abstractions as well. CS at the undergrad level at least often seems not to know what it is or should be.