rakulang

term

Raku 中的术语

Mon Jul 12, 2021

Terms in Raku

匿名 #

子例程、方法或子方法，当它们不能通过名字调用时，就被称为匿名的

# named subroutine
sub double($x) { 2 * $x };
# 匿名子例程,存储在一个具名的标量里
my $double = sub ($x) { 2 * $x };

注意，匿名子例程仍然可以有名字

# 使用 anon 关键字使子例程匿名
my $s = anon sub triple($x) { 3 * $x }
say $s.name;        # triple

副词 #

通常, 副词是函数的命名参数. 也有一些其它特殊语法形式允许副词出现在某些合适的地方:

q:w"foo bar   # ":w" is a Quotelike form modifier adverb
m:g/a|b|c/     # ":g" is also
4 +> 5 :rotate # ":rotate" is an operator adverb
@h{3}:exists   # ":exists" is also, but is known as a subscript adverb

副词通常使用冒号对儿标记来表示, 因为这个原因, 冒号对儿标记法也以副词对儿形式著称:

:a(4)          # Same as "a" => 4

Autothreading #

Autothreading 是这样的: 如果你传递一个 junction 给子例程, 该子例程期望的参数类型为 Any 或它的子类型。那么这个子例程调用会被执行多次, 每次使用一个不同的 junction 状态. 这些调用的结果被组合成一个跟原 junction 同类型的 junction。

sub f($x) { 2 * $x };

if f(1|2|3) == 4 {
    say 'success';
}

这里 f() 是含有一个参数的子例程，然而因为它没有显式的类型声明，它就被隐式的声明为 Any 型。 Junction 参数使 f(1|2|3) 调用在内部作为 f(1)|f(2)|f(3) 执行, 而结果是跟原 junction 同类型的 junction, 即 2|4|6。这种把一个 Junction 分成对多次函数调用的处理就叫做 autothreading。

Colon Pair 和 Colon List #

冒号对儿是用于创建或 Pair 对象的便捷语法. 两种最常见的形式是:

:a(4)          # Same as "a" => 4,   same as Pair.new(:key<a>,:value(5))
:a<4>          # Same as "a" => "4", same as Pair.new(:key<a>,:value<5>)

这也是人们熟知的副词对儿形式。注意, 当冒号后面括号前面的部分不是一个合法的标识符的时候, 会应用其它语义, 不是所有的副词对儿都创建 Pair 对象。另外两个常见的形式是:

:a             # Same as :a(True)
:!a            # Same as :a(False)

一个 colon 列表是一个仅包含冒号对儿的列表, 不需要逗号, 甚至不需要空格:

:a(4):c:!d:c   # Same as a => 4, c => True, d => False, c => True

Constraint #

约束是给参数或 subset 类型添加的限制。通过单词 where 引入约束. 在下面的例子中, 约束用于确保, 当调用一个名为 abbreviate 的子例程, 其参数为一个长度小于 10 个字符的字符串时,会抛出一个错误:

sub abbreviate (Str $thing where { .chars >= 10 }) { ... }

上例中的 Str 也是一个约束, 但是经常作为"类型约束".

Instance #

类的实例在其它编程语言中也叫对象. 对象存储属性, 通常是 new 方法调用的返回值, 或者是对象字面量. 大部分类型的实例被定义为 True, 例如 defined($instance) 为 True。

my Str $str = "hello";  ## 这使用内建类型,例如 Str

if defined($str) {
    say "Oh, yeah. I'm defined.";
} else {
    say "No. Something off? ";
}

## if you wanted objects...
class A {
    # nothing here for now.
}

my $an_instance = A.new;
say $an_instance.defined.perl;# defined($an_instance) works too.

类拥有方法和属性的所有蓝图, 而类的实例把蓝图带到真实世界中。

Invocant #

在 Raku 中调用方法的对象叫做调用者. 在方法中它就是 self 引用的东西.

say 'str'.uc;   # 'str' 是 方法 uc 的调用者

Literal #

字面量是一块直接代表对象的代码, 通常指向对象自身.

my $x = 2;      # the 2 is a literal
say $x;         # $x is not a literal, but a variable

lvalue #

lvalue 或者左值是能出现在赋值操作符左侧的任何东西; 典型的左值有变量, 私有属性和 is rw 属性, 变量列表和左值子例程。

左值的例子:

Declaration	lvalue	Comments
my $x;	$x
my ($a, $b);	($a, $b)
has $!attribute;	$!attribute	Only inside classes
has $.attrib is rw;	$.attrib
sub a is rw { $x };	a()

不是左值的例子:

3                        # literals
constant x = 3;          # constants
has $.attrib;            # attributes; you can only assign to $!attrib
sub f { }; f();          # "normal" subs are not writable
sub f($x) { $x = 3 };    # error - parameters are read-only by default

Mainline #

mainline 是程序中不属于任何 block 的程序文本.

sub f {
            # not in mainline, in sub f
}

f();        # in mainline again

Slurpy #

子例程或方法中的形参如果能接收任意数量的参数, 那这个形参就会被认为是 slurpy 的。它由参数名字前面的星号标出。

sub sum (*@numbers) {
    return [+] @numbers;
}

Type Object #

类型对象是一个代表类 /role/package/grammar/enum 的对象。它通常和类型名相同。

class A { };

say A;              # A is the type object
my $x = A.new();    # same here
my $x = class {
    method greet() {
        say "hi";
    }
}

# $x now holds a type object returned from the
# anonymous class definition