Impressively, you can even tell typed racket that your lists have certain lengths, and it can skip bounds checks! https://docs.racket-lang.org/ts-guide/optimization.html#(part._.Lists)
miniblog.
Related Posts
Are there any good tools for generating boilerplate code?
If I'm a web framework author, I'd love to provide a *discoverable* tool for defining a new controller. This is especially important if files need specific naming conventions or to be in certain directories.
Are there any good tools for generating boilerplate code?
If I'm a web framework author, I'd love to provide a *discoverable* tool for defining a new controller. This is especially important if files need specific naming conventions or to be in certain directories.
I've seen tools like yeoman and create-react-app, but they seem to focus on new projects. There's also no VS Code integration that I'm aware of.
It's well known that certain compiler optimisations matter way more than others (e.g. inlining).
Is there a similar principle for linters? I find red squiggles under unused/undefined variables the single most useful check.