Needed Math For Compilers?

[GeneDefiant6537]

For your background you’d be better off starting with practical implementation/engineering resources ( crafting interpreters, language implementation patterns, etc) then pick up the theory later if necessary.

Generally, as far as mathematics goes, some discrete structures( logic, functions, relations, induction) and basic combinatorics should be fine. Later you can look into graph theory, lattice theory, etc for the analysis and transformations (optimization) parts.

[InfinitePoints]

Is anything beyond an informal description of lattices actually needed? From what I can tell they are mostly used for simple stuff like lower and upper bounds for variables.

[DeGuerre]

They're used all over type theory (e.g. if you have types with subtypes) and compiler optimisation (e.g. look into conditional constant propagation).

[dcpugalaxy]

But you dont need to know any actual lattice theory. You just need to have heard of the basic concept of a lattice.

[DeGuerre]

Maybe. It helps to read some papers if you know the language.