We already have that in record class, what is your point?
唔明你講乜, 例如c# 可以咁寫getter
public record Circle(double r)
{
public double Area => Math.PI * r * r;
}
var c = new Circle(1);
Console.WriteLine(c.Area);
Java record support呢種getter?
We also have that supported since JDK 19 (experimental) / JDK20 (preview feature)
唔見佢有support List patterns同Relational patterns之類