I already hinted at it a few times. I’m building a new development environment for macOS. The current focus is on Haskell support, but it can also do Agda & Swift. I only just started beta testing with external testers, so there are still rough edges. Interested in giving the beta a spin? Send a DM!

The abstract deadline for FProPer is coming up in a bit more than two weeks (31/5 - paper deadline 14/6). If you're working in the space, please consider submitting! And of course, if you know anyone doing interesting work in this area, please also encourage them to submit!

Summer School on Advanced Functional Programming in Utrecht (NL) in July: http://afp.school/

FProPer 2025 - ICFP/SPLASH 2025 FProPer aims to bring together researchers and practitioners that strive to use or develop declarative languages for combining programmer productivity with the highest levels of runtime performance. T...

I'm honored to chair - with @gckeller.bsky.social and Sven-Bodo Scholz - FProPer’25, the Workshop on Functional Programming for Productivity and Performance.
CfP asks for full papers (abstract deadline May 31) or standalone abstracts (Aug 2) - hope you'll submit!
conf.researchr.org/home/icfp-sp...

FProPer 2025 - ICFP/SPLASH 2025 FProPer aims to bring together researchers and practitioners that strive to use or develop declarative languages for combining programmer productivity with the highest levels of runtime performance. T...

If you're working on (high)performance for declarative languages - consider submitting your paper or abstract to FProPer (formerly FHPNC) this year!
conf.researchr.org/home/icfp-sp...

Programme Languages Talks, PL@LX Delta #1 - LASIGE PL@LX Delta January 23, 2025, 14h Room C6.3.27 – Building C6 – FCUL (Campo Grande) 14h00: Luís Caires (IST): Programming with CLASS 14h40: Ana Borges (Formal Vindications): A logician’s look into temp...

📢Programming Languages folks in Lisbon: We're hosting PL@LX this Thursday (Jan 23rd) afternoon in Campo Grande. Details at lasige.pt/talk/program....

Speaking of pearls, we also have Backhouse, Guttmann and Winter's pearl, showing a neat example of a goal-directed, calculational proof: constructing an equivalence relation from a given relation by way of a starth root construction.

Have a read of Shin-Cheng Mu's beautiful functional pearl on deriving an algorithm for bottom-up computation using trees of sublists.

My keynote from FProPer'24 is also online now
"From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming"
www.youtube.com/watch?v=y_tJ...

I'm happy to announce that the Utrecht Advanced Functional Programming summer school is happening again this year! It takes place in the second week of July. If you'd like to join, please register via the link below! utrechtsummerschool.nl/courses/scie...

Haskell Utrecht Meetup, Mon, Dec 11, 2023, 7:00 PM | Meetup Mark your calendars: the next Haskell Utrecht Meetup will be on December 11th. We will be in a new location - room 0.21 in the *Universiteitsbibliotheek* (University Libra

Heads up! The next Haskell Utrecht Meetup is going to be on 11 December: www.meetup.com/haskell-utre...