[mercury-users] string

Robert Ernst Johann JESCHOFNIK rejj at cat.cs.mu.OZ.AU
Sat Dec 4 01:22:07 AEDT 1999

On Fri, 3 Dec 1999, Ralph Becket wrote:

> I'm not sure what you want to achieve here.  Do you want to have a class of
> strings composed of UNICODE characters?  If so, I suspect that the general
> solution to your problem will have to wait for the next version of the
> library which should make extensive use of typeclasses.  After all, it
> sounds
> like you want to pass these string variants to predicates expecting plain
> strings.

I think that is what Michael is currently doing, Ralph :) (writing the
typeclassed io to do strings) He'd have to wait for a fair while for it to
magically happen.. ;)

> Hmm, maybe it'd be an idea to write an immutable vector type module on top
> of arrays, using dodgy C stuff to convince the compiler that the vectors
> needn't be unique objects.

Wouldn't that be the other way around? You want the vector to be unique,
and you also want to belt the compiler into submission when you tell it
that it contains unique objects, too..
If the vector was not unique, surely that would cause all sorts of
performance issues.

But then again, since when has Prolog been fast, anyway? ;)

mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe

More information about the users mailing list