4 ms·
Such a thought provoking language. Docs are a good read, and reach a standard that few production languages come close to.
by solidsnack9000 3y ago
Such a thought provoking language. Docs are a good read, and reach a standard that few production languages come close to.
- whitim 3y agoAgreed, Koka has great documentation, although I will acknowledge that it is incomplete. The papers are suprisingly approachable with good user applicable examples and motivation before they get too deep into type theory etc. I recommend reading a few of the more recent ones, which have mind blowing implications. https://www.microsoft.com/en-us/research/publication/fiptree-tr/ https://www.microsoft.com/en-us/research/publication/fiptree... https://www.microsoft.com/en-us/research/publication/tail-recursion-modulo-context-an-equational-approach-2/ https://www.microsoft.com/en-us/research/publication/tail-re... https://www.microsoft.com/en-us/research/publication/fp2-fully-in-place-functional-programming/ https://www.microsoft.com/en-us/research/publication/fp2-ful...
- solidsnack9000 3y agoAmazing stuff -- thank you for sharing these papers. The implications for things like data science frameworks and spreadsheets are particularly interesting. Perhaps we are within reach of a much more equational approach to programming with high performance.