Island Life - 動的型のメリットは「決断の遅延」かもしれない

About 南の島のプログラマ。 たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ 無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...ループを使わずに1から100までMore... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチ

[tarao]

「動かしてこねこねしているうちに形が定まってきたら、そこでアノテーションを入れて静的検査を強化できたらなあ」 まさにgradual typingそのもの

[nanakoso]

「『正しい』（留保:well fromed程度の意味）プロトタイプから出発してレゴブロックのようにどのように試行錯誤している間でもその間中、静的型チェック済み」という環境が理想かな。過保護すぎる？縛りを段階的にとか

[yojik]

> "けれども、「プログラムは実行前に完成しているべきである」という前提を疑ってみるのは無益ではないと思う。"

[masaru_b_cl]

ああ、でもこの意見にはうなずける。"先に構造と意味を決めてからコードを書くのではなく、動くコードを書いてからその意味を考えて構造をいじる。"

[t2y-1979]

難しい、現実と抽象の概念をどう表現するのかも勉強になる

[taninsw]

へぇ>"EclipseのJavaコンパイラとかそう"/開発環境の問題も絡む

[rryu]

宣言のある言語は動的感が薄いのはそのせいかなあ。

[joan9]

Island Life - 動的型のメリットは「決断の遅延」かもしれない

[kitokitoki]

型づけ

[sshi]

あいかわらずshiroさんのバランス感覚には全力で同意してしまうのであった

[bowbow99]

"もちろんこれは極端な例だ。" ｿｳﾀﾞｯﾀﾉｶ

[kazuhooku]

実行時バインディング（静的型言語でも可能）と動的型とは別の話だと思うけど誤読してるかな…

[katzchang]

なるほど。

[gologo13]

なるほど。