AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Rand Separate Compilation
Separate compilation is really nice for having an incremental dwhere you build your program bit by bit, rather than have to do the whole thing in one big go. The design we were going for there was to try and keep the nice properties of separate compilation. It's not actually going to work for all types. But it works quite neatly for some cases where you can implement stuff like data structures which are generic and peramatrized by a type. They're all quite tioket in various edge cases, especially when you have lick advanced mugular features. I ri we gan a little far afield. Let's get back to the unbak type question. Ok, so