I think this is one of the best books for stuff like this: Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages (Pragmatic Programmers) https://www.amazon.com/dp/193435645X/ref=cm_sw_r_cp_api_glt_i_4YGH52MGZ6CT4X5M4K7K
Don't worry about the fact that it is about ANTLR3; the theory is adaptable to whatever tech you're using.
Do you need type inference? If not you can look at the presentation of static typing in this book, which doesn't have any theory:
https://www.amazon.com/Language-Implementation-Patterns-Domain-Specific-Programming/dp/193435645X
>I read Language Implementation Patterns
>
>https://www.amazon.de/Language-Implementation-Patterns-Implementing-Domain-Specific/dp/193435645X
That book helped me a lot to understand the things in crafting interpreters better. I was also a little bit lost with crafting interpreters alone. The source code can be found at https://media.pragprog.com/titles/tpdsl/code/tpdsl-code.zip You can take a look at the code and see if it "clicks" with you.
Thank you. I read through https://craftinginterpreters.com/
And I read Language Implementation Patterns https://www.amazon.de/Language-Implementation-Patterns-Implementing-Domain-Specific/dp/193435645X
And I looked through a couple of other books. The standard books for compiler generation.