たぬき

#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; とかやって書き換えれるからだよ

This account is not set to public on notestock.

いいぜ

メスガキじゃんけん

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

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

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

ち無

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

This account is not set to public on notestock.

This account is not set to public on notestock.

DDR 踏みてえ!!

PureScript 楽しい!

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

Crew やりたい(唐突)

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

This account is not set to public on notestock.

こじ姉妹すこ

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

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

あ!!!!!!!!!!

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

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

This account is not set to public on notestock.

This account is not set to public on notestock.

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

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

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

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

This account is not set to public on notestock.

しらつきへ

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

レヰより

This account is not set to public on notestock.

This account is not set to public on notestock.

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

woman = evil めいてきたな

This account is not set to public on notestock.

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

これすき

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

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

クソ記事予告編

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

おやすみなさいー

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

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

今度こそ寝ます