Course using F#: Write your own tiny programming system(s)
d3s.mff.cuni.cz
Course using F#: Write your own tiny programming system(s)
1–10 of 29 posts
Re: Course using F#: Write your own tiny programming system(s)
#2This 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.
Re: Course using F#: Write your own tiny programming system(s)
#3Everything 403 errors
Re: Course using F#: Write your own tiny programming system(s)
#4Looks 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]
Re: Course using F#: Write your own tiny programming system(s)
#5The videos were working earlier in the week...they're returning a 403 now.
Repo with slides: https://github.com/jinyus/Fsharp-Teaching
Re: Course using F#: Write your own tiny programming system(s)
#6Initially I read this: "Write your own operating system".
OS... with F#?
I almost fell out of my chair :p
Re: Course using F#: Write your own tiny programming system(s)
#7Is this an open class people from outside the university can attend?
Will recordings be available after it ends?
Re: Course using F#: Write your own tiny programming system(s)
#8There 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.
Re: Course using F#: Write your own tiny programming system(s)
#9Initially I read this: "Write your own operating system". OS... with F#? I almost fell out of my chair :p
While I wouldn’t recommend it, it wouldn’t be that crazy as there’s an experimental F# to Rust compiler that’s part of the Fable compiler.
Re: Course using F#: Write your own tiny programming system(s)
#10Speaking of F#, are there any tutorials/demos on how to set it up on Linux, to run WinForms, without runtime mismatch issues?