Type checking

Gleam has a robust static type system that helps you as you write and edit code, catching mistakes and showing you where to make changes.

Gleam には堅牢な静的型システムがあり、コードを書いたり編集したりする際に、間違いを発見し変更すべき箇所を示してくれます。

Uncomment the line io.println(4) and see how a compile time error is reported as the io.println function only works with strings, not ints.

io.println(4) の行のコメントを解除し、io.println 関数が整数ではなく文字列に対してのみ動作するため、コンパイル時にエラーが報告されることを確認してください。

To fix the code change the code to call the io.debug function instead, as it will print a value of any type.

このコードを修正するには、任意の型の値を出力するための io.debug 関数を呼び出すようにコードを変更してください。

Gleam has no null, no implicit conversions, no exceptions, and always performs full type checking. If the code compiles you can be reasonably confident it does not have any inconsistencies that may cause bugs or crashes.

Gleam には null も、暗黙の変換も、例外もなく、常に完全な型チェックを行います。コードがコンパイルされれば、バグやクラッシュの原因となるような不整合がないことを確信できます。