i am curious, among folks who do not write Haskell (or another language in which parametric polymorphism is an important feature?), how intuitive/convincing do you find the statement, "by making the type signature more general, we restrict the possible functions we can write"
-
Show this thread
Replying to @argumatronic
Every task involves constraint, Solve the thing without complaint; There are magic links and chains Forged to loose our rigid brains. Structures, strictures, though they bind, Strangely liberate the mind. — James Falen, as quoted by dughof Abstracter type = stricter constraint
0 replies
1 retweet
8 likes
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.
Read my blog!