In functional programming, the Scala types (left) are isomorphic to the Haskell types (right): — Any => B ~ forall a. a -> b — A => Nothing ~ forall b. a -> b The first one says the function CANNOT use its parameter. The second one says the function CANNOT return.
-
Show this thread
Replying to @jdegoes
Also interesting are the functions you can't call, and those of which you can't use the return value...
6:55 AM - 28 Feb 2019
0 replies
0 retweets
1 like
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!