A mathematician interested in all aspects of software construction, with bias towards computational logic, formal methods, systems programming, and the fun of building tools
Back with VS2019 version 16.10, we announced a complete implementation of C++ Modules (and, generally, of all C++20 features) across the MSVC compiler toolset, static analysis, IntelliSense, and debugger. Implementing Modules requires principled intermediate representation of C++ source programs. Today, we are thrilled to announce the ...
Light
Dark