Functions and algorithms implemented purely with TypeScript's type system

Link: https://github.com/ronami/meta-typing

Discussion: https://news.ycombinator.com/item?id=36595512