在Raku中，如何编写Haskell的span函数的等价物？

Question

在Raku中，如何编写Haskell的spa函数的等价物？

在Haskell中，给定一个谓词和一个列表，可以将列表分成两部分：

• 满足谓词的元素的最长前缀

例如，Haskell表达式...

span (< 10) [2, 2, 2, 5, 5, 7, 13, 9, 6, 2, 20, 4]

…计算结果为…

([2,2,2,5,5,7],[13,9,6,2,20,4])

如何编写Haskell的spa函数的Raku等价物？

基于@chenyf的回答，我开发了以下子程序…

sub span( &predicate, @numberList )
  {
  my $idx = @numberList.first(&predicate):k ;
  my @lst is Array[List] = @numberList[0..$idx-1], @numberList[$idx..*] ;
  @lst ;
  } # end sub span

sub MAIN()
  {
  my &myPredicate = { $_ > 10 } ;
  my @myNumberList is Array[Int] = [2, 2, 2, 5, 5, 7, 13, 9, 6, 2, 20, 4] ;
  my @result is Array[List] = span( &myPredicate, @myNumberList ) ;
  say '@result is ...' ;
  say @result ;
  say '@result[0] is ...' ;
  say @result[0] ;
  say @result[0].WHAT ;
  say '@result[1] is ...' ;
  say @result[1] ;
  say @result[1].WHAT ;
  } # end sub MAIN

程序输出为…

@result is ...
[(2 2 2 5 5 7) (13 9 6 2 20 4)]
@result[0] is ...
(2 2 2 5 5 7)
(List)
@result[1] is ...
(13 9 6 2 20 4)
(List)

Answer 1

这是一种完全天真的看法：

sub split_on(@arr, &pred) {
  my @arr1;
  my @arr2 = @arr;

  loop {
    if not &pred(@arr2.first) {
      last;
    } 

    push @arr1: @arr2.shift
  }

  (@arr1, @arr2);
}

创建一个新的@arr1并将数组复制到@arr2。循环，如果数组中的第一个元素没有满足谓词，则是最后一次通过。否则，将第一个元素从@arr2移开并将其推送到@arr1。

测试时：

my @a = [2, 2, 2, 5, 5, 7, 13, 9, 6, 2, 20, 4];
my @b = split_on @a, -> $x { $x < 10 };

say @b;

输出为：

[[2 2 2 5 5 7] [13 9 6 2 20 4]]

这里唯一的问题是。。。如果谓词不满足怎么办？好吧，让我们检查一下列表是否为空，或者是否满足谓词来终止循环。

sub split_on(@arr, &pred) {
  my @arr1;
  my @arr2 = @arr;

  loop {
    if !@arr2 || not &pred(@arr2.first) {
      last;
    } 

    push @arr1: @arr2.shift;
  }

  (@arr1, @arr2);
}

Answer 2

我使用first方法和： k副词，如下所示：

my @num  = [2, 2, 2, 5, 5, 7, 13, 9, 6, 2, 20, 4];
my $idx = @num.first(* > 10):k;

@num[0..$idx-1], @num[$idx..*];