Get the latest tech news
I wrote my own “proper” programming language (2020)
No, this isn't one of those toy languages. In this series we'll cover objects, concurrency, generics and inheritance, amongst other more complex language features.
Dynamic typing can be seen as quicker to experiment in (like Python, JS) but when you send that message you don’t know if the operator will stop midway through (crash). The role of the type-checker is to prevent undesirable behaviour from happening - like concatenating int s or multiplying String s together - these operations make no sense so shouldn’t be allowed. It targets LLVM IR, and then we link in a couple of runtime libraries (pthreads and libc) and finally we output our object file, a binary containing the machine code.
Or read this on Hacker News