coollang-2020-fs VS dotfiles

Looks interesting.

Once I saw it's a Czech university course using F#, I knew Tomáš Petříček would be the lecturer :)

A couple years back, I wrote a compiler of tiny-ish scala subset in F# (the code is imperative, though)[1]

[1]: https://github.com/mykolav/coollang-2020-fs

The repo is on github: https://github.com/mykolav/coollang-2020-fs

Go to the project's repository to explore the source code.

You might find [CS 6120: Advanced Compilers: The Self-Guided Online Course][1] interesting. I'm slowly working through it, but basically its focus is intermediate representations, optimizations, etc. A link to the course was on the first page of HN some time ago.

Also -- and you knew it was coming -- I've written a [toy-compiler of a Scala subset][2] myself :)

I'm new to F# and writing compilers, so I'm sure the code is full of rookie mistakes. Still, it works and does generate assembly and executables for Linux and Windows.

[1]: https://www.cs.cornell.edu/courses/cs6120/2020fa/self-guided...

[2]: https://github.com/mykolav/coollang-2020-fs

If you're on MacOS an imgcat tool pairs well with an imgpbcopy tool like this:

https://github.com/williamcotton/dotfiles/blob/master/bin/im...

Then creating a shell function like:

  imgc() {

I started down this path sometime last year with Crafting Interpreters and I’ve gotten obsessed with this entire world since. I wrote a little language [0] using Python Lex Yacc a couple of months ago at work because I wanted an awk-like way to quickly make graphs/charts from the CLI. Then I wrote a parser-as-a-type in TypeScript [1] for the same grammar.

My plan was to take a look at OCaml for future tinkerings with parsers, but man, F# is already looking very familiar between TypeScript and Lex/Yacc-like things.

Thanks for this post, I think I might have a new favorite language in the oven!

[0] https://github.com/williamcotton/dotfiles/blob/master/bin/pl...

[1] https://github.com/williamcotton/dotfiles/blob/master/bin/pl...