>>39
The right answer is that lambda calculus could be used to emulate the behaviour of a memory manager. It can't be used to make a real memory manager as it's just a formal mathemathical system which has nothing to do with how hardware works. That said, you might be able to implement one if you defined a concrete language based on it and give it an FFI, or just access to primitive memory management functions, but that will no longer be lambda calculus, but a practical language based on it.