D 言語仕様所感

まじかんと @tnacigam

Java は値型と参照型が混ざってゐるやうに見えるが、int や double などのプリミティブ型を Integer や Double などのクラスと同一視すれば全部が参照型と見做せる。まだ分かりやすい。

まじかんと @tnacigam

C# と D は値型と参照型の両方がある言語。代入演算子がどちらの動作をするかは、型を知らないと分からない。

まじかんと @tnacigam

D、いくら f(x) と x.f が同じだからって sizeof(int) を int.sizeof と書くのは何か違ふと思ふんだ……。つか sizeof(int) って書くとむしろエラーになるし。

まじかんと @tnacigam

D言語の標準ライブラリのドキュメンテーションのしょぼさ……

まじかんと @tnacigam

Dの関数リテラル、書き方が多くて混乱する……

まじかんと @tnacigam

function (int i) { return i; } と (int i) => i はどちらも恒等関数なのだがうっかり (int i) => { return i; } とか書くと別のものになる。

まじかんと @tnacigam

Dは C++ よりも解析しづらさうな構文してるけど dmd はどんな解析器積んでるんだろ

まじかんと @tnacigam

Dのデリゲートには型の反変性とかないんすか

まじかんと @tnacigam

やったー! D で数独ソルバー書けたよー! ＼(^o^)／ github.com/magicant/sudok…

まじかんと @tnacigam

--build=unittest-cov オプションを付けるだけでコードカバレッジが取れてしまふなんて dub さんマジ凄過ぎる

まじかんと @tnacigam

assert(false) の行のために網羅率が落ちるのは地味に悲しいな

まじかんと @tnacigam

ちなみにプログラムを動かすだけでこんな感じのテキストファイルが出力される。結果を見るために出力を解析ツールに突っ込んだりする必要はない。 pastebin.com/vFe1dJ4m

まじかんと @tnacigam

Dのフロントエンド、不安定過ぎだろ……。古い型チェッカーで正しくエラー扱ひされてゐたコードが新しいので通ってしまふ。

まじかんと @tnacigam

そもそもフロントエンドが DMD のしかないってのもなんだかなぁ。

まじかんと @tnacigam

取り敢へず、自分で pure とか nothrow とか指定してると地雷を踏みやすい印象が。

まじかんと @tnacigam

pure なメンバ関数があると invariant が書けないとかなかなかおもしろいギャグですよね。最新の DMD では直ってますけど。

まじかんと @tnacigam

ちゃんと比較したわけではないけど、 GDC は DMD/LDC より二倍位コンパイル速度が遅い雰囲気。

まじかんと @tnacigam

Sesh を D で書き直すためのレポジトリを作ってみたもののいまいちやる気が起きない

まじかんと @tnacigam

まだ食はず嫌ひだが、D でテンプレートやミックスインを使ってメタプログラミングするくらゐなら C++ でやった方が増しだといふ印象がある。

まじかんと @tnacigam

C++ のテンプレートが静的ダックタイピングであるのが欠点であるといふ主張をする人がゐる。では D ではそれを改善するためにテンプレートに型の様なものを導入するのかと思ひきやむしろ逆をやってのけた。

まじかんと @tnacigam

Dのミックスインは、静的ダックタイピングであるどころか静的ダックコーディングであるといってよからう。

まじかんと @tnacigam

しかし俺にはミックスインといふ機能の必要性が全く分からないのだ。コンパイル時に文字列を eval (スクリプト言語的な意味で) して、一体何が嬉しいのだらう。

まじかんと @tnacigam

つか D のコンパイラフロントエンドが DMD のやつしかないのってどう考へてもミックスインのせゐだろ。

まじかんと @tnacigam

あと D は演算子オーバーロードが複雑すぎて付いていく気になれない

まじかんと @tnacigam

std.typecons.Unique なんかドット演算子をオーバーロードしてゐるからややこしい。もし後で Unique に別のメンバ関数等を足したら既存のコードの意味が変はってしまふこともあり得る。なぜ -> 演算子のオーバーロードにしておかなかったのか。