Welcome to my blog Intermediate Representation (IR). The name indicates that the content of this blog is an intermediate representation of knowledge that I have compiled from books and papers. The corresponding object code is obviously the comprehension of the knowledge in readers’ mind :).
I am a student, programming for interest, Interested in code editor / programming language theory and type theory, loves animals (like snakes), and sports (football, swimming and yoyo).
Usually use ice1000, 千里冰封 or Tesla Ice Zhang as my ID.
All the posts and blogs here are licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Generic License.