News for hackers. Stuff that matters.

A comment on Microsoft Research: Fully In-Place Functional Programming [pdf].

Re:Microsoft Research: Fully In-Place Functional Programming... by fweimer on Sunday June 25, 2023 @04:42PM (#36472383)
This research is related to the Koka programming language: https://koka-lang.github.io/koka/doc/
[ Parent | on HN ]
Re:Microsoft Research: Fully In-Place Functional Programming... by vosper on Monday June 26, 2023 @12:19AM (#36475694)
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?
[ Parent | on HN ]
Re:Microsoft Research: Fully In-Place Functional Programming... by adultSwim on Monday June 26, 2023 @02:51AM (#36476541)
The dev branch was updated earlier this year.
[ Parent | on HN ]
Re:Microsoft Research: Fully In-Place Functional Programming... by GrygrFlzr on Monday June 26, 2023 @02:55AM (#36476562)
Looks like most of the work is on other branches, the most up to date dev-fbip branch had a commit from 2 weeks ago.
[ Parent | on HN ]
Re:Microsoft Research: Fully In-Place Functional Programming... by sp33der89 on Monday June 26, 2023 @06:42AM (#36478017)
Yes, see this Github Discussion for more context: 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-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.

[ Parent | on HN ]