Hold the phone, I *might* know how to get static array bounds safety without using dependent types or whatever crazy System Fω stuff that haskell uses to do it, without even needing type quantification
Hold the phone, I *might* know how to get static array bounds safety without using dependent types or whatever crazy System Fω stuff that haskell uses to do it, without even needing type quantification
If you have a fediverse account, you can quote this note from your own instance. Search https://mathstodon.xyz/users/julesh/statuses/116159983570555546 on your instance and quote it. (Note that quoting is not supported in Mastodon.)