@@ClarkLeovisonRey yes, there multiple bindings and APIs, for example you can use even high-level Python to generate LLVR IR - I encourage you to go through the list of the supported frameworks for this (and add a new one if needed).

Hi @thisismyaim, you can enroll into the course here dmitrysoshnikov.com/courses/parser-from-scratch/

Yes, really great call out - catching as much as possible before the runtime (and ideally on the fly as you type code - especially now with AI models) is the most crucial.

Thanks for the feedback, glad you find the courses valuable. "Building an Interpreter" is the first for sure, and then can go to parsing. Here's more info on the recommended order: dmitrysoshnikov.com/courses/compiler-engineer-path/

Marcos run at static time, i.e. before code execution. So it's not about VM really. Marco is just another sub-language, like a DSL, with its own parser, handling interpreter, etc - you just take a source text and pre-process it before actual language parser, and before the runtime.

oh, Also, Type checking and Type inference are from Type theory or Type Systems and Compiler design?

Hi Hicoffeman, glad to see a genuine interest in the topics! In general Type Systems (being part of Type Theory) may be independent from Compiler Design. For example, you can design a "compiler" not having any "types". The Type Theory is a problem of categorization and standardization - closer to compilers it mainly used to define data types and operations on them. A typechecker can be static (that is, able to reason about types w/o code execution), or dynamic - enforcing types at runtime and also used for storage allocation. Type Inference is extension of Type Checking, and works with a set of constraints for inferred types. I recommend starting from the "Building an Interpreter from scratch" course (aka "Essentials of Interpretation" - it does an overview of a lot of concepts). Also, here's the recommended order of courses: dmitrysoshnikov.com/courses/compiler-engineer-path/

ты пофиксил или нет?

@@h4wk_0 пофиксил

Спасибо за отзыв, рад что курсы полезны!

(nine minutes later) Ah, and it was the first thing you did in the following episode. Very well! :D

Thanks for the feedback, and glad the courses are useful! yes, typos sometimes happen in the coding sessions, so we do live-debugging and update as we go - that's why it's building from scratch :)

feel free to reach out via email

@@benedictsong892 this is Sublime Text

Thanks for the feedback, glad you like it! This is done as combination of Sublime, Good Notes, live editing on iPad, etc.

Yes, there may be a follow up on different IR formats , as extensions to this course.

Thanks for the feedback, glad it's useful! The `sl` command is just my shortcut alias to open Sublime Text editor, but you can use any IDE or editor for this.

Marketing may run different options, but also recommend checking the dmitrysoshnikov.com - there are coupons coming up periodically (there are new coupons available now!).

Rich knowledge is expensive 🫰

Hi German, you can enroll in this course here: dmitrysoshnikov.com/courses/essentials-of-interpretation/

Eva is the programming language we build in this series of course. I recommend starting from the "Building an Interpreter" and also exploring typed version of Eva in the "Building a Typechecker".

Thank you for your reply and instructions. Congratulatios for the valuable knowledge you're spreading and the competently presented explanations you're including. I wish you all the best.