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
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.