;; Getting rid of explicit indexing was just step one.
-- After a few days/months/years, I now realize that it is more important and less buggy if I think only of the function to call (and whether I want to end up with a new (maybe pruned) collection, a single thing, or "both" (that's how I think of scans))
I do know that maps/folds/etc. can be generalized to anything belonging to the functor class in #haskell; so things like trees and other "container" type things beyond just lists. However, I didn't want to introduce special terminology in what was otherwise free of such jargon.
As for the rest of what you said, I don't know enough category theory to understand what you meant, although I can recognize them as being category theory terms.
Thanks for pointing out the connections. Hopefully, one day I'll get to a level of understanding where I can grok what you said.
@aksharvarma I was just yes-and-ing your post with what I think is the next step.
There's definitely categorical jargon, but that's how you fit the idea into 500 characters.
Basically every "container" type is recursive: some trivially [e.g. (a,a)] and some in much more interesting ways. Each of the "layers" is a (categorical) functor, the container is just a fixed-point (recursive self-call) of that functor.
Okay, my stream is going live now. I'm not going to do a very long stream, just a couple hours to get back into the groove. Feel free to come by for some #fedimusic
Loops will launch with a chronological only feed, then a Followers feed and finally the For You feed.
Before we can serve personalized feeds, we need to build and label the video and topic graphs. We will be A/B testing the For You page during the next few weeks. You will be able to tell because there will a new For You header menu!
I've seen people mention that the Loops push notifications are dark patterns, and that is not my intention at all
I'm not encrypting the notifications and they can be collected by various parties (NSA, Apple, Google) so I didn't want to include any more metadata than I needed to