Explore

MiniLang A type-safe C successor that compiles to various platforms. QuickStart Language Documentation Standard Library Documentation Standard Library Usage Examples Design choices Modern Compiled Procedural Strongly typed Type and memory safe Closely match C features Bidirectionally compatible with C ML must be easy to learn and use ML abstractions introduce zero-overhead compared to C Motivation The language is designed to closely match c features...

CF Bolz-Tereick wrote some excellent posts in which they introduce a small IR and optimizer and extend it with allocation removal. We also did a live stream together in which we did some more heap optimizations. In this blog post, I’m going to write a small abtract interpreter for the Toy IR and then show how we can...