TaPLを読んでる

RustやTypeScriptに関するちょっと込み入ったドキュメントや記事を読んだりすると「部分型」だとか「多相」のようなワードが頻出するのだけどこれらの意味があんまりよくわかっていなかった。 普段よく書いているプログラミング言語のはずなのにその(主に型の)解説で使われている単語が全くわからんというのはどうなのかというあたりに型システム入門(通称 TaPL)を読み始めたモチベーションがある。 しかしまぁ普段プログラミングをしていると型キャストしたりジェネリクスを使ったりとか、何かしらの形でそういったワードに由来する言語機能を使う経験自体はすでにあり、今更小難しい話を知らなくても使い方はわかるので大して困ることもないわけで。 それにこの先プログラミング言語を本格的に開発する予定もないし、その理論的な意味といったものに特別興味を持つことはなかったわけだがふとTypeScriptの型メモというQ

[mukaken]

“型システム入門(通称 TaPL)を読み始めた”

[razokulover]

書いた