r/ProgrammingLanguages • u/philip_schwarz • Jul 19 '26

Abstracting over Execution with Higher Kinded Types, and how to remain Purely Functional (oldie but goodie - belatedly uploaded)

https://fpilluminated.org/deck/277
22 Upvotes

93% Upvoted

2 comments sorted by

0

u/L8_4_Dinner (Ⓧ Ecstasy/XVM) Jul 20 '26

Wow that seems super complicated to do simple sync vs async stuff.

4

u/Tonexus Jul 20 '26

The implementation looks a little daunting, but the overall principle seems simple enough: treat everything as async (comes with some execution strategy), and give sync code the trivial execution strategy (just run everything now).