世界で最高のプログラミング言語を見つけた方法。 パート2

最初の部分はこちらです。 継続：



クソ7年間、私は少なくとも何らかの形で私の欲求の一部に答える言語を待っていました。 この間、そしてバックグラウンドで、私はすべてを試しました。 すべて-すべての汎用ガベージを意味し、すべてのガベージはまったく汎用ではありません。 言語について何かを読んでHello Worldを書くだけでは、言語を感じることはできません。 理解するには-少なくとも少しプログラミングする必要があります-どのスレッドのものを書くか。 そして、この間ずっと、絶望の瞬間に、「素晴らしい言語」というスレッドをダウンロードし、何かを書き込もうとしました。 いくつかのことはまだオフィスで回転しています（または回転しています）。

クロージュア

彼は、ClojureのライセンスのRESTサーバーのようにささいなことをすべて行いましたが、後に延期しました。 評決：Clojure-機能的なPHP。 プログラミング時の感情（感情）は、PHPでプログラミングするときと同じです。 ホップホップとプロダクションの多くの言語のように、（特に最初は）ポジティブである場合もあります：ホップホップとプロダクション、すべてが美しく動作し、括弧を認識するように目を訓練するとコードは非常にエレガントです 一般に、私が形成した態度はPHPの場合と同じです。サーバー上のページがデータベースの同僚に何かを表示するスレッドを表示する必要がある場合は、PHPを使用します。このような問題を迅速かつ確実に解決する方法はありません。 もっと複雑なのはクラントです。 大きな頭、ある種の生産文化、ツール/プロセスなどが必要です。 そして、それはますます悪化します。



Clojureが悪いとは決して言いません。 Rich Hickey（Clojureの作成者）-Clojure（PDS、STM）の頭、概念は問題ありませんが、言語とはほとんど関係がなく、どこでも実装できます。 まあ、コンセプトを落とすのはLispであり、幸運なことに、2015年にLispで書くためのひげはありません。 Clojureの一部とPHPの一部は、本当に大きく、複雑で、Clojureと驚くべきことを書いています（1つのDatomicに値します）が、再び、動的型付けには興味がありません。 これは、頭に大きなメモリモジュールがある人向けです。 要するに、新しいモデルのフォルクスワーゲンビートル-あなたはクラブに行くことができますが、キャメルトロフィーのために役に立たない。

スカラ

Scala-何度か彼女に戻って、何度か投げました。 Scalaが未経験の若者を引き付ける方法を完全に理解しています（基本的にScalaを望んでいます）。 いくつかのことを引き付けます：

• エリート主義の光輪：実際、愚か者はScalaで書かないなど、最も賢い人はScalaで進歩を遂げます。Scalaで書けば、あなたは賢くなります。 ああ、プログラミングは大学での勉強ではありません。あなたは、より「賢い」プログラマーではなく、あなたが決めるのは難しくなります。
• 難易度：おそらくScalaのファンとアマチュアの多くは気づいておらず、複雑さを惹きつけるものを定式化できません。 無意識のうちに、誰かが複雑さ==パワーを考える。 難易度が高いほど強力になります。 これは素人にとっては自然なことです（そして、私は現在、プログラマー-素人のクラスについて主に書いています）。 人生で実際に何もプログラムしていない人（そして何も見せてくれない人）。 映画のように、100個のレバーとボタンを備えたエイリアンマシンとは、どのような種類のスレッドを使用するかという自然な反応です。 問題は、このタイプの武器は誰もが浸すのではなく、内部のすべてがエレガントで美しく動く/固執することを保証するために作られたと素人に言われなかったが、科学によるとです。 しかし、一般的に、思考の方向は正しいです：数学者は誰でも問題の絶対的な複雑さは変わらないことを知っていますが、解決策は単純または複雑であり、複雑な問題の単純な解決策（1行で）は、問題の複雑さをすでに解決済みのもの（定理） つまり、非常に難しいタスクは、複雑なソリューションを再利用することで簡単に解決できます。 私たちの場合、コンパイラはソリューションを簡素化しながら可能な限り複雑にする必要があります。 Scalaコンパイラーは確かに複雑ですが、問題があります-この複雑さを表現する言語です。 このような言語の使用はめちゃくちゃ難しい（Scalaが「改善された」Javaとして使用されている場合について話すことからは程遠い-このセクションはエリートのハローである）。

これまでのところ、私が1週間前にScalaに最後に戻ったときです。 「昨日」という言語を選択する必要があり、悔い改めて、Scalaは最小限の悪であると判断しました。 ScalaJSの存在と比較的豊富なメタプログラミング機能（マクロの読み取り）により、タクシーに乗ることができます。 さらに、EPFLのある種のヒップスターが、記事の最初の部分で述べたオフヒープデータ構造に関するいくつかの問題を解決し始めました。



一般的に、私は深呼吸をして同僚に次のように語った。 「要するに、私たちはキャンペーンのためにScalaでNext Big Thingを書きます。 ここでみんながそれをキャッチします-私はここで何年もScalaで運転しましたが、今ではそのようなクリープ：概念が変わりました... ポジティブな気分で、私は何かをプログラムしようとし始めました。 Scalaの知識と経験はゼロに近いとすぐに言わなければなりませんが、それは人生の知識と経験で補います。 タイプクラスが必要なことはすぐに明らかになりました。では、インターネットを見てみましょう。 すぐに私はあるものに出くわし 、Miles SabinのScalaファン（形がわからない）を許してください。

簡単に後退しますが、最初と最後のミーティングの瞬間からこのタイプのマイルは好きではありません。 EclipseCon 2009（かそこら）でした。 私はスタンドでビールに酔って立ち、このコショウがここに来ます、私はここのマイルズセービンのようです、私はScalaのEclipseベースのIDEを書きます、私はパットの事のためにDLTKプログラマーと一緒にグラインドしたいですごみが出てきて、彼はIDEを持っていました-たわごと。私が理解するように、TypeSafeは後で彼自身を書きました-しかし、私はそれを見ませんでした）。 さて、このマイルはプログラマーがどこにいるのか教えてくれますか？ 私は彼がプログラマーです、あなたは私に話すことができます。 当時の私は、プログラマーのように見えず、補助労働者のように見えませんでした。 まあ、マイルズは、私があなたを必要としないように、プログラマーに来て言う。 Bitch :)しかし、私は彼に私がDLTKプロジェクトリーダーのようだと説明しませんでした。さらに、彼はそこに着かなかったので、彼はIDEを普通にやらないことを知っています。 彼はそれをレハ・パンチェンコに送り、少年たちと一緒に強打しました...一般に、世界は小さいです。

まあ、私はグーグル、そしてこの形のない（そして型クラスが必要です）。 エリートが想定されているように、彼らには文書がなく、最初の段落ではすぐに4つの科学論文にリンクしています。 さらに、彼らを助ける方法、貢献する場所、コンパイルする方法が書かれています。 そしてピペット。 さて、さらにグーグルで検索してみましょう-彼の奇跡について語るこのマイルのビデオがあります。 40〜45分間、形のないことがHListと呼ばれる彼の魔法の発明に基づいているという事実について。 そして、これは彼が近年苦しんでいるメインチップのようなもので、ほとんど機能し、マクロがScalaに追加され、彼はチップ（HList）を作り直しました。そして、このHListは古いHListよりも話題になりました。 彼は非常に長い間、基本的に次のようなコードの大規模なクラウドでそれを汚しました：

オブジェクトIsHCons1 {

  タイプAux [L [_]、FH [_ [_]]、FT [_ [_]]、H0 [_]、T0 [_] <：HList] = IsHCons1 [L、FH、FT] {type H [ t] = H0 [t]; タイプT [t] = T0 [t]}

   def apply [L [_]、FH [_ [_]]、FT [_ [_]]]（暗黙のtc：IsHCons1 [L、FH、FT]）：Aux [L、FH、FT、tc.H、 tc.T] = tc

  暗黙的なdef mkIsHCons1 [L [_]、FH [_ [_]]、FT [_ [_]]]：IsHCons1 [L、FH、FT] =マクロIsHCons1Macros.mkIsHCons1Impl [L、FH、FT]

 }

チョーですか？ これは誰のためですか？ それは人々のためですか？ あなたは私がそのようなことを毎日何百行も書いて、私の心にとどまることを提案しませんか、それともイリタのためですか、そして私たち、平凡な開業医はそれをあなたのものに使うでしょうか？

次に何をすべきか、リスナーがHListを知った後、彼は3回すべてを話す時間がないので、自分のワークショップ、ビデオ、およびコースを参照してください。 お金のために知識を習得しても構いませんが：



コンパイルの段階で何かをかき混ぜたい場合（コレクションのサイズを調べるなど）、そのためにビッチがタイプを参照し、実行時に値のタイプを理解するように、人々は週と月を殺すように年を殺しました、あなたはあなたの脳をとてもうまく作り、上で引用したようなコードを概説する必要があります。 もちろん、私は深く掘り下げたわけではありませんが、おそらくこの形のないものは、あなたが時間の雲を殺す必要があります（おそらく世界で最も洗練されたScalaライブラリではありません） 、ワークショップ、 Demystifying Shapelessのような56ページのプリセット 。 そして、なぜこれすべてですか？ コンパイル時に値のタイプを選択するには、仲間。



ファック、はい、デルピで95年にプログラムしましたが、すぐにそれを手に入れました。 ポリモーフィック型のλ計算については何も知りませんでしたが、今は何も知りませんが、知識がないとイルカの学生は10分でそのようなHListを作成し、実行時の型はそれを知って参照します。比較して地獄は他に何を知っている。 そして、これをすべて行う方法についても考えないでください。 デルフにマクロとジェネリックがあれば、小学生はこのエリートがScalaで書いたものとまったく同じように書くと思いますが、これらの叔父よりも桁違いに速く、それについてさえ考えませんでした。構造の改良タイプとその他のがらくたが必要です（本当に必要ですか？）。 人生は私にこれを確認しました。 はい、ところで、生産のこの学校のコードははるかに速く動作します-ボーランドの古い学校は物事を行う方法を知っていました。



一般的に、Scalaの概要はこれです。男はツールのタスクの複雑さを隠し、ツールを使用する複雑さで置き換えました。 結果としてより困難であることが判明したもの-ディックは彼を知っています。私にとって、Scalaでのプログラミングの複雑さは、その使用から得られる利点よりもはるかに高いです。 車との類推により、これはGoogleモバイルの最初のバージョンです。 ワイヤー、すべてのゴミ、カメラを吊るす必要があります、そして、時にはハンドルから手を放すことができますが、デバイスから目を離さないでください。 そして、もし何かが壊れていたら、あなたがそれが続くことを理解する日まで。 ええ、赤いボールが見えると失速します。 ファイアボックス内。

最愛のJVMの世界に別れを告げ、探しているものが見つかりませんでした

手短に言えば、私はJVMベースのストーリーで大騒ぎしました。私のお気に入りのFantomは、いくつかの理由で私には向いていませんでした 。定期的にCeylonとKotlinを見ました。 また、動的型付けを使用してすべてのストーリーを一掃します（core.typedはお勧めしません）。 繰り返しますが、失望から、私はTeaVMを検討したいと思いました。これは、候補者のリストを拡張しますが、到達しませんでした。候補者が見えなかったからです。 要するに、これらすべてのものは同じクラスです-渋滞でうまく運転するようなフォードフォーカスプログラミング言語ですが、すごいです。



JVMの世界で何も見つからなかったので、私はすべて出かけました。 雌犬は、少なくとも何らかの理由で聴聞会にあったものすべて、および聴聞会にまったくない何かにさえ触れました。 私が好きなあまり知られていないもの- クレイ 。 彼には可能性がありました、私には思えます。 まともな言語は、静的に型付けされたJuliaのバージョンです。 作成者はこの言語を放棄しました。私が現在Appleにいる著者の1人を理解し、Swiftと関係があるためです。



しかし、今日はそれについて書く時間がありません。 次のパートまで。