Re:Idris: A Language for Type-Driven Development
by valenterry on Saturday January 21, 2023 @10:43AM
(#34467151)
Hahaha, which name do you go by in Heise forums? I wonder if I remember you too.
Re:Idris: A Language for Type-Driven Development
by still_grokking on Saturday January 21, 2023 @11:28AM
(#34467548)
I prefer not to link accounts, but we've talked not only once. :-)
I've recognized your handle as I remember you as being one of the few people there who actually know what they're talking about when it comes to software engineering.
But I've also moved on. The overall level has dropped to a bottomless pit by now. It's no fun anymore.
Re:Idris: A Language for Type-Driven Development
by valenterry on Saturday January 21, 2023 @12:26PM
(#34468072)
> I prefer not to link accounts, but we've talked not only once. :-)
Fair enough and thank you for the kind words. :)
But I would need to look this up also myself. I'm not 100% sure. (But I've never heard of any implicits implemented in Rust; they discussed this feature here and there, but it's not part of anything in the language or the compiler, afik).
OT: I've never seen you on the Heise forums ever since. But I guess there isn't much to miss anyway by now…