#idris makes a showing in @odersky keynote at #scaladays. Though, how can aiming for "correctness" not be "right"?pic.twitter.com/sSDJWClhqj
-
@puffnfresh@alissapajer@odersky so the slide is meaningless?
@psygnisfive @puffnfresh @alissapajer @odersky Yes it is meaningless. It is an appeal to continue taking known bad ideas seriously.
-
-
@dibblego@psygnisfive@puffnfresh@alissapajer@odersky and when correctness doesn't matter? The continuum seems valid. -
@jhaberstro@dibblego@puffnfresh@alissapajer@odersky when correctness doesn't matter, you need not bother writing any code at all
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.