Essentials-of-Compilation VS v

if you like compilers you should this book out https://github.com/IUCompilerCourse/Essentials-of-Compilation.

Essentials of compilation by Dr. Siek. There’s a GitHub repo. Just navigate to the releases and you will find a pdf https://github.com/IUCompilerCourse/Essentials-of-Compilation/releases/tag/python-MIT-press. This book is really good and it’s practical. There’s a lot of code and it guides you along the way. So it’s a great book to self study. To supplement this you can buy Engineering a Compiler by cooper. This is more comprehensive but there’s no code in this book, only pseudo code. Start with essentials of compilation my friend. It will teach you everything you need.

You can try this book if you want something that came out this year https://github.com/IUCompilerCourse/Essentials-of-Compilatio.... Go to the releases to either get the racket version or python version. But I mean cmu uses the dragon book second edition for a graduate level compiler optimization class.

This paper is my favorite introduction to compilers, it's short and hands-on: http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf

There is a book-length expansion of this paper that goes into more detail: https://github.com/IUCompilerCourse/Essentials-of-Compilatio...

Introduction to Computing"

https://dcic-world.org/

# Programming Language Theory:

"Programming Languages: Application and Interpretation"

https://www.plai.org/

# Compilation:

"Essentials of Compilation: An Incremental Approach in Python"

https://github.com/IUCompilerCourse/Essentials-of-Compilatio...

# Database Systems:

"CMU: Intro to Database Systems"

https://15445.courses.cs.cmu.edu/

"CMU: Advanced Database Systems"

https://15721.courses.cs.cmu.edu/

# Calculus I/II & Real Analysis

"A Course in Calculus and Real Analysis"

https://link.springer.com/book/10.1007/978-3-030-01400-1

"A Course in Multivariable Calculus and Analysis"

https://link.springer.com/book/10.1007/978-1-4419-1621-1

# Linear Algebra & ML:

* A Series of books by prof. Joe Suzuki without using any external library for the implementations *

"Statistical Learning with Math and Python"

https://link.springer.com/book/10.1007/978-981-15-7877-9

"Sparse Estimation with Math and Python"

https://link.springer.com/book/10.1007/978-981-16-1438-5

"Kernel Methods for Machine Learning with Math and Python"

https://link.springer.com/book/10.1007/978-981-19-0401-1

# Discrete Mathematics:

"CMU 21-228 Discrete Mathematics (prof. Poh-Shen Loh"

https://www.math.cmu.edu/~ploh/2021-228.shtml

# Cryptography:

"Serious Cryptography: A Practical Introduction to Modern Encryption"

https://nostarch.com/seriouscrypto

# Problem Solving:

"Math 235: Mathematical Problem Solving"

https://www.cip.ifi.lmu.de/~grinberg/t/20f/

This compiler book explains monadic normal form which it’s anf but not 100 percent because of the difference in how let expressions are represented. https://github.com/IUCompilerCourse/Essentials-of-Compilation

I learned to write compilers by reading "Essentials of Compilation." You can find a free pdf in the book's repo https://github.com/IUCompilerCourse/Essentials-of-Compilation/releases/tag/python-MIT-press. The book is published my MIT Press although right now the racket version is out. the python version is coming out soon. the link that I just shared is for the python version. This is a great book . I recommend it

One of the best (free/open source) books for learning how to write a compiler is Essentials of Compilation. It comes in two flavors: Racket and Python. I'm less familiar with the Python version, but it might be what you're looking for.

Not sure about specifics, but maybe https://github.com/IUCompilerCourse/Essentials-of-Compilation is worth a look?

There are pdfs in the releases section: Python - https://github.com/IUCompilerCourse/Essentials-of-Compilation/releases/download/python-MIT-press/book.pdf

Their site is clearly showing the language is in beta. The V documentation also states that autofree is WIP, and to use the GC instead. This isn't a corporate created language, but looks to be a true volunteer open source effort from people around the world.

Their community, in comparison to others, even has their discussions open and open threads for criticism[1]. These

[1]https://github.com/vlang/v/discussions/7610

V also has this https://github.com/vlang/v/blob/master/doc/docs.md#embed_fil...

Goroutines was the selling point for me until they decided to introduce telemetry in their toolchain; that was what forced me to stop using Golang as a whole.

About GC, I would say: if you implement C++'s RAII mechanism to replace garbage collection, then I believe this project will have a bright future.

My final question is the following: how `pcz` compares to V language, from a syntax's perspective [1]?

[1] https://github.com/vlang/v

V has the right to exist, have its supporters, and do things its own way. The creator and developers of V, from what I have seen, has always responded well to constructive criticism. Their language has discussions opened at their GitHub, unlike those for various other languages. They even have a thread for what people don't like and want improved about the language[1], again, something many other languages don't have.

A lot of what was going on initially, was coming from obvious competitors, to include being uncivil, inflammatory, and insulting. The initial "criticism" was not so much that, but false accusations of the language being a scam, vaporware, fraud, or didn't really exist. To include attacks and jealousy about its funding and having supporters. This was not any kind of "valid" criticism, that the creator or contributors of the language could reason about.

The "criticism" never died down, but rather after V was open-sourced and established itself on GitHub. The initial series of false accusations could not stand nor could the support it was getting be stopped. So, the rhetoric and targets shifted to whatever could be found to go after on the newly released alpha version of the language and its new website. In that new mix of what was being thrown at it, there were indeed some very valid criticisms, as can be found with any new language.

Constructive and valid criticism, is not the same as insults, trolling, misinformation, rivalry, or false accusations. There is clearly a difference. It's disingenuous to pretend something from one group is the same as the other, or that the intent behind what is being done is not different.

[1] https://github.com/vlang/v/discussions/7610