1001コメント350KB

やっぱり動的言語では安全なソフトは作れない 3

■ このスレッドは過去ログ倉庫に格納されています

0645デフォルトの名無しさん

2011/06/27(月) 00:59:32.15

型による検証は網羅的で強力だが、
型の制約は実質的に必要な制約より強すぎるんだよな
そこで一種のトレードオフになってしまう

■ このスレッドは過去ログ倉庫に格納されています