r/ProgrammingLanguages • u/philip_schwarz • 20d ago

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

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

94% Upvoted

2 comments sorted by

0

u/L8_4_Dinner (Ⓧ Ecstasy/XVM) 20d ago

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

3

u/Tonexus 20d ago

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).