I am a couple of months into studying math for creating my own programming language. The larger goal is a complete system in an FPGA, having a few central ideas

I am a couple of months into studying math for creating my own programming language. The larger goal is a complete system in an FPGA, having a few central ideas about how I want it to be, but the language seems like the hardest part of the "project", by far I would say. Having finished intro books on logic, automata and category theory, I am now starting "Type Theory and Formal Proof" and writing a general purpose parser. Even if I end up, for whatever reason, abandoning it before doing anything, the journey is definitely worth it.