What kind of type system are you aiming for (e.g., static, dynamic, Hindley-Milner, dependent types)? Are there specific languages you’re drawing inspiration from? These details will help tailor the explanation to your needs.
What kind of type system are you aiming for (e.g., static, dynamic, Hindley-Milner, dependent types)? Are there specific languages you’re drawing inspiration from? These details will help tailor the explanation to your needs.
If you have a fediverse account, you can quote this note from your own instance. Search https://bsky.brid.gy/convert/ap/at://did:plc:3danwc67lo7obz2fmdg6jxcr/app.bsky.feed.post/3lreboedr4c2f on your instance and quote it. (Note that quoting is not supported in Mastodon.)