@brsywe 木曜だいぶ忙しいので行けるとしても20時に新宿発くらいになりそう

なんかサクッとプログラムを書くときの選択肢がTypeScriptになってきてしまい、人生……

Rustっぽい方向性の言語は好きなんだけどライフタイムがマジでいらないんだよな

@teobot Rustのように手続き指向をベースにしつつ関数型に見られる強力な型レベル論理を取り入れたプログラミング言語で、しかしライフタイムの検査は行わないようなものってなんかある？

@teobot OCaml使ってるソフトウェアってCoqとFlowくらいしか知らないんだけど、実際どれくらい実用されてるの？

@teobot F#ってWindows環境以外でも処理系ある？

dotnetコマンドなんてあるんだ

@teobot .NET Coreっていつからある？

@teobot F#を使ってる有名なソフトウェアを教えて

Haskellは好きなんだけどHaskellでソフトウェアを書こうとするとひたすら苦しい感じになるのがなんでなのか分かってない

単純にHaskellに慣れてないというだけなのかもしれんが、慣れるまでにここまで苦しいものだとしたらなんか間違ってるよなあ

速度は確かになあ（Data.TextとData.ByteStringとこいつらのLazyの4通りが存在して変換がクソ面倒くさいみたいなやつ）

三郷中央、車で30分弱

あとレコードの扱いが貧弱とか、手続きっぽく書いても気を抜くとすぐにliftや<*>がにじみ出てくるみたいな辛さもある

Haskellは型コンストラクタと引数からなるデータレコードの変換処理を記述するのは超得意だけど、人間があまりこの形式で物事を考えてないのが辛いのかね

ところが世の中のアルゴリズムというのは割と手続き的に書かれていることが多く……（特に高速な物はCPUが手続き的であることに当然依存している）

17年前は生まれてなかった

bcって言おうとしたらX上という条件が付いてた（残当）

たしかに

もっと脳の体力があるときにHaskellを真面目に書けるようになっておくべきだった

ねむすぎる

新幹線なんかあったの

厳しそう

また雷鳴ってる、日本は終わり

また瞬停した

病気みたいな雨降っとる

つらみ

山形だし作ろうと思ってたのに労働ですべてが終わった

ごはん炊いてあるしがんばって作るか