DEV Community


Discussion on: What new language/tool/etc. have you been meaning to learn but haven't gotten around to yet?

ybogomolov profile image
Yuriy Bogomolov

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.