Perceus
>Perceus is the compiler optimized reference counting technique that Koka uses for automatic memory management.
>
CやRustなどは、パフォーマンスが良いが、プログラミングが難しい
OCamlやJavaなどは、GCがあって楽だが、パフォーマンスなどの問題がある
KokaのPerceusはその中間ぐらい
C/C++の性能の2倍以内を目指す
2021/11
functional but in-place (FBIP)という新しいプログラミングパラダイムを実現
2021/6
κeen氏のスライド
参照カウントGCの改善