ホーム倫理学哲学

🔍

Loading article…

japedia.wiki

© 2026 japedia.wiki. すべてのコンテンツはクリエイティブ・コモンズ表示-継承ライセンスの下で利用可能です。

ホーム倫理学哲学

潜在的タイピング | japedia.wiki

潜在的タイピング

J

Japedia 編集部

|更新日: 不明

型が変数ではなく値に関連付けられる型システム

コンピュータプログラミングにおいて、潜在的型付けとは、型が変数ではなく値に関連付けられている型システムを指します。^[1]潜在的型付け言語の例としてはSchemeがあります。これは通常、実行時の型チェックを必要とするため、動的型付けと同義でよく使用されます。^[2]

参照

ダックタイピング

参考文献

^ Allen B. Tucker (2004 年 6 月 28 日)。コンピュータサイエンスハンドブック、第 2 版。Taylor & Francis。pp. 92– 。ISBN 978-1-58488-360-9。
^ Benjamin C. Pierce (2002 年 1 月)。型とプログラミング言語。MIT プレス。pp. 2– 。ISBN 978-0-262-16209-8。

v
t
e

v
t
e

Retrieved from "https://en.wikipedia.org/w/index.php?title=Latent_typing&oldid=1214785427"

ライセンス表示

本コンテンツはWikipediaの翻訳コンテンツを含んでいます。テキストはクリエイティブ・コモンズ表示-継承ライセンスの下で二次利用が可能です。