たぬき

#PureScript の型クラス完全に理解した

Field の要件に

a * recip b == a / b

がないみたいだけど大丈夫け?

あと体の定義がナチュラルに可換体なの結構ハードやんけ
四元数は Field になれないじゃん

DivisionRing の方は / 演算子持ってないから使い勝手悪いし

はい呑みます

https://twitter.com/imakawa_tamaki/status/1265969073294196737?s=09
#たぬき情報
#まぬる情報

undefined 警察だ!

void 0 しろ!!

Q. なんで void 0 しないといけないの?
A. undefined はリテラルではなくて予約語ですらないので var undefined = 1; とかやって書き換えれるからだよ

このアカウントは、notestockで公開設定になっていません。

いいぜ

メスガキじゃんけん

#PureScript Prelude くん,Monoid まで用意しておいて Group がないの流石に片手落ちでしょ

文字列とかリストとか,頻出するモノイドは群ではないけどさ

二次元回転とかあるでしょ

ち無

負債を先送りにした結果破滅するの星新一にありがち

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

DDR 踏みてえ!!

PureScript 楽しい!

楽しいから早く 1.0 にならないかなぁ

Crew やりたい(唐突)

文章として成立しているのでファンメとしては上等

このアカウントは、notestockで公開設定になっていません。

こじ姉妹すこ

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

無限増殖するちほー民地獄か????

あ!!!!!!!!!!

洗濯終わったのに取り出して干してない!!!!!

今日,別に明日休みなのに特に夜ふかしする理由を思いつかないのでこれ呑み終わったらそのまま寝ちゃお

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

お前が Unicode コンソーシアムに上梓するんやで

ニコニ広告のガチャチケ,全部一気に消費する選択肢しかないのクソでは?って毎回思う

戦いの中で成長したほうが勝つやつじゃん

そのオチどれくらい使われてるんじゃろ

このアカウントは、notestockで公開設定になっていません。

しらつきへ

そんな面倒なことしなくても 1 = 2 なので問題ないよ

レヰより

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

もう少し真面目(?)な証明もあるよ

woman = evil めいてきたな

このアカウントは、notestockで公開設定になっていません。

てことは 0 = 100 じゃん!
(以下略)

これすき

この文字数で笑わせてくるのは卑怯

でもね,等価と等値を曖昧にする最近のプログラミング言語も悪いんですよ

クソ記事予告編

そろそろすやすやたぬきになります

おやすみなさいー

手続きに帰れ / Back to Procedure https://qiita.com/BlueRayi/items/004a73f83b72aa5324ac #Qiita

寝るって行ったあとで申し訳ないんだけどクソ記事仕上げちゃった

今度こそ寝ます