Qiita Teams that are logged in
You are not logged in to any team

Log in to Qiita Team
Community
OrganizationAdvent CalendarQiitadon (β)
Service
Qiita JobsQiita ZineQiita Blog
0
Help us understand the problem. What is going on with this article?
@cannorin

型について語る前に

More than 1 year has passed since last update.

型を語る(激寒)

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

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

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

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

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

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

しかし!

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

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

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

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

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

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


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

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

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

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

0
Help us understand the problem. What is going on with this article?
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
cannorin
電子の妖精

Comments

No comments
Sign up for free and join this conversation.
Sign Up
If you already have a Qiita account Login
0
Help us understand the problem. What is going on with this article?