"in fact, we can't tell *anything* about 'foobar :: [a] -> [a]' without a name" displays a serious lack of knowledge of parametricity
-
At least he knows how to write 1000s of functions with type [a] -> [a]
:) But only one f satisfying: ∀ x. f [x]=[x] ∀ x y. f(x ++ y) = (f y ++ f x) [and all satisfy: all elements in result are in the input].
-
-
isn't that first one `f f [x]`?
-
I don't know what you are asking.
End of conversation
New conversation -
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.