ふわり恋模様　【かりぐらし恋愛OP　はな】 - YouTube
https://www.youtube.com/watch?v=og0elBcWt1c

この歌を一度最後まで聞いてみてほしいんですが、あらゆる音がおかしくて気が狂いそうになりません？？ (これは茶化しているのではなく本気)

著作権侵害っぽい URL は投稿しないようにしてるんだけど、確認してほしさがそれどころではなくなった

作曲の理論とか全然わからないんですが、何かが明らかにおかしくて精神にダメージが来るのは間違いない……

This account is not set to public on notestock.

This account is not set to public on notestock.

時計を見たら2時間飛んでた、なんだこれ

困るが

https://twitter.com/hnagamin/status/1294686978860969990 #tw #これすき

そろそろ寝るか……

こんな時間になってしまったので、塩素系漂白剤で洗濯機の槽洗浄 (11時間) を開始してから寝ることにした

これ以降二度と投稿がなかったら塩素で死んだと思ってください (一応空気の流れは問題ないように制御してある)

ねむい……

This account is not set to public on notestock.

いや、クソ田舎の道なんかもちゃんと自動車使えるように整備されているのはそれこそ税金のおかげなので、利用者や頻度で考えれば田舎のほうがそういうインフラ整備の恩恵は圧倒的に上なのではと思うけど……

100倍の金をかければ100倍素晴らしい道路になるとかではないのだろうし、道路維持の金を利用者や利用回数で割ったら田舎の方が得してるんじゃねえのと思う

This account is not set to public on notestock.

音楽の歌詞はあまりにも独特の構文なので (日本語でもそうだけど) 単語とか特定のフレーズの学習には使えても一般的な英語に触れるものとしては微妙そう

https://mstdn.maud.io/@kb10uy/104686477646186045
https://mstdn.nere9.help/@orange_in_space/104697987619637017

ガリレオフィガロじゃん……

伏線回収を見た

まずはキーボードを2つ並べて使うところから慣れるとよい (???)

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.

CW は「中身に注意」
NSFW は「背後に注意」

……とでも訳すのが良いのではと思っている #適当

Safe for WorkでもContent Warningが必要かもしれない投稿の例：犯人はヤス

しばらく蛇口直前で留まっていた水、「これくらいの温度でシャワー浴びたい」くらいの温度になっており、つまり温水

This account is not set to public on notestock.

#労働は健康に悪い
#人生は健康に悪い

温い風とアブラゼミの鳴き声に風情を感じながらノイキャンヘッドホンを装着するらりおであった

はよ GeckoView をシステムで使えるようになってほしいな

Amazon | エレコム トラックボールマウス/人差指/8ボタン/有線/無線/Bluetooth/ブラック | エレコム | マウス 通販
https://www.amazon.co.jp/dp/B07CG1R3JT

DEFT Pro 買うか〜

感受性が豊かなので、プレイしたことのないエロゲのエンディング曲を聞いて「良いゲームだなぁ……」って言いながら泣いてる

This account is not set to public on notestock.

https://mstdn.maud.io/@kb10uy/104699023301219207

正しいものが Right なのは左利き差別で politically incorrect なので、そういう意見は一蹴してよし #適当

https://twitter.com/muscle_azoson/status/937506260856971264 #tw

> 「Haskellを書く人はRightに『正しい』という意味があることを知ってるからEitherのRightに正常時の返り値を入れるが、OCamlを書く人は英語を知らないからLeftに入れる」とかいう暴論、思い出すとめっちゃ笑える

まあ実際 anonymous field の struct であるところの tuple と anonymous variant の enum であるところの Either は対等な位置付けになるので、一方だけいらないというのは不自然ではある

enum FooOrBar のようなクソ命名をしたことのない者だけが石を投げて良い

Result をやめて Either を使えというのは理解できないし全く相容れない、それはそう

内部的に Either 相当のものがほしくなって enum ThisOrThat を定義してたライブラリなら見たことあります (Left と Right よりは政治的に正しそう (???))

enum Either<W, N> {
White(W),
NotWhite(N),
}

#適当 #PoliticallyIncorrect

tuple も anonymous sum type も、「メンバの型名自体が意味を明示しており、混乱がない」などの文脈のうえで有用なものであって、あらゆる場面で使えなんて話には普通ならない

まあ tuple については「順番が意味を明示している」の場合もあるのでその点では sum type よりも使いやすくはあるかもしれないけど

https://mstdn.maud.io/@kb10uy/104699079566181225

たとえば ActivityPub で「Object または Link を持つフィールド」が無限種類ある場合に、それぞれのフィールドごとに型を用意するのか (不毛) それとも ObjectOrLink 型を用意するのか、みたいな例があるか

Activity Vocabulary
https://www.w3.org/TR/2017/REC-activitystreams-vocabulary-20170523/

Range が `Object | Link` なプロパティが無限にあるけど、本当に全部に個別の型を用意しますかと

別の型にすると、それはそれで今度は相互の型変換を無限に実装する破目になったりするので、それが工学的に正しいかというのも怪しい場合がある

std::ffi::OsStr - Rust
https://doc.rust-lang.org/stable/std/ffi/struct.OsStr.html#trait-implementations

たとえば str, Path, OsStr (とそれぞれの owned な型) だけでもこんなに PartialEq やら何やらが発生することになるわけで……

あるいは to と cc と bcc みたいな本質的に対等な型をどこまで一緒にするか、あるいは本質的に対等でないが自明に互換性のある型をどこまで一緒にするか、みたいなデザインの判断も悩ましいところ

標準ライブラリに入るべき、 either crate では駄目な理由というのはよくわからない (単に一手間省けるくらいで、標準に入れることはそんなに重要か？)

@tacumi 微妙ですね (受信者からすると同じですが送信者からすると taint flag の有無くらいの意味の違いはある)

This account is not set to public on notestock.

This account is not set to public on notestock.

Consider some form of extensible enums · Issue #409 · rust-lang/rfcs
https://github.com/rust-lang/rfcs/issues/409

Anonymous sum types · Issue #294 · rust-lang/rfcs
https://github.com/rust-lang/rfcs/issues/294

わかるなぁ
私は
#[derive(Default, Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
の順にしている

@tacumi 受信側ではそもそも自分が to か bcc かを区別する必要がないというのと、 bcc にあった項目を to に移動する際に一切破綻が起きないという点に、同質性を見出していました

taint flag のようなものというのはもうちょっと正確にいうと information flow typing みたいな話で、「型に対して『これは公開されて良い』とか『これは洩れては困る』などの属性を与えてやることで型検査時に情報漏洩の可能性を検出しよう」みたいなテクニックが to / cc と bcc に適用可能なので、その点では差を付けることができるかなと。
ただ、これはデータとしては同じ構造と意味を持つが利用方法や出自が異なる、というような解釈ができるので、型に異なる属性を付けられるからといって全くの別物であると称するのはちょっと主張が強すぎるかなと思っていました

Gradual Information Flow Typing
https://users.soe.ucsc.edu/~cormac/papers/stop11.pdf

PDF 注意

@tacumi もちろん私も思想としては用途まで含めて型を分けろマン寄りです。
しかし、たとえば ActivityStreams や他の莫大な語彙を持つような規格のような、型が増えすぎることで開発者にとってネガティブな影響が大きくなる場合がありえるので、そのとき何かしらの「同一化」により型を減らす必要が実用上生じるのかなという文脈でした。
その場合、 to / cc / bto / bcc は「同一化」の候補に真っ先に上がるかなと。

@tacumi 継承は人類を不幸にするという信仰を持っているので……

残念ながら私はそういう感じの subtyping が嫌いな人なので……

継承を使いたいならお好きにすればいいけど、お前らの大半は共変と反変の区別付いとらんじゃろがいという気持ちになってしまうんだよな

@tacumi 結局「つよい型システムが欲しい」に帰着するし、つよい型システムは永遠に型検査が終わらないので、世界の限界のそばでダンスし続けるしかないんですね

殿様「決定可能な最強の型システムを持って参れ」
一休「？？？」

ツリーが簡単に破綻するのは「正方形、長方形、菱形、平行四辺形」の例から考えても明らか

単に正方形と長方形だけで考えても、読みと書きで共変/反変が変わってくるので、実質ぜんぜんうまくいってないじゃんというお気持ち

性質と読み/書きごとにインターフェースを用意してｼｺｼｺ実装していくしかないよ

This account is not set to public on notestock.

そもそもの話、共変と反変という2つの真反対の包含関係が見えているのに、継承というシステムが1方向にしか使えないわけで、根本的に表現力が足りていないと思ってしまう

「祖先クラスでできていたことや持っていた性質をあるクラスより下では損なわせる」という逆方向の継承みたいなのが同時に用意できるのであればあるいはと思うけど

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.

Steam で 10% オフ:縦笛なめなめVR
https://store.steampowered.com/app/1336160/VR/

ゥヮ……と思ってたら後半だんだんおかしくなってきて笑ってしまった

This account is not set to public on notestock.

This account is not set to public on notestock.

[Web Comic] すぱこー 焼きそば編 1食 – プログラミング生放送
https://pronama.jp/2015/12/01/web-comic-yakisoba-1/

これだけは知ってた (???)