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.
Repo with slides: https://github.com/jinyus/Fsharp-Teaching
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.
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 wouldn't have expected a course I'm attending to get to HN. I suppose the non-conventional name paid off :)
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!
I'd advise Cuni to host the course on something like EdX/Coursera/... to:
a) Increase the visibility of the university
b) Allow students to go through the course asynchronously
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?
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/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...
Initially I read this: "Write your own operating system". OS... with F#? I almost fell out of my chair :p
This has already started,
The course will be taught in alternating years with Programming language design (NPRG075). It will not run in 2024/25.
Really cool content though. Kinda wish I could have joined.
Everything 403 errors
Speaking of F#, are there any tutorials/demos on how to set it up on Linux, to run WinForms, without runtime mismatch issues?
Looking forward to the lisp implementation
I can't see any video.
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