I stumbled across Koka a while back, and I love the way it does stateful effects and compile-time reference counting. There's active work being done on the compiler, and the language itself is quite elegant. What are people's thoughts on compile time automatic memory management?
(I'm not affiliated fwiw)