5 ms·
Course using F#: Write your own tiny programming system(s)
- persnickety 3y agoSpeaking of F#, are there any tutorials/demos on how to set it up on Linux, to run WinForms, without runtime mismatch issues?
- Barrin92 3y agoWinForms is a Win32 wrapper so unless you're running Mono which I don't think has been targeted by F# in ages I don't think that's going to work, unless you plan to run a very old F# version.
- Zolomon 3y agoYou should be able to use Avalonia UI[1] as an alternative GUI layer on Windows, Linux, macOS, iOS and Android. There is a beautiful functional MVU wrapper around it called Avalonia.FuncUI[2] with Avalonia.FuncUI.Elmish[3] which is an implementation of Elmish[4] (based of the Elm language[4]) for F#. [1]: https://avaloniaui.net/ https://avaloniaui.net/ [2]: https://github.com/fsprojects/Avalonia.FuncUI/ https://github.com/fsprojects/Avalonia.FuncUI/ [3]: https://www.nuget.org/packages/Avalonia.FuncUI.Elmish https://www.nuget.org/packages/Avalonia.FuncUI.Elmish and https://github.com/fsprojects/Avalonia.FuncUI/tree/master/src/Avalonia.FuncUI.Elmish https://github.com/fsprojects/Avalonia.FuncUI/tree/master/sr... [4]: https://elm-lang.org/ https://elm-lang.org/
- qwerty456127 3y agoAlso take a look at Fabulous[1]. The code with it looks nicer than Avalonia.FuncUI. [1]https://github.com/fabulous-dev/Fabulous.Avalonia https://github.com/fabulous-dev/Fabulous.Avalonia
- weatherlight 3y agoThis 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.
- beezle 3y agoEverything 403 errors
- tpetricek 3y agoThe videos are now up again.
- _f5ah 3y agoLooks 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 https://github.com/mykolav/coollang-2020-fs
- fyzix 3y agoThe videos were working earlier in the week...they're returning a 403 now. Repo with slides: https://github.com/jinyus/Fsharp-Teaching https://github.com/jinyus/Fsharp-Teaching
- anta40 3y agoInitially I read this: "Write your own operating system". OS... with F#? I almost fell out of my chair :p
- steego 3y agoWhile 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.
- qwerty456127 3y agoIs this an open class people from outside the university can attend? Will recordings be available after it ends?
- tpetricek 3y agoYes, this is fully open - I'm posting all the materials and videos as the course goes (but the server is down at the moment - should be back up soon).
- harrisi 3y agoThere seems to be a lot of confusion for this, unfortunately. Some more information can be found at https://github.com/tpetricek/Teaching https://github.com/tpetricek/Teaching (specifically, https://github.com/tpetricek/Teaching/tree/master/2023/tiny-systems 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.
- ngcc_hk 3y agoLooking forward to the lisp implementation
- leke 3y agoI can't see any video.
- tpetricek 3y agoShould be fixed now!
- dvdkon 3y agoI 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).
- tpetricek 3y agoFor 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...).
- BossingAround 3y agoLooks 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 :)
- nickpeterson 3y agoFor 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.
- williamcotton 3y agoI 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/plt https://github.com/williamcotton/dotfiles/blob/master/bin/pl... [1] https://github.com/williamcotton/dotfiles/blob/master/bin/plt.ts https://github.com/williamcotton/dotfiles/blob/master/bin/pl...
- KurtMueller 3y agoF# is a better TypeScript :)
- williamcotton 3y agoWhat’s the best hard copy book on the language?