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


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.


"There are more things in heaven and earth, Horatio, than are dreamt of in your philosophy". Agda is cool, as well as theorem proovers in general.

code of conduct - report abuse