ZuriHac 2023 Videos Online

[farhad_mehta]

Hi Everyone

The ZuriHac 2023 recordings are now online:

https://youtube.com/playlist?list=PLOvRW_utVPVmzDGGOJ2amgVBK168Vemke

Thanks to everyone who participated and contributed at the event with their talks, tracks, and other help! The other organisers and I look foward to seeing you at ZuriHac 2024!

Best regards
Farhad Mehta

[chreekat]

Thanks Farhad, that was really quick!

For anyone who is curious, the videos from the GHC Contributors’ Workshop are with the editor and will be available some time in the next two weeks.

[atravers]

There he is - “stirring the pot”:

• oop - How do functional programming languages work? - Stack Overflow

  He [Simon Peyton Jones] then suggests a possible alternative model, and then abandons the attempt at denotational explanations […]

…again:

• Conal Elliott on "Building a Future of Scalable Reliable and Efficient Computing" @ZuriHac2023 - YouTube (39:01)

  “[…] I [the author] guess we give up [on denotational semantics …]”

…in remarks about the following paragraph from section 3.1 of the “Awkward Squad” paper:

(page 20 of 60)

This approach is used to give the semantics of CSP by Roscoe [42]. However we will instead adopt an operational semantics, based on standard approaches to the semantics of process calculi [31]. Ultimately, I think the two approaches have similar power, but I find the operational approach simpler and easier to understand.

Professor Elliott, would you be so kind as to just solve the I/O problem already? You can even present the solution at Zurihac 2024 - by that time, the rest of us will have only waited fourteen (14) years to see it…

[hellwolf]

@atravers

Professor Elliott, would you be so kind as to just solve the I/O problem already? You can even present the solution at Zurihac 2024 - by that time, the rest of us will have only waited fourteen (14) years to see it…

Could we at last simply let Haskell/Agda only do the declarative part, and let the runtime written by c++/rust/zig in the imperative language soup to figure out the dirty job of how to actually run them?