Course using F#: Write your own tiny programming system(s)

Looks interesting.<p>Once I saw it&#x27;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:&#x2F;&#x2F;github.com&#x2F;mykolav&#x2F;coollang-2020-fs">https:&#x2F;&#x2F;github.com&#x2F;mykolav&#x2F;coollang-2020-fs</a>

For anyone interested in the slides &amp; 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&#x27;re returning a 403 now.<p>Repo with slides: <a href="https:&#x2F;&#x2F;github.com&#x2F;jinyus&#x2F;Fsharp-Teaching">https:&#x2F;&#x2F;github.com&#x2F;jinyus&#x2F;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:&#x2F;&#x2F;github.com&#x2F;tpetricek&#x2F;Teaching">https:&#x2F;&#x2F;github.com&#x2F;tpetricek&#x2F;Teaching</a> (specifically, <a href="https:&#x2F;&#x2F;github.com&#x2F;tpetricek&#x2F;Teaching&#x2F;tree&#x2F;master&#x2F;2023&#x2F;tiny-systems">https:&#x2F;&#x2F;github.com&#x2F;tpetricek&#x2F;Teaching&#x2F;tree&#x2F;master&#x2F;2023&#x2F;tiny-...</a>). The course is currently ongoing. The videos and PDFs seem to be down, but I wouldn&#x27;t be surprised if that&#x27;s just because of hacker news overloading things.<p>Seems neat, from the slides and demos.

I wouldn&#x27;t have expected a course I&#x27;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&#x2F;26 (at least according to current plans).

Looks very cool!<p>I&#x27;d advise Cuni to host the course on something like EdX&#x2F;Coursera&#x2F;... 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 :)

Is this an open class people from outside the university can attend?<p>Will recordings be available after it ends?

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&#x2F;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&#x2F;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:&#x2F;&#x2F;github.com&#x2F;williamcotton&#x2F;dotfiles&#x2F;blob&#x2F;master&#x2F;bin&#x2F;plt">https:&#x2F;&#x2F;github.com&#x2F;williamcotton&#x2F;dotfiles&#x2F;blob&#x2F;master&#x2F;bin&#x2F;pl...</a><p>[1] <a href="https:&#x2F;&#x2F;github.com&#x2F;williamcotton&#x2F;dotfiles&#x2F;blob&#x2F;master&#x2F;bin&#x2F;plt.ts">https:&#x2F;&#x2F;github.com&#x2F;williamcotton&#x2F;dotfiles&#x2F;blob&#x2F;master&#x2F;bin&#x2F;pl...</a>

Initially I read this: &quot;Write your own operating system&quot;. OS... with F#? I almost fell out of my chair :p

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&#x2F;25. </code></pre> :(<p>Really cool content though. Kinda wish I could have joined.

Everything 403 errors

Speaking of F#, are there any tutorials&#x2F;demos on how to set it up on Linux, to run WinForms, without runtime mismatch issues?

Looking forward to the lisp implementation

I can&#x27;t see any video.