メモリ使用量が爆発する問題がある

蓋を開けてみたら絶望的なメモリ効率の悪さが明らかになってしまった件

どのプロセスが同じメモリ領域を見ているか厳密に判断するのはかなりめんどくさいかもしれない

計測できている気はする
眠すぎてまともにまとめる気力が湧かない

ねむい&果物摂取したい

なぜかRecvStream::stop()だけはSendStream::stopped()でハンドルできるけど

Quinn、SendStream::finish()をRecvStream::finished()的なインターフェースでawaitすることも出来ないじゃん

Truthy<T> & Falsey<T> = neverも定義したほうが良さそうね

あらゆる値がboolチックに扱える言語を仮定するのであれば、T = Truthy<T> | Falsey<T>みたいな型付け規則を用意して、&&と||をTruthy<T>, Falsey<T>に対して正しく定義するほうが良さそうかな

そもそも||と&&の型付け規則が明示されていなかったので、きちんと明確にすれば解決するという話でしかない

string = truthy string | falsey string

truthy string || T = truthy string
falsey string || T = T
truthy string && T = T
falsey string && T = falsey string

string && T = T | falsey string
(T | falsey string) || T = T

ほら出来た

string型についてtruthy string型とfalsey string型を導入してそれぞれに対する&&と||のオペレーションを定義すればよいと思われる

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

流石に貸し切りだぜ

髪の毛固めちゃったのでこの時間から温泉です

中央道飛ばしてきた @長野県