Dartのラクそうなところ　The static checker


Eclipse上でAndroidのプログラムをJavaで書いていくのはとってもラクです。何がラクって、間違いをすぐに指摘してくれるところです。一方、XMLを書いているとそこまでラクではないです。何でだろう？もっとEclipse頑張って！と思いがちですが、根は深くてEclipseなどのIDEで何とかできるようなものではないような気がします。

詳細の説明は手に余りますが、Playframework2.0のテンプレートに採用が決まったScalaの良いところをJavaやRubyと比べている記事を紹介しておきます。

Ruby対Scala - tech.cm55.com
http://tech.cm55.com/wiki/scala/ruby
制限が厳格であればあるほど機械的な解析可能性が高まる。プログラマが「この名前とあの名前が同じものであるか」を悩む必要は無くなり、それらをコンピュータに肩代わりさせることができるのである。

Google Developper Day2011のGoogle Apps Script解答例
ところで、Google Developper Day2011のクイズでJavaScriptを書きました。Googleドキュメントで「20都市の日別の供給電力と最大消費電力」が記述されたJSONのデータを取得して個別のシートに展開する問題です。

function myFunction() {
  var url = "http://gdd-2011-quiz-japan.appspot.com/apps_script/data?param=-1488301623206336159";
  var fetchdata = UrlFetchApp.fetch(url);
  var json = Utilities.jsonParse(fetchdata.getContentText());
  var spreadsheet = SpreadsheetApp.getActiveSpreadsheet();

  //都市の数だけシートを追加する
  for(s =json.length - 1; 0 <= s ; s--){
    spreadsheet.insertSheet(json[s].city_name);
    // The code below will move the active sheet to the first position
    SpreadsheetApp.getActiveSpreadsheet().moveActiveSheet(1);

    //追加した名前のシートを取得
    var sheet = spreadsheet.getSheetByName(json[s].city_name);
    for (var i=0; i < json[0].data.length; i++){
      //供給電力（capacity）
      sheet.getRange(i+1,1).setValue(json[s].data[i].capacity);
      //消費電力（usage）
      sheet.getRange(i+1,2).setValue(json[s].data[i].usage);
      //電力の消費割合を0.00%の表示形式で設定
      sheet.getRange(i+1,3).setFormulaR1C1('=(R[0]C[-1])/(R[0]C[-2])').setNumberFormat('0.00%');
    }
  }
}

型のチェックが欲しい
JavaScriptでは変数をintで宣言できません。上の、sheet.getRange(i+1,1)というところ、iが0,1,2,,,ではi+1は1,2,3,,,となりますが、このコードを書いている過程では、01,11,21,,,と文字列の連結として認識されてしまいました。Javaに慣れている方がJavaScriptを書き始めると、きっと遭遇する点ではないかと思います。

このときは、01は1、11は11と認識され、21は元データが20都市だったためループを抜けるように認識されました。for文が2回しか回らなく？となってしまいました。変数宣言が厳格でなくても良いのですが、できれば、ここは間違えの可能性を指摘して欲しいところです。

キャストも面倒
一方、Androidのプログラムをしていると真っ先に覚えるのはボタンのキャストだと思います。
Button button = (Button)FindViewById(R.id.button1);でいうところの(Button)です。いちいちキャストの指示をしなくてもわかりそうなものですが、間違えの可能性を指摘してくれるので私はありがたいと思っています。

Dartはいいとこどり
Dartは型をチェックしてくれますが、キャスト（パース？）しなくても実行してくれるようです。（The static checker）
http://www.dartlang.org/articles/optional-types/#static-checker
For example, consider:
String s1 = '9';
String s2 = '1';
...
int n = s1 + s2;
print(n);
This is clearly a problem. The static checker will issue a warning in this case. Note that the code still runs, setting n to '91' and printing 91.
まさに、私がJavaScriptで引っかかった点が解説されています。


後発だけにシンプルで勉強しやすそう
ActionScript3.0での変数宣言で、var i:int = 0;などと型を後から指定するのを見て「他と揃えてよ！」などという人もいますが、後から言語仕様を拡張したのでしょうがないです。
Javaのジェネリックの入ったサンプルコードを幼馴染のSEに見せたら「<>って何?わからん」とか言っていてビックリしたことがありました。
後に『Java The good parts』を読んで後から追加された機能だと知り納得しました。言語仕様の拡張は便利にはなりますがシンプルさがなくなっていくので、勉強するには面倒です。
その点、Dartはサンプルを見た限りとってもシンプルです。

Virtual machineが気になる
Androidのプログラムをしていると少し不思議なところがあります。WebkitなのかWebClientなのか知りませんが、JavaScriptというかHTML5というか期待するほど対応していないようなのです。まるで、Dart活躍の場所が取ってあるかのようです。
もしかして、DartのVMってDalvik VMとバイナリ互換していたりするのでしょうか？そら恐ろしい感じがしてきました。
GWTの二の舞になるのか大化けするのか楽しみです。個人的には、JavaScriptはそこそこにJavaに注力しておこうと思うニュースでした。

リンク
米Google、ウェブプログラミング構造化言語「Dart」を発表
http://internet.watch.impress.co.jp/docs/news/20111011_482895.html

DART　STRUCTURED WEB PROGRAMMING
http://www.dartlang.org/

このブログの人気の投稿

mp3ファイルをcat で結合する方法

イメージ
ここ数年、平日 22:45 - 23:00 にNHKFMで放送しているラジオドラマをタイマー録音しています。「青春アドベンチャー」ですね。同じく「FMシアター」は50分ものなのでウォークマンで聴くのにファイルごとに選べて良いのですが、「青春アドベンチャー」は15分のファイルが10個で一つの物語なので、ファイル管理上不便です。 そこで、音声ファイルを結合してくれるWindowsのフリーウェアを使っていたのですが、ファイルの並び順をGUI で指定する必要があり面倒でした。結果、録音がたまる一方です。 最近はMac を使っているため、何か良いソフトがないかと物色していたのですが、AppStore でmp3結合できるソフトが500円くらいで売っていました。しかし、各種質問サイトによると cat で結合できるらしいと出ているではないですか。 どうやら cat a.mp3 b.mp3 > x.mp3 などとして結合できるようです。 しかし、ファイルが10個もあると cat の引数に渡すのが面倒です。しばらく、放置しておりました。 青春_ＮＨＫ－ＦＭ_1502162245.MP3 青春_ＮＨＫ－ＦＭ_1502172245.MP3 青春_ＮＨＫ－ＦＭ_1502182245.MP3 青春_ＮＨＫ－ＦＭ_1502192245.MP3 青春_ＮＨＫ－ＦＭ_1502202245.MP3 青春_ＮＨＫ－ＦＭ_1502232245.MP3 青春_ＮＨＫ－ＦＭ_1502242245.MP3 青春_ＮＨＫ－ＦＭ_1502252245.MP3 青春_ＮＨＫ－ＦＭ_1502262245.MP3 青春_ＮＨＫ－ＦＭ_1502272245.MP3 さて、ここ１ヶ月ほど私は『 シェルプログラミング 実用テクニック 』などシェル系の本を読んでおりました。「そんな本読んでるんだ、へぇ〜」などと周りの反応は芳しくないものでしたが、めきめきとシェルの使い方が身についてきました。 前置きが、長すぎましたがお急ぎの方は、下記のワンライナーをお試しください。 ls | sort | head -10 | xargs cat > s001.mp3 状況としては、フォルダに音声ファイルがいっぱい入っています。月-金の２週間で10話、1セットと
続きを読む

故障したPixio PXC32の修理対応が神対応だった

イメージ
「 4KではなくWQHD（2560x1440）31.5インチ曲面ディスプレイを注文しました。 」で書きましたがPixio PXC32を購入して使っていました。 ゲーミングモニターなのでなぜか光るのです。 モニタースタンドにヘッドホンを引っ掛けることができます。 曲面モニターなので厚みがあります。 世界の株価もこの通り。正面からみると曲面を意識することはあまりないです。 1年ちょっとで画面に横縞が生じました。 https://www.materialui.co/colors を表示させてスマホで撮影しました。200あたりがわかりやすいですが横縞が入っています。 2018年11月20日購入で2019年12月10日に修理依頼をしました。実は 2019年2月1日以降の注文は2年保証 になったのですが、それまでは1年保証でした。なので私は保証期間をオーバーしていました。残念！ Amazon経由で購入したため修理依頼もAmazon経由でメールをやり取りします。正直Pixioのモニターを買って失敗したなと思いました。DellやEIZOなど3年保証5年保証とあります。しかし今まで5年やそこらで故障したことはなかったです。故障する前にパネルや解像度が良くなって買い換えることになるものです。バックライトがLEDになってからは可動部もなくほぼ故障することはなくなっています。なので購入時は1年保証でも5年保証でもあまり気にすることはないと思っていました。 でも故障してしまいました。曲面・解像度・サイズ・周波数など気に入っていたので保証期間が過ぎていても修理してもらおうと修理依頼をしました。 ここからがいわゆる神対応でした。保証期間が過ぎていても修理可能であれば無償修理してくれると申し出てくれました。保証期間が2年に延長したことを考慮してくれたのだと思います。さっそくヤマトで翌日午前中指定で送りました。 ヤマトによると翌日11:41に着荷したようです。その後15:46に修理完了し返送したとメールが入りました。驚くほど速いです。よく修理期間中に無償の貸出機を出してくれるメーカーがありますが、これだけ修理が速いと不要でしょう。 今回の修理内容はメイン基板の交換でした。ケーブル不良のチェック用に新品のケーブ
続きを読む

『THIS IS US/ディス・イズ・アス 36歳、これから』は2010年代の『ナイスサーティーズ』

イメージ
Amazon Prime ビデオで感動の海外ドラマに巡り会ってしまいました。 四半世紀前にTBSの深夜帯で『ナイスサーティーズ』という海外ドラマを放送していたのですが、第2シーズンで打ち切りになりました。 ずっと気になっていたのですが数年前に最終シーズンの第4シーズンまでDVDで発売されました。もちろん購入して最後まで観ることができ嬉しく思っていたのです。 Thirtysomething が原題でDVDは残念画質なのですが、それはそれ。内容も今となっては...という点も多いのですが大した問題ではないのです。普遍的なテーマだからこそですね。 Embed from Getty Images ナイスサーティーズ主人公のケン・オリン（Ken Olin）。懐かしすぎます。DVDを観ていて気になったのは、途中から俳優だけでなく制作側スタッフとしてもクレジットされているのです。 ようやく本題。『THIS IS US/ディス・イズ・アス 36歳、これから』のプロデューサーがケン・オリンなのです。脚本が抜群に良くナイスサーティーズに似ているので調べてしまいました。Amazon Primeビデオで観たのですが毎回本編の後にケン・オリンや俳優がドラマを振り返る特典映像がとても上手く機能しています。 本来ならケン・オリンが登場しているので気がつくはずなのですが、ケン・オリンの風貌が変っていて気がつきませんでした。ちなみに下記の写真はご夫婦です。 Embed from Getty Images Ken Olin Reflects on ‘thirtysomething’ at 30 and Similarities to ‘This Is Us’ Ed Zwick was very influenced by Woody Allen, Thirtysomethingのクレジットを観ていると覚えてしまうエドワード・ズウィックがウディ・アレンの影響を受けてい...と興味深い内容です。 thirtysomething at thirty: an oral history なんと数か月前にファンブックが発売されているとは気が付きませんでした。
続きを読む