2017-02-06

JSONを整形してからdiffをとるtool、diff-with-jsonを作った

Programming Crystal

JSON を整形してから diff をとる tool、diff-with-json を作った。

github.com JSON を jq command に通して整形し、colordiff が在れば其れを、無ければ diff を使って差分を表示する。

次の a1.json と a2.json が在ったとしやう。

// a1.json
{ "m": 42, "n": 57 }

// a2.json
{ "m": 42, "n": "parrot" }

.n を 57 から"parrot"に変へたものだ。此れを diff で diff -u -L a1.json -L a2.json a1.json a2.json として差分を出すと斯う成って了ふ。

--- a1.json
+++ a2.json
@@ -1 +1 @@
-{"m":42,"n":57}
+{"m":42,"n":"parrot"}

JSON の構造は全く無視される。代はりに diff-with-json を使へば diff-with-json -L a1.json -L a2.json a1.json a2.json として、

--- a1.json
+++ a2.json
@@ -1,4 +1,4 @@
 {
   "m": 42,
-  "n": 57
+  "n": "parrot"
 }

JSON の構造を保った差分が見られる。

情報を JSON で、一行に圧縮して Git や SVN に入れてゐる場合に好く使へる。特に svn diff と共に使ふ樣に作ってある。svn diff --diff-cmd diff-with-json と--diff-cmd option として diff-with-json を指定してやれば、SVN に一行にして格納してゐる JSON の差分が見易い。

使ふ時は jq command と、diff 或いは colordiff command が必要だ。

Crystal で作った。

2016-12-12

OCamlでJavaScriptが幸せ

Programming OCaml JavaScript

ML Advent Calendar 2016 - Qiita 12/11 參加。

JavaScript と云[い]ふ言語に變換[へんかん]する言語は沢山[たくさん]在った。活溌[かっぱつ]に活動してゐるものは未[ま]だ多いものの、多勢はTypeScriptやElmに流れたやうだ。TypeScript の型 system は軈[やが]て ES.next に成[な]り JavaScript其[そ]の物に成るかもしれない。Elm は軈て ECMAScript で自然に FRP (Functional Reactive Programming) が行なへる機能が提案され役目を終へるだらう。OpalやHaste等[など]は其々[それぞれ]Ruby と Haskell と云ふ人氣[にんき]の在る言語を JavaScript實行[じっこう]機でも使へる tool として活溌に續[つづ]くだらう。

別の觀點[かんてん]を二つ入れてみよう。TypeScript や Elm は、實行時に必要最低限に近い型しか持たぬ JavaScript に對[たい]してもう少し廣汎[こうはん]で且[か]つ compile 時に計算する型を與[あた]へるものだ。一つ目の觀點は型だ。Opal や Haste は、廣[ひろ]い community や長い研究を持つ言語を JavaScript の世界に應用[おうよう]しようとするものだ。二つ目の觀點は言語だ。TypeScript や同等のFlowや、Java 風のDartは、型の觀點から見れば弱い。構造的部分型や漸進的型付けは見事[みごと]なものだ。Java や C#とほぼ同等の廣さの型 system で満足するならばしてもよい。だがより廣汎な型 system が廣く使はれてゐる現代で此[こ]の型 system に不満を持った場合でも、我慢しなければならないだらうか?　 Haste (Haskell) や Elm は型の應用範圍[はんい]を擴[ひろ]げ不満を癒[い]やして呉[く]れる。だが二つ目の觀點が在るのだ。JavaScript は JavaScript 實行機の上で動く何かである丈[だけ]でなく、言語だ。言語は思考を持ってゐる。Haskell の遲延評價[ちえんひょうか]で非正格な型 system は、先行評價である JavaScript と遠く離れたものだ。又[また]Elm の FRP ベースで非 OOP な構造も JavaScript と遠く離れたものだ。

欲張ってみよう。二つの觀點を共に深く滿[み]たす事は出來[でき]るだらうか?　 OCaml が在る。OCaml は、System F に近い廣汎な型 system を具[そな]へてゐる。ML から續く長い研究の伝統を持ち、金融系等の産業界に使はれてきた廣い實用の伝統も持つ。PHP に斬進的型付けを実装したHackや Docker 社に買収[ばいしゅう]されたMirageOS、docker-syncの backend であるUnison、強い型付けの AltJS であるHaxe、證明[しょうめい]支援系のCoqも OCaml で作られてゐる。Flow や、WebAssembly の現狀[げんじょう]の參照實裝も實裝言語は OCaml なのだ (どうやら Facebook 社は PHP 丈でなく OCaml も好んでゐるやうだ)。又 OCaml は、JavaScript と同じく λ 計算に基附[もとづ]き、JavaScript と同じく OOP に基附いてゐる。OCaml の函數[かんすう]は JavaScript の函數に對應[たいおう]し、OCaml の class は ECMAScript の class に對應するだらう。OCaml の豊かな型 system は compile 時に計算され、實行時には JavaScript と同等水準の型丈が殘[のこ]るだらう。JavaScript は正格であり其の評價戦略は先行評價だ。此れも OCaml のものだ。OCaml はごまかしの無い data 構造自體[じたい]の immutable 性を持つが、さうしたければ自然に mutable 性を利用出來る。JavaScript は逆の傾向を持つが、両方が同居する上で immutable 性が中心であるのは過去や遠い未來[みらい]では兔[と]も角[かく]現代では好ましいだらう。

詰[つ]まり OCaml は JavaScript なのでは?

其處[そこ]でBuckleScriptとReasonを紹介したのが以下の slide だ。BuckleScript は OCaml を其の儘[まま]JavaScript に變換する compiler だ。OCaml compiler の一部である Camlp5 等を使ひ美しく仕上げられてゐる。BuckleScript が吐く JavaScript も中々美しい。扱へる言語は、OCaml の亜種ではない、OCaml 其の物である。Reason は、JSX を含む OCaml の亜種である。Camlp5 の力で、BuckleScript は OCaml と Reason を同時に扱へる。OCaml の immutable 性はImmutable.jsが提供する。FRP はRxOCamlやReact等多くの OCaml での FRP library が担当しよう。Bloomberg 社と Facebook 社が支える將來[しょうらい]は暗くはない。