5 ms·
This paper was published in May, but it doesn't look like Koka's had much acitivity for about a year now (based on Github). Any idea if Koka's still in developm
by vosper 3y ago
This paper was published in May, but it doesn't look like Koka's had much acitivity for about a year now (based on Github). Any idea if Koka's still in development?
- adultSwim 3y agoThe dev branch was updated earlier this year.
- GrygrFlzr 3y agoLooks like most of the work is on other branches, the most up to date dev-fbip branch had a commit from 2 weeks ago.
- sp33der89 3y agoYes, see this Github Discussion for more context: https://github.com/koka-lang/koka/discussions/339#discussioncomment-6236794 https://github.com/koka-lang/koka/discussions/339#discussion... > yes! Currently the active development is in dev-fbip, see also our recent tech report: https://www.microsoft.com/en-us/research/publication/fp2-fully-in-place-functional-programming/ https://www.microsoft.com/en-us/research/publication/fp2-ful... We hope to put out a fresh release after the POPL deadline (Jul 11) that will include the new fip keyword and other goodies.