フィールドの読み書き

💡 お知らせ: このドキュメントはAIによって翻訳されています。表現に違和感がある場合は、原文（英語）を参照するか、翻訳にご協力ください。

Flix は、標準的な Java の構文によるオブジェクトフィールド(Object field)および静的フィールド(Static field)（クラスフィールド）の読み取りをサポートしています。

オブジェクトフィールドの読み取り

オブジェクトフィールドは次のように読み取ることができます：

import java.awt.Point

def area(p: Point): Int32 \ IO = p.x * p.y

静的フィールドの読み取り

静的フィールドは次のように読み取ることができます：

import java.lang.Math

def area(radius: Float64): Float64 = (unsafe Math.PI) * radius * radius

ここでは java.lang.Math クラスをインポートし、静的な PI フィールドにアクセスしています。

PI フィールドは決して変化しないことが分かっているため、unsafe を使ってエフェクトをキャストして取り除いています。