You should be reading academic computer science papers (2022)

I have been following koka closely for a while now, its a very exciting language