@jonmsterling @rahulc29 Thats a great point. I think the lack of ecosystem is one of the biggest impediment to adoption for agda and idris. Getting used to "oh, there's a library for that" is really really nice. And it could kill a project if you suddenly realize you need to write an entire library from scratch. Many place can't justify that investment.
So here's to hoping some tech giant picks up a dependently typed language (please don't make it lean lol)
=> More informations about this toot | View the thread | More toots from isAdisplayName@mathstodon.xyz
=> View jonmsterling@mathstodon.xyz profile | View rahulc29@mathstodon.xyz profile
text/geminiThis content has been proxied by September (3851b).