
-
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
-
Nutrient
Nutrient - The #1 PDF SDK Library. Bad PDFs = bad UX. Slow load times, broken annotations, clunky UX frustrates users. Nutrient’s PDF SDKs gives seamless document experiences, fast rendering, annotations, real-time collaboration, 100+ features. Used by 10K+ devs, serving ~half a billion users worldwide. Explore the SDK for free.
-
teaching
:mortar_board: Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
There seems to be a lot of confusion for this, unfortunately.
Some more information can be found at https://github.com/tpetricek/Teaching (specifically, https://github.com/tpetricek/Teaching/tree/master/2023/tiny-...). The course is currently ongoing. The videos and PDFs seem to be down, but I wouldn't be surprised if that's just because of hacker news overloading things.
Seems neat, from the slides and demos.
-
-
-
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...
-
Also take a look at Fabulous[1]. The code with it looks nicer than Avalonia.FuncUI.
[1]https://github.com/fabulous-dev/Fabulous.Avalonia