KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Edit Question
Title
Body
I'm curious about the expression flip id (It's not homework: I found it in the getOpt documentation). I wonder why it has this type: Prelude> :t (flip id) (flip id) :: b -> (b -> c) -> c For example, (flip id) 5 (+6) gives 11 . I know why id (+6) 5 gives 11, but I don't "get" the flip id thing. I tried to figure this out myself using pen and paper but couldn't. Could anybody please explain this to me? I mean, how does flip id come to have the type b -> (b -> c) -> c ?
Tags (comma-separated)
Save Edits
Cancel