Agda. Dependently-typed languages are the future of programming, IMO. And Agda has the most compelling feature set - even Cubical Type Theory mode. Even TypeScript has bit of type-level fun. But it's hard to come up with a good project idea that will expose best parts of each language.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
Agda. Dependently-typed languages are the future of programming, IMO. And Agda has the most compelling feature set - even Cubical Type Theory mode. Even TypeScript has bit of type-level fun. But it's hard to come up with a good project idea that will expose best parts of each language.