Closures vs Objects (228ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
201(2): 2025/02/22(土) 00:37:58.92 ID:2igDN88l(5/7)調 AAS
たとえばList nで長さnのリストを表すとする
nが実行時に決まる値だったとしても、関数
concat: List n -> List m -> List (n + m)
の型はコンパイル時にチェックできる
203: 2025/02/22(土) 00:42:20.87 ID:fju1Vmb5(2/2)調 AAS
>>201
いずれもList型なので、
そのケースは静的に型が定まっていますね。
207(3): 2025/02/22(土) 14:54:10.02 ID:H7FLchaf(1)調 AAS
>>206
そもそも動的型付け言語・静的型付け言語なんてものはない。
型検査をコンパイル時に行うかどうかは、処理系の実装方法に過ぎない。
また、型が実行時の値に依存していても、コンパイル時に検査することは可能（>>201）
あなたは前提知識が足りてなさすぎる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.016s