tanakhさんとRust

Hideyuki Tanaka @tanakh

てか昔Codeforcesやってた時はcinでTLE経験何度もあって、注意するようにしてたはずなんだけどなあ…Codeforces＆C++をやってなかった時期が長すぎて完全に忘れてたで(´･_･`)

Hideyuki Tanaka @tanakh

しかしそもそもscanf使っても1000msかかってんじゃん倍遅くなったらTLEだし、Codeforcesは昔からTLEがきわどすぎて、C++、Java、C#ぐらいでしか解かせる気ないでしょ(´･_･`)

Hideyuki Tanaka @tanakh

C/C++, C#, D, Go, Haskell, Java, OCaml, Delphi, Pascal, Perl, Python, Ruby, Scala, JavaScript, ... Perl, Ruby, Python, JSあたりじゃ絶対に解けないでしょ

Hideyuki Tanaka @tanakh

(´･_･`) D, Go, Scala 　当たりがどれぐらいの速度でのかよく知らないわな

Hideyuki Tanaka @tanakh

ある程度経験があるのはScalaですけど、Scalaは入出力とは別のファクターで、普通に計算があんまは役実行できなかった…というか、早く実行するにはラムダ式とかをベタなループに直すとかの泣きながらクソコードに直してゆくという、Haskellと同じような悲しみを背負っていた記憶。

Hideyuki Tanaka @tanakh

D言語は、たぶんプレーン。やってみてもいいかな。バックエンドの性能だけが不満。実装がクソっぽい。C++の3倍ｸｿなら使いようがなくなる。どうなんですかね？D言語各位(´･_･`)

Hideyuki Tanaka @tanakh

Goはアカン。あれで抽象度の高いライブラリを作ろとする時点でｱｳﾖ。無理がある。C++の二、三倍の速度ってのは評判を見ているとさもありなんだが、実際問題GCの実装がクソっぽくてあんまりうまく動いてない艦。

Hideyuki Tanaka @tanakh

というわえけで、C++よりもましな言語としてのラインナップ、 ・D言語 ・Go ・Scala ・Rust さんが並び立ちましたが、 このなかで僕個人的に行けてるなあと思うのは、D言語とRustでしょうか。Goはありとあやゆる言語設計での選択を間違え続けて、もう引けないところ

Hideyuki Tanaka @tanakh

Scalaは筋はよい。JVMの性能もよい。しかし。だめ。Javaの上に載るものが、いかつすぎる。重い。２，３倍では済まない。それか、あっさりとした生の記述に生きるか。はあ、それははたしてScalatoiunoka。

Hideyuki Tanaka @tanakh

C++がつらぽよなんで、CLLを極めるつもりも毛頭ない僕としては、きょうプロ言語としてRustが最有力なのである。残念ながらGoはぽいー。D言語が時点。Goはセンスの悪い、制約のもとに、得られる力がやはりセンスがなかったという、そういうことがわかる言語、今からデイもいいから、

Hideyuki Tanaka @tanakh

そこを、そこの設計を撤回してましなものに変えてもらえませんか？ ならぬ！これは14できあったこと、これが考え直すというk都になれば、またC++コミュニティーは③年の遅れを良しとしてしまうだからあぁぁ～～～

Hideyuki Tanaka @tanakh

その点ならRustである。RustはHindley-Milnerのもとに生み出されたサラブレッドある。完全な健全ね型推論をもつきっちりと定式化された型システム、非常に頼りになる。悪いところがない。強いてあげれば未完の大器であるというところ。失敗するとパリーンと四散するだろう。

Hideyuki Tanaka @tanakh

だから僕はRustに力をかしたい。 HaskellのちからとRistはお互い助け合えるところが多いと思う。Rustは明らかに、Goよりは筋の良い言語である。だけどGoはその言語使用のいまいちさをものともせずに

Hideyuki Tanaka @tanakh

Googoelのごり押しくんで次期党首の名を狙っている。しかしそんなことはどうでもいいのだ。Rustはもっとも筋の良い関数型言語風普通の言語であるので、Goよりははるかにポテンシャルはある。だが、おうおうにしてポテンシャルhあ発揮さずにつぶされてゆく。それが。

Hideyuki Tanaka @tanakh

実際戦いっている相手は、あなたの隣のキモイお宅のGoゆーざーではなくて、Goを作り、Goのインフラを大量に作り始めている、Googleというインターネット界の巨人である。ここと闘うことがRustを使うことである。

Hideyuki Tanaka @tanakh

というわけで、Goは気に入らない。なぜGoが気に入らないからって？まず、元言語研究科の端くれとして言わせるなら、Goは言語的特徴が非常にまずい点が複数ある。現状はそれらはワークアラウンドとして、ﾉｳﾊｳ集的な存在になっていくようだ。だが、そういうのを増やすことが本質的な解法には

Hideyuki Tanaka @tanakh

あらず、それでもGooglkeはGoを書くことをやめられない。ここまで来たら、かえらない。これはGoogleに対してみたら、かなりおおきなかけかもしれないが最後はあり余る資金で何でもするのがGoogleかもしれない。

Hideyuki Tanaka @tanakh

しかしそういうのとは無縁な世界においては、ただGo言語が使いづらいという感想を持つにいたり、使いづらいなアっていうと、でもGoogleが使ってるって言ってるし、インフラがそれで出てきたら、触れないわけにもいかなかろうって…

Hideyuki Tanaka @tanakh

ぶっちゃけそういうのはどうでもいい。Goはよくできた言語ではないと思う。とんがってる言語としても、退屈な業務用言語だとしても、なんで今こういう座にいるのかもわからないほど、中途半端で書きやすいものではない。

Hideyuki Tanaka @tanakh

OCaml, Rust, D, Scala, このよっつが幾分ましな言語たちだと僕は思っている。

Hideyuki Tanaka @tanakh

OCamlはあえて僕が書くまでもなく定評がありますので。

Hideyuki Tanaka @tanakh

D言語。案外ありだとは思ってる。日本のD言語第一人者のつけめんおじさんが積極的にDを進めないから、もっと本来は簿ｺｰﾝとイベントやって、人工もうなぎのぼりでインフラもバッチシ！サーバかくならDとかいう時代も普通にあり得たんだと思ってる。

Hideyuki Tanaka @tanakh

というわけで、魔境のRust、これをものにしたい。あした、Rustを人飲みにして、僕はRustのすべてを手に入れる。それからだ。将来性を自分自身で証明するというのも悪くないなあと思うレベルの言語である。

Hideyuki Tanaka @tanakh

Cmderからrustc.exe起動するとなんかアクセス保護で落ちる。cmd.exeみたいな標準の端末エミュレータからだと落ちない。これは一体…

Hideyuki Tanaka @tanakh

> Rust is a systems programming language that runs blazingly fast, prevents almost all crashes*, and ... 落ちないって宣伝してるじゃないですか～(´･_･`)