明示的な型の宣言を省略できます。明瞭性を期するためにはそれを含めるようおすすめします。項演算子は含まれず、その代わりに条件式が使用されます。式に置き換えることをご検討ください。式内の各ブランチは、条件、矢印(->)、結果で表されます。して評価されると、右側の式の結果が返されます。あるブランチから次のブランチへと実行されていくわけではないので、ご注意ください。コードは、機能的には前述の例のコードと同等ですが、おそらく読みやすさが向上しています。キャスティングがあります。値への参照が変数に含まれているか確認できます。次の例をご覧ください。非許容として扱うことができます。許容として扱う必要はありません。満たすあらゆる条件に使用できます。つの関数とすることができます。結果が必要になるたびに、同じ一連の式を繰り返すのではなく、式を関数にラップしてその関数を呼び出すことができます。キーワードに続けて関数名を指定します。次に、関数が取る入力の型があればそれを定義し、返される出力の型を宣言します。関数の本文では、関数呼び出し時に呼び出される式を定義します。関数は以下のようになります。