classes

不知道為什麼總有人認為 OOP 和 FP 是對立的...

Beta 規約 與 method

事實上一個 method 是可以完全通過 Beta 規約來求值的, 這可以如下 Substitution 做到:

考慮一個 Class:

class SomeClass(x1: Type1, x2: Type2 ...) = { ... def some_method(y1: Type1, y2: Type2 ...) = { [function body] } ...}

substitution:

[x1/v1,x2/v2,...][y1/w1,y2/w2,...][new SomeClass(v1,v2,...)/this]new SomeClass(x1,x2,...).some_method(y1,y2,...)

推薦閱讀：