New programming language research that might be of interest

17 views
Skip to first unread message

arabella....@gmail.com

unread,
Dec 17, 2020, 6:34:14 PM12/17/20
to Felix Language
I recently stumbled across Microsoft's research programming language Koka. What I specifically found interesting about it was this:

Perceus is an advanced compilation method for reference counting. Together with evidence translation, this lets Koka compile directly to C code without needing a garbage collector or runtime system. Perceus also performs reuse analysis and optimizes functional-style programs to use in-place updates when possible (see the benchmarks).

(The links go to papers with more information.)

It was previously stated somewhere that a simple garbage collection strategy is used with Felix to maintain compatibility with C/C++. However, this language has a compilation strategy that is called "functional, but in place," or FBIP that allows it to avoid using a garbage collector and maintain compatibility with C.

Might be worth looking into.

Skaller

unread,
Dec 17, 2020, 7:59:42 PM12/17/20
to felix-l...@googlegroups.com
I’ll look. Apple objective C also has automatic reference counting

Sent from my iPhone

On 18 Dec 2020, at 10:40, arabella....@gmail.com <arabella....@gmail.com> wrote:


--
You received this message because you are subscribed to the Google Groups "Felix Language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to felix-languag...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/felix-language/05860fe3-af3f-4623-ab63-f5de8d6c46b3n%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages