#idris makes a showing in @odersky keynote at #scaladays. Though, how can aiming for "correctness" not be "right"?pic.twitter.com/sSDJWClhqj
-
@pdxleif@jdegoes@dibblego@alissapajer@aloiscochard This is point I was making which got me CC'd on this conversation! :)
@d6 @pdxleif @jdegoes @alissapajer @aloiscochard I might want to be sure that my lists are not empty…
-
-
@dibblego@pdxleif@jdegoes@alissapajer@aloiscochard Exactly! We all know how to easily ensure that property. -
@d6@pdxleif@alissapajer@aloiscochard Not only are you spot on, but this is precisely why@jdegoes is wrong :)
End of conversation
New conversation -
-
-
@dibblego@d6@pdxleif@jdegoes@alissapajer@aloiscochard how do I prove putStrLn puts lines to the screen? -
@cwmyers@dibblego@d6@jdegoes@alissapajer@aloiscochard You can't, any more than you can "prove" someone will read those lines. impl prop
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.