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.

You can meet me on GitHub (GitHub profile analysis), Bintray, Crates.io, StackOverflow, StackExchange Computer Science, CodeWars, and YouTrack.

You can contact me by E-mail, and subscribe this blog by RSS.

Blog Policy

All the posts and blogs here are licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Generic License.