_('ジョニー')._ さんはインスタンス qiitadon.com のユーザーです。アカウントさえ持っていればフォローしたり会話したりできます。 もしお持ちでないなら こちら からサインアップできます。

_('ジョニー')._ @johnny_shaman@qiitadon.com

固定されたトゥート

1:自他を裁くものは、裁かれる
2:自らが正しい行いをしたのであれば、顔を上げれば良い。
さもなくば邪に魂をうることになる(アベルとカインの例が秀逸)
3:己に罪なきものから順に、その者に石を投げなさい。
(多分誰も投石できないはず)
4:この世の全ての富は、彼(宇宙とか神とか仏でも良い)から見れば全て不正の富である。
(だからそれを使って友だちを作りなさいということらしい)
5:人は、富と彼との2つに同時に仕える事は出来ない
(だから慈善事業はOK)
6:ソロモン王の栄華は、彼の義と理を知りたいと願うことで与えられた。
7:己を赦し、他を赦し、命に仕えるように我々は言われているだけ。
8:偶像を崇拝すると、崇拝対象が混乱するんだけど、それを上手く書けているのは「星の王子さま」

ちょっと、いろいろごちゃまぜだけど分かりやすいようにまとめてみました(笑)

_('ジョニー')._ さんがブースト
_('ジョニー')._ さんがブースト

技術者の言う「ググれ」は『そんな簡単なことくらい自分で調べろ』の意ではなく『ネットの方が自分より詳しい方が共有している可能性があるからそちらを参考にしてください』の意であることのほうが多い

_('ジョニー')._ さんがブースト

セイコーマートのイカれたカップ麺シリーズ、嫌いじゃない

結局、通貨っていう仕組みは「価値」の証明方法というだけであって、本質的な仕組みではないように思えてしまいます。

_('ジョニー')._ さんがブースト

> 偽札が多い国だと電子マネー普及(?)するのか、なんか納得

あとは紙幣が汚いとかも影響しますよね

_('ジョニー')._ さんがブースト

???「IEモードを消せばいいんですよ(ニコッ)」

数学的な型である場合、その型は既に「振る舞っている」ように思います。

計算機では、それは、アノテーションに過ぎない気がしてます。

現に、losandではjavascriptの動的型付けに甘えっぱなしだったけれども、white_catsでは、関数が返すオブジェクトは、型ごとになるようにしてある。

内部に型システム持ってるんです。

dsandも、DOM上の種別や、単なるwindowに対するオブジェクトも判別する型システムを実装。

全部で2500行になってしまったけれども、SSRを考慮しないで済む規模のものであれば、きちんとSEO対策下でも働ける。

_('ジョニー')._ さんがブースト

定理証明とかは、型で証明したいという場合の方が多そう
型で実装が完結するのが理想、みたいなところがある
ただ、それが普通のプログラミング(?)にどれぐらい適用できるかというと、ちょっとわからないんだけど

_('ジョニー')._ さんがブースト

9
スクランブル交差点に突如現れた、瀕死の異世界の少年。
投げてはいけないPRを投げてしまった、一人の会社員。

「ーーあいつさえ」
「あいつさえ、いなければ...!」
「リーナス・トーバルズ...!」

異世界の少年と現実世界の会社員の、
Gitを巡る記憶の旅が、

今、始まる。

_('ジョニー')._ さんがブースト

swift は where のおかげでネストを浅くできるから好き

for item in items {
if item.isHoge {
hoge()
}
}

for item in items where item.isHoge {
hoge()
}

基本的な型に向けて実装を続けるしかない気がするなぁ…

現実世界にあふれる認識を計算機で計算するという所に横たわるのが、型ですか…

飽くまで設計図として用いるべきで、実装されたコードが型の遷移を証明したほうが楽な気はしますが、きっと昔の計算機だと椅子投げられますね笑

_('ジョニー')._ さんがブースト

テスト無しでボーイスカウトルールじゃんじゃん適用させてる(そしてエンバグする)

if( (a & b) || !(c & d) ) {
//というような書き方に
}

結局、入力に対して期待される出力は、トートロジーという事を踏襲すれば、if文は…

可読性悪いけど 三項演算子 の方が好きです。

ただし、

function (test) {
switch (test) {
case 1: return 'foo';
case 2: return 'bar';
case 3: return 'baz';
default: return test;
}
}

とかもイディオムにしてます。

_('ジョニー')._ さんがブースト

@johnny_shaman
確かにマスはキレイな川にいるイメージですね!根本的な問題として、ブラックバスのような食べる習慣のない魚を食べる文化を如何に定着させるかが大事な気がしますね!

「将来的に型から実装を導けるようになる」

という論があるようですが、私はこれの逆で、「実装」から「型」が導けるようになるし、そういう動的型の顔をしているモノであれば、カリー・ハワード同型対応論者も、そういうものと理解すると考えては居ます。

その結果の一つがwhite_cats であることは言うまでもない。

npmjs.com/package/white_cats

_('ジョニー')._ さんがブースト

もひかん工藤開発

工藤「乱姉ちゃん、胸に7つの傷の男を見つけやしたー」
乱「でかしたー」