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

i’m fascinated that pandoc is a rather purrfurmant tool given that monadic parser combinator libraries don’t really have strong guarantees about worst-case purrfurmance characteristics

mornyawn btw . also @clock, what time is it

mornyawn, and also, hey @clock

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

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

similar reason that MIT used to teach Scheme, or that the How to Design Program authors developed Several Purrogressively More Featureful Versions Of A Really Basic Version Of Scheme

i wonder why exactly cornell teaches OCaml instead of Haskell in its functional purrogramming course, but it’s purrobably the better choice pedagogically. every nice fundamental language feature that Haskell has that OCaml does not is a fundamental language feature students do not have to learn. which is useful when you are already overwhelming many of your students with the conceptual overhead of expurression-based, immutable-by-default, parametrically polymorphic purrogramming

one of the weird things about your alma mater b having a consistently top rated undergraduate computer science purrogram is that when you look into OCaml documentation to relearn the basics, the OCaml website itself repurrints with purrmission sections of the (free!) textbook written by a purrofessor at the university based on over twenty years of course notes written by various instructors who have taught there in the past

eevee noises

vui vui

high schoolers creating parody music videos about struggling in AP calculus class apparently collectively decided that the song lyrics must at some point complain about furgetting to add C when integrating

eevoi time

ny’all, including you, @clock