Conversation

I've come around to this and I now really appreciate the extra parens in case (...) of ...

Quote Tweet

· Jul 22, 2018

Replying to @polytomous

i often use what are considered superfluous parens in my haskell. i say, if they help me read it, then they are not superfluous, even if the compiler doesn't need them.

Dad_jack

@Iceland_jack

Jul 23, 2018

I write "Exp(env) a" to indulge myself my favourite #SuperfluousParens confers intuition, like fmap = maps funs (a -> b) -> (f a -> f b) or "flip fmap" flip fmap :: f a -> (a -> b) -> f b :: f a -> (forall b. (a -> b) -> f b) :: f a -> Yoneda f a :: f ~> Yoneda f

Monoid Mary

@argumatronic

Jul 23, 2018

you keep saying Yoneda and one day i'm gonna get it, i promise i will :)

Replying to

and

I liked the bit about Yoneda (seciton 4.6) at the very end of reasonablypolymorphic.com/types.pdf - at the very least it showed a practical example that I found useful.

3:14 AM · Jul 23, 2018Twitter Web Client

Likes