プログラマが今よりも楽をしてお金を稼ぐには

くっくっkura 🇯🇵🦀 @PG_kura

例外は今ある言語のパラダイムをを 6 割くらい切り崩さないと解決しないと思ってる。

くっくっkura 🇯🇵🦀 @PG_kura

次の言語では例外耐性の著しい向上が必須だろうけども、それだけの言語なら普及なんかしないだろうね。

くっくっkura 🇯🇵🦀 @PG_kura

マルチスレッドは時代の流れ的に必須だし、それをも包括的に解決しようとすると継続とかコルーチンってものは外せないので型システム側の再考に立ち返らないといかん。

めるぽん.am @melponn

全部TMPで組めばいいのですよ！ RT @PG_kura: マルチスレッドは時代の流れ的に必須だし、それをも包括的に解決しようとすると継続とかコルーチンってものは外せないので型システム側の再考に立ち返らないといかん。

くっくっkura 🇯🇵🦀 @PG_kura

一つはインターフェイスが変化する型。これは悪くないはず。それだけでも考え出すと止まらないけれども、もう一つ何か・・・・

くっくっkura 🇯🇵🦀 @PG_kura

@melponn TMP も悪くないのですが、必要以上の共通化を伴うので、コードが持つ重みが過度に凝集されがちじゃないかにゃーと思うです。

くっくっkura 🇯🇵🦀 @PG_kura

コードの再利用という観点では静的/動的多態を前提とした共通処理の記述ってのは意味があるけど、実際の開発で生産性を落としているのはそれ以外の部分。

くっくっkura 🇯🇵🦀 @PG_kura

まぁ、だからといってパラダイムを足せばいいかというとそうでもない。

くっくっkura 🇯🇵🦀 @PG_kura

パラダイムを足すと TMP がさらに複雑になるからそっち方向への進化は C++ とか Scala とかがやったらいいと思う。

くっくっkura 🇯🇵🦀 @PG_kura

概念を消して、言語が持つ機能に余白を設けないと収束しないんじゃないかな。

くっくっkura 🇯🇵🦀 @PG_kura

例えば null を消した Option とか、型名を消した Generics とかの功績は大きい。

くっくっkura 🇯🇵🦀 @PG_kura

オブ指では、処理のサブセットの一括切り替えを継承で実現した。コールバックをいちいち用意して一つずつ切り替えていく、という無駄な処理を消した。

くっくっkura 🇯🇵🦀 @PG_kura

関数型言語は副作用を消す、ということを明確に打ち出した。

くっくっkura 🇯🇵🦀 @PG_kura

あとオブ指は実装隠蔽ってのもがっつりやったんだよなー。副作用を消す、というベクトルと相性が悪いわけだけども。

くっくっkura 🇯🇵🦀 @PG_kura

まだ下手くそなのは処理順序を操る機構と、時間軸に応じた処理フローの掛け合わせ・・・というかなんというか。

くっくっkura 🇯🇵🦀 @PG_kura

例えば obj.property1 = value1; obj.property2 = value2; obj.property3 = value3; みたいな記述をするけど、これは意味的に順序はどうでもいい。

くっくっkura 🇯🇵🦀 @PG_kura

obj.property1 = value1; obj.property2 = obj.property1 * 2; obj.property2 = value1 * 2; だと順序依存。

くっくっkura 🇯🇵🦀 @PG_kura

順序依存してるコードとそうでないコードを同じように書いてるわけなので、後で修正するときには順序依存性を目視確認していかないといけない。ここに無駄がある。コンピュータになんとかしてもらえよ、と。

くっくっkura 🇯🇵🦀 @PG_kura

一方でスレッドをたてるときは仰々しくスレッドクラスみたいなものを用意して、先の順序依存してるのかしてないのか分からないところに thread.join() みたいなのを紛れ込ませるコードを書く。わかりにくすぎる。

tana@人間らしく生きたい @tana_ash

@PG_kura 「横に並べて書いた式は、順序に依存しないところは自動的に並列実行、依存するところも考えて自動でなんとかします」とかあれば便利でしょうね

くっくっkura 🇯🇵🦀 @PG_kura

スタック呼び出しも今や必要性が薄い。コンパイラが頑張って末尾再起最適化したりするのはほんとありがたいが、意味的にはスタック呼び出しとあまり変わらなくて、深階層の処理が終わるまで呼び出し側スコープの型を保持しないといけない、という縛りを伴うのでこれも足かせ。

くっくっkura 🇯🇵🦀 @PG_kura

ですね。そういう機構は要ると思うですよ。RT @tana_ash: @PG_kura 「横に並べて書いた式は、順序に依存しないところは自動的に並列実行、依存するところも考えて自動でなんとかします」とかあれば便利でしょうね

くっくっkura 🇯🇵🦀 @PG_kura

横に並べて書くと順序依存しない、という発想は良いと思う。でもそれだけだときっと物足りないはず。

tana@人間らしく生きたい @tana_ash

@PG_kura そもそもプログラム全体で依存関係を自動的に解析して並列になるようにしたら最強なんじゃないかとw

くっくっkura 🇯🇵🦀 @PG_kura

「処理の集合を１パックにして再利用するための関数」「関数呼び出しをテンポ良く行うメソッドチェイン」「マルチスレッドによる並列実行」「一旦処理を中断するコルーチン」のいいとこどりをするような機構で包括的になんとかしたいから。(これは前 post の補足も兼ねて。)