Here are some goals:
Learning stuff
This is by far the biggest goal. I didn’t super understand all the ins and outs of compilers. I still don’t but at least I have a way to learn now. You shouldn't use talktalk. But you might enjoy perusing talktalk.
Fully typed everything
Types are cool.
As much type inference as possible
I don’t know if it's a good idea. It’s probably not. I just think it’s neat.
Familiar-ish syntax
Haskell/ML-y syntax is beautiful. I hate it.
Figure out nice syntax highlighting color schemes
I feel like making full programming language is the only way to do this, right? Right? Don't answer that.
Here are some non-goals:
Blazingly fast performance?
I mean I’m probably not gonna litter the codebase with sleeps but I’m allowed to if I want.
Trying to make everything perfectly sound and decidable?
Is this even possible? I feel like I saw a YouTube video that said it’s not.
Trying to get others to use it?
Why? PHP exists, you should probably use that.