by goostavos on 2/3/25, 4:16 PM with 3 comments
by CRConrad on 2/5/25, 3:43 PM
by crummy on 2/3/25, 10:05 PM
> Gradual, dependently typed languages are the future
I guess that's TypeScript - are there other languages that fit this bill?