This is the second time I’ve seen @alexozun.com’s talk on making invalid state impossible and it’s a really cool approach to improved software safety!

How smooth is your learning curve?

Hey 👋 enjoy ☺️

Next up: @alexozun.com on how to make invalid states impossible in your app.

Same with dictionaries.
[Key: Value] or [Key : Value]

Thanks! I'll share the recording when it's published on YouTube

Thank you Peter! And thanks again for borrowing your clicker (I'd already added it to my Bday wish list 😀)

I think I managed to successfully trick the audience into thinking we were simply describing effects with enums, until finally revealing that we’d actually learned something that *supposedly* requires a PhD in Computer Science to understand (spoiler: it really doesn’t!).

Haha, thank you Oliver 🙌 see you next week in Turin!

I am, of course, just bastardising the
en.m.wikipedia.org/wiki/Fundame...

@dustyn thank you, I'm pretty sure they will be! And I'll make sure to repost them on social media and my blog

Heading into 2025 with 3 brand-new talks is kinda crazy, but I'm feeling good about this decision.
I'm excited to share these talks with the community later this year!
If you'll be at any of these conferences, drop me a message.

I primarily draw info from Scala community that has a wealth of info on effect systems. Swift and Scala are closely positioned in this field, both being capable FP langs with expressive type systems, and both being impure, requiring good effect systems and disciplines to control side effects.

My article is almost finished and it goes into great detail on various effect systems in Swift, including monadic effects and effect descriptors. I go from first principles, how continuation-passing style gives rise to unidirectional architectures, and how we could possible go back to direct style.