IDEA等)で宣言にジャンプするwith関数はStandard.ktに記述されているその方法だとコードを書かないと調べられない(議事録作成時追記)Kotlin標準ライブラリのリファレンスが次のURLで公開されているhttps://kotlinlang.org/api/latest/jvm/stdlib/index.htmlPackages一覧でkotlinをクリック、Functions一覧でwithをクリックすると定義と説明が参照できる(説明は一文程度)。「isEnableよりも複雑になった場合」→「isEnableよりも複雑になった場合」6.1.7¶let関数は、?.で呼び出しているレシーバがnull許容型だと?.で呼ばないとコンパイルエラーP.181の図6.2では、安全呼び出し演算子は、レシーバがnullのときnullが使用されるとあるが、図6.6では、fooがnullのとき「何も起きない」とある。letのときは特殊な処理がある?nullとなる。図の書き方に齟齬があるだけでは。宿題プラットフォーム型をnull非許容型変数へ代入するコードをバイトコート上で調べ、どのようなnullチェックが入るか確認する。(議事録執筆時追記)Javaから呼ばれるKotlinのクラスのメソッドで次のコードが生成されていた。上の宿題で確認できるかと。(議事録執筆時追記)上述のとおり、assertではなく、kotlin.jvm.internal.IntrinsicsクラスのcheckParameterIsNotNullメソッドが呼ばれていた。このメソッドは引数がnullか判定し、nullなら例外をスローしている。数値の変換¶Kotlinの数値型はJavaのプリミティブ型の名前の先頭を大文字にしたネーミングになっている。あるけどKotlinではどうだろう?コンパイルエラーとなった。