この構文は何ですか？

Question

まずこれを見てください。
https://guide.openrndr.org/#/03_Program_basics/C00_ApplicationProgram
OPENrndrというクリエイティブコーディングの為のKotlinライブラリです。
ここで何が起きているのか理解できないので、説明をお願いしたいです。

fun main() = application {
    configure {// set Configuration options here
    }

    program {
        // -- what is here is executed once
        extend {// -- what is here is executed 'as often as possible'
        }
    }
}

Kotlinは触ったことが無いので、そもそもこの構文の名前が何かわからずググることすらできません。
かろうじてmain関数を何か特殊な方法で定義しているということだけはわかります。

追記
勿論これをどのように使えば望む結果が得られるかはわかりますが、中の仕組みがどうなっているかに興味があります。

Comments

[cateye]

まず、調べましょう→https://kotlinlang.org/
https://qiita.com/kerobot/items/ac8fa69955f9d3414f81

Answer 1

機能としては高階関数(特にレシーバー付き)のものを使ってるだけですが、それを利用して特別な構文が使えるかのような設計にしてるものです。

kotlin DSL
でまとまった資料が出てくるので詳しくはそれで調べてください。

Comments

[Watching]

つまり、単純に関数にラムダ式を渡しているだけという認識で合っていますか？
本来なら
application({})
と書くところを外に出しているのですね？

[hoshi-takanori]

です。ラムダ式が最後の引数なら () の外に出せますし、唯一の引数なら () を省略できます。
https://dogwood008.github.io/kotlin-web-site-ja/docs/reference/lambdas.html