Dennis van der Bij DennisVDB

## principled-meta-programming.md

      
              1 file
            
          
              3 forks
            
          
              27 comments
            
          
              62 stars
            
          
                odersky
                / principled-meta-programming.md
            
            
              Last active
              March 3, 2023 02:48
            
          
    Principled Meta Programming for Scala

This note outlines a principled way to meta-programming in Scala. It tries to
combine the best ideas from LMS and Scala macros in a minimalistic design.


LMS: Types matter. Inputs, outputs and transformations should all be statically typed.


Macros: Quotations are ultimately more easy to deal with than implicit-based type-lifting


LMS: Some of the most interesting and powerful applications of meta-programming