• by CRConrad on 2/5/2025, 3:43:06 PM

  • by crummy on 2/3/2025, 10:05:08 PM

    Really like this post. Curious about:

    > Gradual, dependently typed languages are the future

    I guess that's TypeScript - are there other languages that fit this bill?