@dibblego seriously ?
Reminder. This code:
f :: a -> a
f a = a
is easier to read than this code:
f :: Int -> Int
f a = a
@parametricity
-
-
-
@avsudheer If the most trivial possible example invokes incredulity, I must stop. - Show replies
New conversation -
-
-
@mindeavor An ability to read and comprehend a type is all that is required.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@mindeavor
@hakonlo f :: a -> a f = error "Fill in this gap with any possible thing. Go."Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@mindeavor
@hakonlo +1@parametricity !Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.