Course using F#: Write your own tiny programming system(s) • Hacker News Board

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

#11

Post by ngcc_hk » Fri, Nov 03, 2023, 5:48 AM UTC

Looking forward to the lisp implementation

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

#12

Post by NikkiA » Fri, Nov 03, 2023, 5:48 AM UTC

steego wrote: post #9

anta40 wrote: post #6

Initially 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.

I think MSRL had a F# based OS they were playing with around the same time as Midori and Singularity.

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

#13

Post by leke » Fri, Nov 03, 2023, 5:49 AM UTC

I can't see any video.

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

#14

Post by Barrin92 » Fri, Nov 03, 2023, 5:56 AM UTC

persnickety wrote: post #10

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

WinForms 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.

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

#15

Post by Zolomon » Fri, Nov 03, 2023, 6:31 AM UTC

persnickety wrote: post #10

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

You 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/

[2]: https://github.com/fsprojects/Avalonia.FuncUI/

[3]: https://www.nuget.org/packages/Avalonia.FuncUI.Elmish and https://github.com/fsprojects/Avalonia.FuncUI/tree/master/sr...

[4]: https://elm-lang.org/

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

#16

Post by anta40 » Fri, Nov 03, 2023, 6:55 AM UTC

steego wrote: post #9

anta40 wrote: post #6

Initially 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.

Perhaps the closest thing: https://github.com/CosmosOS/Cosmos

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

#17

Post by dvdkon » Fri, Nov 03, 2023, 7:52 AM UTC

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).

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

#18

Post by tpetricek » Fri, Nov 03, 2023, 9:32 AM UTC

fyzix wrote: post #5

The videos were working earlier in the week...they're returning a 403 now. Repo with slides: https://github.com/jinyus/Fsharp-Teaching

Seems like someone needs to restart some server somewhere. I'll investigate. Videos should be back up soon :)

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

#19

Post by tpetricek » Fri, Nov 03, 2023, 9:33 AM UTC

qwerty456127 wrote: post #7

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

Yes, 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).

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

#20

Post by tpetricek » Fri, Nov 03, 2023, 10:08 AM UTC

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...).