@steshaw @runarorama I was actually banned long after I finished parodying, because I did direct behaviour mirroring.
-
-
Replying to @dibblego
@dibblego@runarorama I hadn't realised that. I had thought it was the parodying that got in strife there.2 replies 0 retweets 0 likes -
Replying to @steshaw
@steshaw@runarorama FWIW the idiots still think it is a "Haskell vs Scala" us and them war. Fucking persecution complex must be crippling.2 replies 1 retweet 1 like -
Replying to @dibblego
@dibblego@runarorama talking of languages "wars", how are you finding Idris?1 reply 0 retweets 0 likes -
-
Replying to @dibblego
@dibblego@runarorama I wasn't sure if you'd like it because it's strict ... but I figured you'd particularly like the latest release.1 reply 0 retweets 0 likes -
Replying to @steshaw
@steshaw@runarorama Strictness is hardly a problem in light of the competition. Haven't looked at latest.1 reply 0 retweets 0 likes -
Replying to @dibblego
@dibblego@runarorama Idris had codata already but now also "laziness via the type system" http://www.idris-lang.org/idris-0-9-12-released/ …@edwinbrady2 replies 0 retweets 0 likes -
Replying to @steshaw
@dibblego@runarorama@edwinbrady I'm JS-ing at the moment and so keen to find a way to use Idris. Andy is keen on OCaml.2 replies 0 retweets 0 likes -
Replying to @steshaw
@dibblego@runarorama@edwinbrady when I was Java-ing, I looked at the Idris Java backend but thought it needed work.1 reply 0 retweets 0 likes
@steshaw @runarorama @edwinbrady "Crappy language interop" is a major practical problem. Just how far have we got on that? Exactly.
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.