コグノスケ

BASICと数学C

中学時代〜高校にかけて、初学者向けの本でBASIC、Cを学んでから、高校生になって、数学CのBASICの章を見つけました。

そのとき、数学の記号と、プログラミング言語の記号は意味が違うのに、なぜ同じ数学Cの教科書で説明されているのだろう？と疑問に思った記憶があります。

たとえは良くないかもしれませんが、数学の教科書なのに突然、物理や化学の話が書いてあるような違和感がありました。

高校の授業では大抵BASICは習いませんので、数学Cを先に学んだ人はどう感じるか？を確認できないのが残念ですが…。

メモ: 技術系？の話はFacebookから転記しておくことにした。

動的型付けとクラス

初めて触れたオブジェクト指向言語がC++ で、その次がJavaだったためか、クラス宣言時にアクセス制限が厳格に決まり、コンパイル時または実行時に型チェックがあるのは当然だと思っていました。

そのためカプセル化とはpublic, protected, privateを正しく宣言することであり、class Aを取る関数にAと継承関係にないclass Bを渡せば、コンパイル時にエラーか、実行時に例外が発生するものだと思っていました。

しかしPythonやRubyはC++ と同じオブジェクト指向言語に分類されますが、この辺りの考え方が全く違います。

アクセス制限はなく、カプセル化は実質存在しません。Pythonであれば先頭にアンダースコアのついた変数、メソッドにはアクセスしてはいけない、というルールがあるだけで、簡単に壊せますし、チェックもされません。

型チェックも行わない（※）ので、class Aを取る関数に継承関係にないclass Bを渡してもエラーは起きません。もしclass Aとclass Bが同じメソッド名を実装していれば実行時に例外すら発生しません。ダックタイピングというんでしたっけ？

（※）インタプリタやコンパイラがチェックしないという意味です、自分で型チェックしようと思えばチェック可能です。

ポリシーの違い

静的型付けとか動的型付けといわれてもピンと来ないですが、両方触ってみたら何となくわかった気になれます。印象としては神経質な静的型付け、大雑把な動的型付けって感じです。

どちらが良い悪いというものではないです。

個人的には静的型付けに慣れているのもあって、事前チェックが多い方がミスが減って好ましいです。とはいえ、試作や小物ツールを書くときチェックがうるさすぎて、適当に書きたくても書けないことも多いんで、チェックすりゃ良いってものでもありません…。

Javaの次

Javaの次を探してPython、Ruby、Scala、Kotlinといろいろ試していたら、何もしないうちに1か月も経ってしまいました。

このまま迷っていても仕方ないのでPythonを使うことに決めました。といってもこれといった決め手がなく、モヤモヤ感が拭い去れないです。

Pythonはシンプルかつコードの見た目が良いのですが、Python 2 → 3の激変っぷりに、主要なPythonプロダクトが付いてこない（付いていく気がない？）ので、Pythonの未来が不安です。

Rubyは書くのは楽しいですが、読むのはつらいです。自分の知らない書き方がいっぱいありすぎて、全然わかりません。修業しないとダメでしょうか。

Scalaはコンセプトが素晴らしいのですが、実際書いてみたら型推論や、defのカッコ有り無しの差とかが良くわからん…。Scalaの何がダメということはないですが、どうも性に合いません。

Kotlinはシンプルで素敵なのですが、マイナーなせいかネットにも情報が少なく、ハマったら死にそうなので諦めました。

PyCharm

ひとまず主要な部分だけ移植してみようと思ってPyCharmを起動したら、試用期間が切れていて起動しませんでした。ぬわー。

言い訳して辞めてしまわないようにPyCharmのPersonal Licenseを購入して、退路を断ちました。ライセンスは購入するとすぐにメールで送られてきますので、特に待つこともなく使えます。

支払いにはクレジットカードが使えて、お値段は99＄です。高くもなく安くもない、絶妙な値段です。