#icfp2024 — Public Fediverse posts

My conference at #ICFP2024 about Bob was just published here: https://www.youtube.com/watch?v=COmi9e7wHtI&ab_channel=ACMSIGPLAN It's a simple tool to transfer files in #OCaml and an #unikernel. It is also an actually portable executable, thanks to #Cosmopolitan. It's available here: https://bob.osau.re/

At #icfp2024 Zubin Duggal (https://well-typed.com/people/zubin/) showed me this picture from a new Operations Control Center for part of Delhi's Metro system. Apparently the system status display on the giant screens is rendered with the Haskell diagrams EDSL!

Haskell Implementors Workshop to be co-located with ZuriHac in 2025.

#zurihac #icfp2024 #icfp #haskell

on to lightning talks

#haskelSymposium #icfp2024 #icfp

Craig Ramsay talking about hardware garbage collection.

#haskellSymposium #icfp #icfp2024

Zac Garby talking about calculating compilers.

#haskelSymposium #icfp #icfp2024

Lennart Augustsson presents MicroHs, which compiles a decent subset of current Haskell to combinator graphs. And its output runs anywhere you have a C compiler.

https://github.com/augustss/MicroHs.git

#Haskell #icfp #icfp2024 #haskellSymposium

(update: video and slides of the ICFP talk are linked in the GitHub README)

it's comic sans time.

#haskell #ghc #icfp #icfp2024 #haskelSymposium

The story of linear type systems #icfp2024

Pedro Vasconcelos is talking about a small step interpreter for Haskell written in Elm.

https://pbv.github.io/haskelite/site/index.html

#haskell #haskellSymposium #icfp #icfp2024

At the Haskell Symposium, Brent Yorgy is live coding an interpreter, after talking about the joy of inventing languages.

#haskell #haskellSymposium #icfp #icfp2024 @byorgey

@6d03 @vzaliva some workshops seem to be present. For example I'm attending this talk and I found it mentioned here: https://discuss.systems/@funarch/113089466741759313 #ICFP #icfp2024

missing features at ICFP: whiteboards, couches, sunlight

#icfp2024 #icfp

Now, Patrick Bahr on calculating compilers. problem: when compiling to continuation passing code, code is duplicated.

#icfp #icfp2024

learning about bit stealing for ADTs

#icfp #icfp2024

@vzaliva indeed. the quality of the coffee is often lacking at conferences. not so here!

#icfp #icfp2024

I just heard a talk about ownership region constraints in Rust. Sounds like there are presheaves (on distributive lattices?) hiding in there somewhere.

#icfp2024 #icfp

Now on my way to the #ICFP2024 conference in Milan, Italy.

On my way to ICFP 2024.

#icfp2024 #icfp

Hello #fediverse ! I asking for your help. I'm looking for someone willing to share a spare #couch in #Milan for the nights of August 30 and 31.

The reason is that I'll be arriving early for this year's @farm and #ICFP, and my arranged accommodation until September 1st.

PS: I like cleaning and cooking 😁, but might as well be out all day exploring the city 🤠

#couchsurfing #italy #icfp2024

I am pleased to let y'all know that I will be giving a presentation about #GRASP 's visual stepper during this year's #SchemeWorkshop in Milan, Italy

#Scheme #ICFP #ICFP2024

I just registered for #ICFP. See you in Milan next month! #icfp2024

#CallForPapers #ICFP #ICFP2024 , International Conference on #FunctionalProgramming : "seeks contributions on the design, implementations, principles, and uses of functional programming, covering the entire spectrum of work, from practice to theory, including its peripheries" #fp https://icfp24.sigplan.org/track/icfp-2024-papers#Call-for-Papers