動的型言語のモラトリアム

Hideyuki Tanaka @tanakh

型を書かなくていいということが良いということは、あるコードを書いているときに、その操作に関わる型を認識しないということになるんかなあ。あるいは結果的にどういう型になるか考えなくてもいいぐらいシンプルな型システムになるのか。

Hideyuki Tanaka @tanakh

Monadほげほげで具体的なモナドの形決めずにコード書いて自由に組み合わせられるのがまあいいなあと思うんですけど、こういうのって出来るのかしらん。あと動的型付け言語で返り値のオーバーロード。

Hideyuki Tanaka @tanakh

うーむたしかにメンバ変数に型がある言語なのに m_nHoge とか書く人がいることを考えると、意識したい人はいるはずだなあ。

Hideyuki Tanaka @tanakh

Duck TypingとかStructual Subtypingを動的型付けのコンテクストでやってるだけじゃないのかなあ…。

Hideyuki Tanaka @tanakh

まあHaskellではそう言うの面倒ですけど・・・。

Hideyuki Tanaka @tanakh

動的型付けなJSでも必死で部分的に型推論して速度稼ごうとしたりしてるんで、まあなんか作り易いってのはどうなんかなあという気もしなくはない…

Hideyuki Tanaka @tanakh

動的言語のプログラミングは楽しいのか・・・

SKS rep @repeatedly

Goもinterface {}を使えば動的型付けっぽく振る舞える！素敵！！

SKS rep @repeatedly

まぁ素晴らしいけど合わない言語使って生産性落ちたりバギーなコード書いてもあれなんで，結局は好きなの使えばいいという話しに落ち着いてしまって良くない．動的にも静的にも扱えるC++よりも早いGCを持った言語を誰か作って，他の言語を早く駆逐すべき．

SKS rep @repeatedly

動的言語で配列とかは静的でいいってそれなんてhidden class?

SKS rep @repeatedly

メソッド持ってなかった場合にエラーにするんじゃなくてエラーとしてランタイムにスタックで積んだり，そもそも存在してなかったらメソッド追加してほげほげしたりというのを静的型付けでやろうとするとｱｰｯになるので動的型付けに逃げる

Hideyuki Tanaka @tanakh

よくわからんけど、OOでは動的型付けが有利なケースが比較的多いのかなあ？ RT @repeatedly: メソッド持ってなかった場合にエラーにするんじゃなくてエラーとしてランタイムにスタックで積んだり，そもそも存在してなかったらメソッド追加してほげほげしたりというのを静的型付けで

SKS rep @repeatedly

静的型付けではコンパイル時にエラーになるものをランタイムにまで遅延させることでエラーでないように扱うことが出来るので，その時だけ動的型付けマンセーになる．エラーレベルの調整的な？

SKS rep @repeatedly

まぁそんなのが必要になるアプリ書く人なんて滅多にいないので，皆さん静的型付け使いましょう．

Hideyuki Tanaka @tanakh

OOでまともな？というかリッチな型システム載ってる言語ないしなー。

Hideyuki Tanaka @tanakh

単に歴史的理由か、技術的困難なのか。あんまり考えたことないけど。

Hideyuki Tanaka @tanakh

エラーレベルの調整はまあ利点でしょうね。

Hideyuki Tanaka @tanakh

貧弱な型システムの静的型付け言語がコードの煩雑さを生むというのはJava5より前のJavaをイメージしてもらえば明らかだけども、そういうのとは別になんか良くない理由があるんかなぁ。

Hideyuki Tanaka @tanakh

OCなんとかさん・・・。すっかり忘れてましたよOがついてたこと。

pepper @pepper_sons_son

@tanakh シェルのパイプと関数型って相性よすぎじゃないですか。

Hideyuki Tanaka @tanakh

@Patric7777777 そんな気もしますねえ。流れるデータに型付けできるとさらによいのですが・・・

Hideyuki Tanaka @tanakh

まあおおざっぱに言うと、型理論の研究は動的型付けからメリットを奪う方向で発展していっているので、だんだんもう動的型付けのメリットが僕にはわからなくなってきているという感じなのかなあ。

Hideyuki Tanaka @tanakh

（動的型付け言語をdisればtogetterが伸びる・・・覚えましたし）

Hideyuki Tanaka @tanakh

恐ろしいことを思いついてしまった・・・

ミツゴロウϵ( 'Θ' )϶👔❣️ @NawaMitue

@tanakh 絶対誰にも言わないからリプライ下さい。