Record accessors

The record accessor syntax record.field_label can be used to get contained values from a custom type record.

レコードアクセサ構文 record.field_label は、カスタムタイプのレコードに含まれる値を取得するために使用できます。

The accessor syntax can only be used for fields with the same name that are in the same position and have the same type for all variants of the custom type.

このアクセサ構文は、カスタムタイプの全てのバリアントで同じ位置にあり、同じ型を持つ同じ名前のフィールドにのみ使用できます。

The name field is in the first position and has type String for all variants, so it can be accessed.

name フィールドは最初の位置にあり、全てのバリアントで String 型を持つのでアクセスできます。

The subject field is absent on the Student variant, so it cannot be used on any variant of type SchoolPerson. Uncomment the teacher.subject line to see the compile error from trying to use this accessor.

subject フィールドは Student バリアントにはないので、SchoolPerson 型のバリアントでは使用できません。teacher.subject の行をアンコメントすると、このアクセサを使おうとしたときのコンパイルエラーを確認することができます。