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