Re: [gobo-eiffel-develop] Memory allocation overhead

[Berend de B. <be...@po...>]

>>>>> "Colin" == Colin Paul Adams <co...@co...> writes:

>>>>> "Eric" == Eric Bezault <er...@go...> writes:
    Colin> Is there a more efficient way of doing this sort of thing?

Perhaps we should have:

  STRING_.concat(<<once "1", once "2", once "3", once "4">>)

Strings are indeed somewhat trouble in Eiffel. Although the default case
is safe, immutable strings and syntactic sugar for efficient string
concatenations would have been nice.

-- 
Cheers,

Berend de Boer