It’s been a while since I posted something in this channel. I | The lazy guy channel

It’s been a while since I posted something in this channel. I will lower bar a little and just post things which I’ve found interesting recently.

http://andykeep.com/pubs/np-preprint.pdf - Describes a nano-pass framework for compiler construction. Idea is very simple – construct compiler as a series of many simple transformations that progressively convert code from higher to lower levels languages. Typical compiler has 1 to 4 intermediate code presentations. This paper proposes having as many representations (languages) as there are passes, and introduces a framework for convenient description of these languages. This idea works as proven by the best-performing open-source Scheme compiler.

http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowering-rust-traits-to-logic/ - Describes how to encode (part of) Rust type system as logic propositions. This is cool because allows to replace a lot of ad hoc type-checking/inference code with a single generic algorithm. Using prolog(-ish) languages in PL-relate research was a thing for while now. It’s cool that industry compilers are moving in the same direction. https://github.com/rust-lang/chalk - more info on the topic of logic programming in/for Rust.