I wish the former-scalaz-now-Idris-fans crowd would realize this.
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Conversation
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
They were trolling boats a while back with extremely self-righteous and hilariously ignorant comments about monads vs. async/await, but in general they’ve stayed away because culturally Rust doesn’t really attract FP fans that much.
1
2
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
I had hoped the Idris community wouldn’t be so toxic. Disappointing to hear that they are.
1
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Oh oops, I misread you. I thought you were saying the Idris community was toxic. I see what you mean now. Sorry!
1
1
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Yeah, I've found most of the Idris folks on the whole to be pretty nice. There was only really one person on the IRC that was a bit unpleasant a few years back (would get annoyed at the slightest mention of Rust). Dunno if they are still around though.