Notices by ashida (ashida@friends.nico), page 111

今何してるかもわかんないしツールが何をしているか、今させられている設定が何のために必要かが分からない状態で立ち上げるのも一度どこかで詰まったらその時点でつらい目に合うし　維持管理も、Linuxのコマンド知らなくていちいちググらないとどうしようもない状態じゃつらたんな未来が見える

こうやってマストドンを(開発用のローカルにとはいえ)立ち上げてわかったことは、マストドンインスタンスを自力で立ち上げて運営するとかまったくの素人にはどう考えても無理だろうということだ()

https://gyazo.com/b0c1491cf57e72189f17a0fb2f149d82
これはひどい

Haskellの世界では(半分くらい)型とは証明なので　型推論が強い「からこそ」型を明記してチェックするという世界でもある　半分くらいは

まあ、Haskell　元から　1::Num a => aだったかし

Haskellさんの世界ではStringは単なる[Char](C#的に言うとList<Char>のようなもの)のエイリアスなので非常に取り回しが悪くそのせいでついに公式が採用したIsStringさん

なお、当然Haskellさんは型推論強い言語なのできちんとIsString a => という制約が含まれてる関数だけ使うとどこまでもIsString aという制約を満たす型すべてに対しということが出来るのだが

http://hackage.haskell.org/package/base-4.11.1.0/docs/Data-String.html#t:IsString
という世界の話

Textかもしれないし、Utf8Stringかもしれないし　ひょっとしたらforall a.Const String a かもしれないのだ

"test"とかいてあって、それが勝手にStringだと思っているのはあまいのだ

一昔まえ、マストドンでとあるソシャゲのゲームについて調べようと思って(検索がどうしようもないので)テーマインスタンスに行けばどうにかなるかなって思ったら過疎ってました・・・

(vimとかemacsとかのどちらかだけ拡張が大量にあって実質それを使わない開発を否定される零細プログラミング言語の話した・・・？)

言語独自のビルドツールとか並べだすと今度「なぜmakeという素晴らしいものがあるのに独自実装するのか」とか　最悪「makeのほうがいいと感じた」とか出てくるからなぁ・・・

むかし、Omakeというものが流れてきた時期もあった

まあ、そりゃあそうよな　他のインスタンスにコピーしてそこで再発信してるんだし・・・

つまり、マストドンがやってることは　著作権的にはあらゆる第三者への無制限の複写複製の再許諾が必要になるわけか・・・

Goは何というか　JavaをbetterC++っていう感覚でbetterCを作りたかったんだろうなって

鯖管工場、なんか燃えてたのか・・・

今日の朝の時点ではリストの登録がクッソ面倒なの頭にくるからちょっと(RubyもJavasciptも何もかもわからないけど)コード読んでみようと思っただけだったはずなのに

・・・おかしい