sumiiの日記 このページをアンテナに追加 RSSフィード

2006-10-04

{static,dynamic} {weak,strong} typing

CとかMLとかSchemeとか、Wikipediaではプログラミング言語の右のほうに特徴をまとめた表があって、「Typing discipline: static, strong」とか書いてあることに気づいた。static/dynamic(静的・動的)、strong/weak(強い・弱い)の定義はたまに混乱があるようですが、たとえば

http://en.wikipedia.org/wiki/Type_system

http://d.hatena.ne.jp/sumii/20051018/1129631080

あたりをば。あれ、Pascalはvariant recordがunsafeなので、static weak typingではなかったっけ…? 最近のコンパイラでは動的にチェックされるのか?

投稿したコメントは管理者が承認するまで公開されません。

スパム対策のためのダミーです。もし見えても何も入力しないでください
ゲスト


画像認証

トラックバック - http://d.hatena.ne.jp/sumii/20061004/1159971517