I found what is «Morphic», mentioned by Richard Feldman. It's an another experimental programming language with the static reference counting. «Morphic uses a

I found what is «Morphic», mentioned by Richard Feldman. It's an another experimental programming language with the static reference counting. «Morphic uses a borrow-based reference counting scheme which is able to eliminate almost all reference count increments and decrements for a large class of programs»ⓒMorphic developer team. Site: https://morphic-lang.org/ https://morphic-lang.org/ Paper: https://dl.acm.org/doi/10.1145/3591260 https://dl.acm.org/doi/10.1145/3591260