Useful Resources
Published on
Following is a (very short) list of useful things I have found on the internet.
- bash redirections cheat sheet
- A very good overview of bash redirection operators with usage examples. I was surprisingly thrilled to read this.
- A tutorial implementation of a dependently typed lambda calculus
- An introduction to dependent type checkers targeted toward functional programmers.
- Why lexing and parsing should be separate
- A good overview of a lot of parsing-related information with links and references.
- Extensible parsing with Earley virtual machines
- Contains a good overview of many different parsing methods.
- Design Patterns for Parser Combinators
- The first of its kind, apparently. Gives some good ideas for tokenising and error reporting.
- Mitchell Hashimoto’s writing about Zig
- An introduction to the internals of the Zig compiler. Details given about the tokenizer and parser.