Help us understand the problem. What is going on with this article?

型について語る前に

型を語る(激寒)

近年(いつ?),型が燃えがち

人は一般に任意のトピックについて,基礎的な知識を欠いているのにも関わらず,かなり強めな意見や主張を述べてしまうことがよくあります.

それだけならば普通によいことなのですが1,とかくプログラミングの分野については語気が強めの(ように感じられる)反論が集まってしまいがち2で,双方ともにモヤモヤ・イライラして終わってしまうことが多いです.

で,プログラミングの中でもそのような自体がかなりの頻度で発生するのが「型」についてのトピックです.

普段から強い静的型付きの言語を好んで使い,一応型システムについて研究している身としては,この状況はあまり好ましくないものだと思っています.

「型」の基礎教養は無料で・日本語で・わかりやすくつけられる

しかし!

型は恵まれたトピックで3,日本語で書かれた高品質な教科書「型システム入門」の第一章が,なんと出版社のウェブサイトで,無料の PDF として公開されています

「ダウンロード」から「第1章のサンプルダウンロード」をしてください.

  • 型とはなんなのか
  • 型のなにがうれしいのか
  • プログラム言語の設計で型がどれほど重要な位置を占めるのか
  • 型の大まかな歴史

がわかりやすく解説されています4.型システムに関する研究をするのでなければ,この一章を読むだけで必要な教養は十分つく,とわたしは思っています.

型を語る前に!燃える前に!マサカリが飛来してイライラする前に!

あなたと TAPL の一章
今すぐダウンロー


  1. その分野に詳しい人に直接教授してもらい,正しい知識を得られるかもしれないのですから. 

  2. 直接コメントしてくる人の多くは特に怒っているわけではないのですが,淡々と反論をしてくるので,自分が否定されているように感じてしまいがちですね.Twitter とかにはイライラのお気持ち表明をしてる人がいるかもしれないので,見ないほうがいいです. 

  3. なんとか指向プログラミングやモ○ドと違って 

  4. ただし,かなり誤解されがちな「型推論」についての解説がほぼないのがつらいです.なんかいい感じのがあったら教えてください. 

Why not register and get more from Qiita?
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away
Comments
Sign up for free and join this conversation.
If you already have a Qiita account
Why do not you register as a user and use Qiita more conveniently?
You need to log in to use this function. Qiita can be used more conveniently after logging in.
You seem to be reading articles frequently this month. Qiita can be used more conveniently after logging in.
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away