Haskell Mixfix Operator Intellectual

you: Haskell doesn’t support mixfix operators me, an intellectual: infixr 1 → type (→) = (→) infixl 0 # type family r # t where r # (a → b) = a → Eff r b f :: '[Reader Bool, State Int] # Char → String

A tweet jokes that Haskell does not support mixfix operators, then presents deliberately absurd-looking Haskell code redefining arrow syntax and using a type family. The punchline is that the speaker pretends to be an intellectual by exploiting advanced type-level programming to imitate the feature. EN: A tweet jokes that Haskell does not support mixfix operators, then presents deliberately absurd-looking Haskell code redefining arrow syntax and using a type family. The punchline is that the speaker pretends to be an intellectual by exploiting advanced type-level programming to imitate the feature.

• @profunctor_io / 3210 2019-10-15
• @dev_meme / 748 2019-10-18