> Returning a string from a function is a nightmare in almost every typed language, except Delphi/Free Pascal, which does auto-reference counting, and manages it all, you never have to allocate/free memory for them, and they can hold gigabytes.

Why mention memory allocation at all? There are plenty of typed languages that have automatic garbage collection and handle strings just fine.

Go (Golang) comes to mind as a superb example of a typed language in which string handling is a breeze.