@ArmyOfBruce @psnively @kellabyte for that matter, have you considered learning Haskell?
-
-
Replying to @bitemyapp
@bitemyapp I consider it. I also follow Idris. I do plenty of reading as well. But I am pretty busy maintaining / developing@DylanLanguage2 replies 0 retweets 0 likes -
Replying to @ArmyOfBruce
@ArmyOfBruce@DylanLanguage I can visit a rock-climbing gym and call myself a rock climber too. I don't, but I could.1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp And I never said I was a Haskell programmer.1 reply 0 retweets 0 likes -
Replying to @ArmyOfBruce
@ArmyOfBruce I mean, I guess if I was making a patio I could eschew hammers and say I wasn't a hammer user, but that'd be bit pants-on-head.1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@ArmyOfBruce then proceed to talk about how instead of learning to use hammers I'm going to jump straight to nailguns powered by dynamite...1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@ArmyOfBruce ...powered by dynamite *designed* for hammer users....1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@ArmyOfBruce if you don't understand the design space Haskell lives in or why one might want to start with a typed foundation, then...2 replies 0 retweets 0 likes -
Replying to @bitemyapp
@ArmyOfBruce ...then it's extremely difficult to believe you could pull off or understand a DT system, which are much harder to get right.3 replies 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp Consider that 2 Dylan hackers are heavily involved in Idris and have worked with Coq and other things in the past.2 replies 0 retweets 0 likes
@ArmyOfBruce @bitemyapp This posturing and name-dropping is this off-putting attitude and tone that has been discussed in the past..
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.