Haskell has GC and lazy evaluation. It's not even relevant.

If Ada doesn't have GC, it leaks, which isn't safe.

You're supposed to just statically allocate memory, which is probably adequate for many special-purpose applications. There are alternative solutions, though. Some compilers offer GC, but most people use manual dynamic allocation.