2013-02-28
Perl とか静的型とか動的型とか
釣り記事はスルー推奨だけど、200ブクマ越えてたりするとほっとくのもどうかなー、と思うので、twitter のつぶやきをテキトーにまとめるよ。
僕も動的型に関する釣り記事書いて、80ブクマとか集めてみたいw
— tsucchiさん (@tsucchi) 2013年2月27日型のやつ今朝みたら200ブクマ超えてたので、ちゃんと「おかしいよ」って指摘する記事とか書いたほうがいい気もしてるんだけど、ちゃんと語れるほど静的型言語分かってないし、各主張を引用しつつおかしいトコ指摘するようなめんどいことする暇は無い
— tsucchiさん (@tsucchi) 2013年2月28日業が深いと思うのは、ブクマコメも結構おかしなこと書いてあったりするんだよなー
— tsucchiさん (@tsucchi) 2013年2月28日どんな凄い型システム持ってても、テストは必要だと思うし、どんなゆるい型システムでもカバレッジ100%のテスト組む必要は無い。型がきついと、継承できなくて死亡とかあるのが嫌だし、型がゆるいとヘンな型が返ってきたときに意味不明なエラーを食らうのが嫌
— tsucchiさん (@tsucchi) 2013年2月28日あとは C# みたいに、静的型でも左辺に「なんでも型」置けるやつも最近はあるし、Perl だと言語自体が動的だけど Moose/Mouse/Moo みたいに、後付けでわりとちゃんとした型システム入れれるので、そもそも静的/動的型付けの区別自体が今後は曖昧になっていくのではないか
— tsucchiさん (@tsucchi) 2013年2月28日釣り記事書いたり読んだりする暇あったら、ニコニコでミルキィホームズの動画とか見てるほうがよっぽどいいと思います
— tsucchiさん (@tsucchi) 2013年2月27日と、言うわけで、みんな釣り記事書いたり見たりする暇があったら、真面目にコード書いた方がいいと思うし、そんな気分になれないなら、ニコニコでミルキィホームズの動画を見てた方がよっぽどいいと思うよ！
あと、静的型あんま分かって無いので、そのへん詳しい人はしっかりマサカリ投げといた方がいいんじゃないかな、と思う。でも最近はスーパーはかーの皆さんは MessagePack のほうにかかりっきりなんですかねー。。。
追記(2013/03/01)
エキスパートの皆様がアップを始めたようです。このへんの記事はどれも凄く面白かったので、まだ読んでない方は読んでみるといいと思います。
- 404 Blog Not Found:型を忘れる静的言語、型を覚えてる動的言語
- Island Life - 型付けと変更の時定数
- Island Life - システムの非平衡状態
- 言語機能としての型、概念としての型 - プログラマーの脳みそ
- 「変数に型がないということの利点について考える」の問題について考える - ぐるぐる～
動的型は(JSX みたいに静的型からトランスレートするやつも含めて)後付けの型検査強化、静的型は型推論の強化で意識しなくても型のメリットを享受できるようにする、ってのがどうも最近の流れみたいですね。あんま理解してなくて、直感的につぶやいてたんだけど、大体あってたようで良かった。
あと、「静的型と動的型の違いが気になって、真面目にコード書く気分になれません。おすすめのミルキィホームズの動画とかありませんか？」って方のために、ミルキィホームズの新曲がちょうど今日公開されたので、リンクしておきますね！
え？映像も欲しいですか？しょうがないなー。新曲の映像は無いみたいなので、これで勘弁してください。
え？2次より3次がいいですか？そうですか。
