These are chat archives for got-lambda/expression

9th
Feb 2019
jolod
@jolod
Feb 09 18:40 UTC
@Jell Nice. I wrote in the description that we as group leaders will be prepared, so maybe we should prepare somehow. :-) I took the liberty to describe your group, and since you didn't change it I assume you thought it was OK. I think it would be good to try to more concretely distinguish between the groups, so the people know which one they will likely get the most out of.
jolod
@jolod
Feb 09 18:52 UTC
@Jell I'm mentally preparing (but might not use) a CT focused version, and not in the fluffy way with pictures. :-) Because I have learned that trying to read texts for mathematicians is near impossible for programmers, because they use all these shortcuts and abuse of notations that makes it really hard to follow. That, and that even people that know this stuff pretty well from a Haskell perspective often (or 100 % of all my three test subjects) fail a most basic question about functors (not going to do any spoilers here :-)). But anyway, I think I will try to gear the group in that direction.
jolod
@jolod
Feb 09 20:23 UTC
(I can say that it look "forever" for me to figure out the answer to the functor question myself, partly because of notation and vocabulary.)