🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Yesterday I gave at talk at Imperial College on the uses of dualities in programming. We look at the dualities between data and codata, calls and returns, and ASTs and stack machines. Slides are at noelwelsh.com/landing/talks/ and the benchmarks are taken from github.com/scalawithcats/…

Just added slides for my talk "Tagless Final for Humans" to my page of talks: noelwelsh.com/landing/talks/ I gave this talk today at Scalar Conference. The core is a new encoding for tagless final in Scala, which makes much better use of Scala's features than the standard encoding.

Loved the pure theatre slide. In the current state of things (monix abandoned, zio being a walled garden, CE3 putting a lot of things in IO itself), I see very little reason to do new Scala 3 libraries for TL ecosystem using tagless final.

Slides to grab here: w.pitula.me/presentations/…

Noel Welsh is @[email protected] Scalar Conference i put the code from the slides into a gist, along with an example interpreter gist.github.com/arosien/f5bfeb… #scala #fp

This week, in addition to our usual programming, we will have track working on talk proposals for Scala Days: meetup.com/london-scala/e…

Finished the chapter on tagless final in "Functional Programming Strategies" and it's available online: scalawithcats.com This includes the new encoding I talked about at Scalar Conference . Sign up to the mailing list on the same site if you want to hear about updates.

Will be giving a talk about JVM build tooling at the Seattle Java User Group, Thursday April 24. Come by if you're interested! meetup.com/seajug/events/…

Talking about build tools at the Boston Java meetup next Monday 21 April. Come by if you are free! meetup.com/boston-java/ev…

Scalar was a lot of fun and I saw some great talks (you should check out the Youtube channel!). If the content below is interesting to you, I have expanded on it the current draft of my book "Functional Programming Strategies", which is at scalawithcats.com.

Resharing for the third time as Noel Welsh is @[email protected] recently finished the chapter about the "user friendly" tagless final encoding. The book is awesome by the way! It's probably the most comprehensive guide to programming with Cats. #scala scalawithcats.com/dist/scala-wit…

We are back this Thursday for the start of our summer term, hosted by SiriusXM. Join us to improve at programming and further your career: meetup.com/scalabridge-lo… We have our usual range of topics, covering beginner to advanced programming.

ScalaTimes issue 580 powered by Avinder Bahra Olivier Mélois Łukasz Biały Noel Welsh is @[email protected] Scala.js and others!

Last Thursday we started our summer term with a great session at SiriusXM. Next session is online on the 8th of May: meetup.com/scalabridge-lo… We have a few new groups running this term (music, Cats, another web project) as well as the usual foundations / Cats Effect / etc.

Hello folks 👋 ScalaIO is back for another edition in 2025 🥳 🌐 It will be held at La Grande Crypte, Paris 🇫🇷 on the 17/10 🎟️ Early birds tickets are already open to sales(f: Person => `scala.io`) 🤝 CFP & sponsorships will open very shortly See you soon 😊

I'm giving this workshop at Scala Days, which will cover most of the techniques I've learned over the last 15 years of building software in typed FP. Happy to answer any questions about the workshop (which will draw from the book I'm writing: scalawithcats.com)

It's official. LaTeX is dead to me. It's all about Typst now. buttondown.com/functionalprog… if you want to know more.

"Complexity", In programming circles, is an largely meaningless phrase that we use to hit each other with. Don't like something? It's too complex. The reason doesn't really matter, though often the core is just "this isn't something I learned in school".