On Fri, Dec 10, 2010 at 6:10 PM, <nore...@github.com> wrote:

> Branch: refs/heads/master
> Home:   https://github.com/perl6/specs
>
> Commit: b578b580a3e219efc829bb723db457566c2f07e0
>
> https://github.com/perl6/specs/commit/b578b580a3e219efc829bb723db457566c2f07e0
> Author: TimToady <la...@wall.org>
> Date:   2010-12-10 (Fri, 10 Dec 2010)
>

  Hmmm ...

[...]
multi sub chrs( Int *...@grid  --> List of Char )
[...]
C<chrs> takes zero or more integer grapheme ids and returns the
corresponding characters as a string.
[...]


  Is a C<List of Char> a "string" now?

  If the return value always C<does Str>, the return type should reflect
that, no?  (I assume C<List of Char> on its own does not; a dangerous
practice?)

  OTOH, if it is not the case that this "string" necessarily C<does Str>, it
seems an interesting distinction to make – one that could stand to be
expounded upon? :)


Eirik

Reply via email to