Show HN: A compiler and VM for a simple language, in 150 lines of code

Re:Show HN: A compiler and VM for a simple language, in 150 ... by compiler-guy on Saturday July 16, 2022 @10:50PM (#32124026)

Type checking is a part of semantic analysis, which the author explicitly says isn’t present.

Even so, the language it is compiling has only one type, so it isn’t possible for a program to have type errors.

Just like in C++ one never need to check if a reference is null—it simply can’t be expressed in the language, thus preventing any errors of that kind, a single type prevents all kinds of type errors. One might argue that this is the most powerful way to do type checking. It simply isn’t possible to have an error.

[ Parent | on HN ]

Re:Show HN: A compiler and VM for a simple language, in 150 ... by a-dub on Sunday July 17, 2022 @11:56AM (#32127906)

fair enough. regardless i think it's a work of art and meets the definition of compiler in my mind. i hope that the author chooses to publish the rest of their course materials and does so in a language i understand. i expect they are/will be fantastic.

[ Parent | on HN ]