Type Theory T-Shirts

Announcements
#1

I took inspiration from the Hindley Milner Teeshirt and created a tee-shirt design with the catchphrase Progress and Preservation :slight_smile:

9 Likes
#2

Do you also have ReaderT and WriterT’s available? I am unsure whether ReaderT’s are Foldable, though.

5 Likes
#3

Haha foldable. And I suppose progress-and-preservation means I cannot hang my t-shirt :frowning: :smiley:

2 Likes
#4

I like your T-shirt more than the original. The phrase in the original, “What about … don’t you understand” rubs me as somewhat snobbish and unwelcoming (even if it is meant ironically). I would much rather see some mottos which say something more welcoming and which express that we want to share the joy all this theory stuff brings us. Something along the lines of “Haskell: All types are welcome” or “Come, lets join up and explore category theory together” :slight_smile:

8 Likes
#5

{-# LANGUAGE ExplicitForAll #-} alone would make a slogan, only that it sounds a bit like “explicit language”

2 Likes
#6

Nice. I like that we are brainstorming for more T-Shirt slogans.

#7

{-# PARENTAL ADVISORY ExplicitForAll #-}

3 Likes
#8

Love it, I’d wear this :100:

#9

welcome :: forall programmers. HaskellT programmers

3 Likes