&& とかも右辺値が @autoclosure で短絡評価を実現してる。

2:57 AM

実際にはクロージャ介さずに効率的に実行してるだろうけど、昔ながらの && の短絡評価を型システム的に @autoclosure で表現できてるのがおもしろい。