Purely functional programming languages solve the problem of memory allocation, but at what price.
On another note, I never understood why purely functional programming language designers are so keen on strong typing. Type inference goes a very long way in purely FP language compilers, so why force the programmer to write tons of extra bullshite?