Part of being a good type system is separating the programs we want from those we don't. If disparate types unify to their LUB, that's lost.
Replying to @dysmemic
@pelotom @copumpkin I recently learned from a self described expert that #scala has the most practical type system ever, so not possible.
1:31 PM - 4 Nov 2013
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.