Java λ演算 lambda calculation

 λ演算

函式裡的 John Doe

Java

1. 單一參數  -> 單一描述句

    x -> expression

2. 多參數 -> 單一描述句

    (x, y) -> expression

3. 多參數 -> 多描述句

    (x, y) -> { expressions }

Java Lambda 中用到的非參數變數, 必須是 final

執行用 apply()

和其他 Collections 或 Stream 搭配來做也很方便

結果 Hello World 變成了這樣...

λ演算 和 圖靈完備性 也有關係
往前可以到 對角論證法 證明實數不可數
往後一路到 停機問題, 和哥爾德不完備

看來純邏輯無法搭建完美的世界, 得擲個色子