m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「CPS（継続渡し方式）変換をJavaScriptで説明してみるべ、ナーニ、たいしたことねーべよ」で、説明用の疑似構文として、JavaScriptに“型パラメータと総称”を入れたものを使ったのですが、型パラメータと総称の構文って、けっこうむずかしいですね。必ずしもJavaScriptに限らず、既存言語にもこだわらず、型パラメータと総称の構文について考えてみます。いくつかの言葉String, Integerなど型の名前（型定数）、X, Yのような不定な型を表す名前（型変数）、List, Pairなどの型構成子を含む記号表現をtype expressionというのだけど、直訳すると型式＜かた・しき… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20080118%2F1200624718" title="型パラメータと総称：どうしたらわかりやすい構文になるのかな - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-01-18 11:51:58 rich https://m-hiyama.hatenablog.com/entry/20080118/1200624718 1.0 100%