Looks interesting.<p>Once I saw it's a Czech university course using F#, I knew Tomáš Petříček would be the lecturer :)<p>A couple years back, I wrote a compiler of tiny-ish Scala subset in F# (the code is imperative, though)[1]<p>[1]: <a href="https://github.com/mykolav/coollang-2020-fs">https://github.com/mykolav/coollang-2020-fs</a>
For anyone interested in the slides & videos, those are now accessible again! Sorry for the technical issues (it was not the HN effect, but a migration to a new disk...).
The videos were working earlier in the week...they're returning a 403 now.<p>Repo with slides:
<a href="https://github.com/jinyus/Fsharp-Teaching">https://github.com/jinyus/Fsharp-Teaching</a>
For anyone not familiar with the fsharp community, tpetricek has made fantastic contributions. Not a week goes by I don’t Google something and end up at a stackoverflow answer or fssnip entry he wrote.
There seems to be a lot of confusion for this, unfortunately.<p>Some more information can be found at <a href="https://github.com/tpetricek/Teaching">https://github.com/tpetricek/Teaching</a> (specifically, <a href="https://github.com/tpetricek/Teaching/tree/master/2023/tiny-systems">https://github.com/tpetricek/Teaching/tree/master/2023/tiny-...</a>). 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.<p>Seems neat, from the slides and demos.
I wouldn't have expected a course I'm attending to get to HN. I suppose the non-conventional name paid off :)<p>I can recommend it to CUNI students interested in programming languages. It should run again in 2025/26 (at least according to current plans).
Looks very cool!<p>I'd advise Cuni to host the course on something like EdX/Coursera/... to:<p>a) Increase the visibility of the university<p>b) Allow students to go through the course asynchronously<p>c) Provide certificates for completing the course and possibly recuperate some money off of that :)
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 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.<p>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.<p>Thanks for this post, I think I might have a new favorite language in the oven!<p>[0] <a href="https://github.com/williamcotton/dotfiles/blob/master/bin/plt">https://github.com/williamcotton/dotfiles/blob/master/bin/pl...</a><p>[1] <a href="https://github.com/williamcotton/dotfiles/blob/master/bin/plt.ts">https://github.com/williamcotton/dotfiles/blob/master/bin/pl...</a>
This has already started,<p><pre><code> The course will be taught in alternating years with Programming language design (NPRG075). It will not run in 2024/25.
</code></pre>
:(<p>Really cool content though. Kinda wish I could have joined.