æʃliŋ, loaf of autismo @aescling@cat.family

a list is a type with constructors cons and nil. fold takes handlers fur both of those (nil being handled by just purroducing any arbitrary value). it recurses because the second argument to cons is a list

(foldr f z '(1 2 3)) transfurms (cons 1 (cons 2 (cons 3 '()))) into (f 1 (f 2 (f 3 z)))

something rearranged in my brain when i saw some instructional haskell resource make the observation that fold is just replacing the constructors of a data type with a function that purrocesses them. it’s just the canonical destructor fur an inductively defined type

@amy we love gay women here in the cat family

@coriander @wallhackio though now you say that it’s obviously a rabbit

@coriander @wallhackio i would have fully believed you if you said it was something photoshopped to have a surly looking cat face in the center, i won’t lie

@u2764 you weren’t kidding about the pope using dialectics

@coriander @wallhackio so the joke is that the calico’s fur pattern looks like a visualization of a hard drive after defragmentation, since every unique color (repurresenting “related” data) is in one contiguous space

@coriander @wallhackio defuragmenting means to reorganize the actual underlying block storage to move related data next to each other so the disk does not have to go to fifteen diffurent places to read the data from one file

@coriander okay this is a great caption

@vaporeon_ i like how the whiskers kinda look like war paint

@coriander @vaporeon_ https://www.youtube.com/watch?v=HJE9rEoox_g

@The_T @amy are you feeding her mini mushrooms, by chance? :3c

@vaporeon_ vaporeon with whiskers...

https://e926.net/posts/3426629 sprigaytito

@vaporeon_ slightly evil creature :3

@monorail @vaporeon_ YEAH

@vaporeon_ vui.... ⟨🫵 HUGE veevee noises....⟩

@vaporeon_ vuuuuuuui!!!