orange @[email protected]

例えば多くの一般的なコマンドラインインタフェースってHCDに照らし合わせると正しくない＞＜

連続起床時間的に寝なきゃ＞＜；

vim系もemacsもデザインがHCDに照らし合わせて正しくないから嫌い＞＜；
あと、例えば画面分割できてしまうってだけでさっきのシンプルじゃないとって話でいうダメなものになってしまう＞＜
(繰り返しになるけど、プログラミングする時はIDE必要だよ派でそれらは逆にそういう機能無いと困る＞＜ もっとシンプルに(ある程度短い)テキストを書くって場面に限って、シンプルであることを好むっていう話＞＜)

ねむい＞＜

あと、たぶんそういうの、実は機能が邪魔なんじゃなく、ドキュメント中心っぽくない感じがアレなんだと思って来てる＞＜(今度眠くない時に書く＞＜)

ていうか、IDE使わないでごく短いプログラミングするとかバッチファイル書くとか超クラシカルな短いHTML書くとかも基本的にはまずメモ帳で書いてから、それをサクラエディタ辺りにコピペしてどうにかする＞＜
(そういうのでさえそのくらいシンプルじゃないと邪魔＞＜(この感覚たぶんフローティングなマルチウィンドウを強く好んでるのと関係ある気がしてる＞＜))

テキストエディタがごちゃごちゃしてるのが嫌いって話ものすごくわかるし、プログラミングする時はIDEじゃなきゃ嫌だよ派だけど、Windowsのnotepad.exeものすごくよく使う＞＜

Haskellで（対話コンソールでじゃなくて）C#で言う所の
var hoge = 0;
Console.WriteLine(hoge.GetType().ToString());
// System.Int32 って出ます＞＜
をする方法すらわかんないし、ググってすぐに大量に出てきたりしない事自体わけがわからない・・・＞＜
型推論なコードで自分が想定（推論）する型とコンパイラが推論した型が一致するかどうかとか気にしないのかも？＞＜
（もちろん必ず明示的に型宣言して型推論自体を使わなければそんな事する必要そもそも無いけど＞＜）
オレンジが知らないだけでHaskellにもC# で言う所のVSのような「このIDEを使わないとかありえないし、素のテキストエディタで書くのはごく一部の変人だけ」みたいな環境があるとか？＞＜

ていうか、Haskellで（型推論を否定せずに）プログラミングしてる人々、開発時にどうやってその複雑な型推論で決定される型が何であるか知るんだろ？＞＜（便利なIDEでもあるの？＞＜）

わかんないしキレそう＞＜

typeOfっぽさ？＞＜

Haskellで対話コンソール（？）『『では無く』』型の名前表示して型推論がどう推論してるか見たいときどうすんだろ？＞＜
C# で言う所の
hoge.GetType().ToString()
みたいなの・・・＞＜（そんな便利な物は無い？＞＜；）

今まで知らなかったけど、HaskellのIntegerじゃない方のInt、ものすごくキモい？＞＜；
（古典的なCのintみたいな環境依存？＞＜（なんで「型を！」って言語でそんな物を普通のコード（例えば低レイヤで移植性の問題でどうしても必要とか、とても限定的な場面以外）で使うんだろ？＞＜；））

uint length = 100;
for (var i = 0; i < length; i++){}
とか他の型で書いても iはintに型推論されるっぽい？＞＜；
（じゃあ何の意味あるの、わざわざ定型文入力を避けたっぽいこの書き方？＞＜； もしかしてわざと未定義っぽい書き方にして将来のコンパイラの最適化を想定してる？＞＜； ちゃんとした最適化ならintって書いても勝手に効率良い型に読み替えて最適化されるんじゃないの？＞＜；）

C# でforループ（foreachでは無く）でわざわざvar使うの、メリットとして思い浮かぶのはInt32では収まりきらない時？＞＜；
（むしろそんな場面がありうる場所で使うのって逆にバグの原因になるのでは？＞＜；（将来的に（Adaの如く）自前の整数型かなんかを作って使う可能性を想定してる？＞＜； なおさら型を明示的に書くべき場面だよね＞＜；））

githubで（ちゃんと完全一致検索できないからあれだけど一応）検索したら
C# で"for (int i" は、4,014,293
C# で"for (var i" は、51,353
ってなった・・・＞＜

わざわざ型推論で書いたっぽいコードわざわざ入力
[f][o][r][ ][(][v][a][r][ ][i][ ][=][ ][0][;][ ][i][ ][<]...
定型文機能(スニペット)使って入力
[f][o][r][Tab][Tab]...
・・・・・＞＜
（もしかしたら設定で型推論優先にしてるのかもしれないけど、そこまでして型推論なコード書くの、何の意味があるの？＞＜；）

VS2017のvarを一括で明示的な型宣言に変えてくれる機能、試すのに自分で書いた物だとvarほとんど使ってないからあれなので他人のコードで試してみたけど、そのコードに
for (var i = 0; i <（以下略）
とか書いてあって、「え！＞＜； ループですらvar？＞＜； intとvar両方とも3文字じゃん？＞＜；」

ていうか VS2017のIDE、forって打ってTabキー２回押せば
for (int i = 0; i < length; i++){}
って定型文が入るじゃん？＞＜；
わざわざ定型文機能使わないでわざわざintと同じ3文字であるvarって打ったの！？＞＜；

日本だと、企業内で１本だけ買って、その会社のPC全部にインストールして全員で使いまわしとかが問題になってたかも＞＜（通報されまくるようになって（？）、かなり減ったはず？＞＜）