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.