Wordle 246 3/6*

⬛⬛🟩⬛⬛
🟨🟨🟩⬛⬛
🟩🟩🟩🟩🟩

#Wordle

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.

草、まあこれによってゲーム性が損なわれないという点でうまいことできているなという感想

Steam：白昼夢の青写真
https://store.steampowered.com/app/1607200/_/

い、いつのまに

これなぁ

Root domain or domain template in the Site List · Issue #1833 · mozilla/multi-account-containers · GitHub
https://github.com/mozilla/multi-account-containers/issues/1833

“Always Open in This Container” for entire domains/to include subdomains? · Issue #473 · mozilla/multi-account-containers · GitHub
https://github.com/mozilla/multi-account-containers/issues/473

Feature request: Always open URLs that match a pattern in a container · Issue #691 · mozilla/multi-account-containers · GitHub
https://github.com/mozilla/multi-account-containers/issues/691

白昼夢の青写真、パケ版を序盤だけやって放置しているので優先的にやりたいのよね

This account is not set to public on notestock.

Steam コミュニティ :: Raelon :: 白昼夢の青写真 をレビューする
https://steamcommunity.com/id/Seeds-of-the-world-tree/recommended/1607200/

> If you really want to play this game i recommend the original Japanese version because this English localization is a complete dumpster fire. This is probably one of the most butchered releases ever since Nora to oujo to noraneko heart.

ノラととの英語も酷かったのか…… (はじめて知った)

unit 型、そんなに違和感あります？
私としては C/C++ の void の方がなんやねんという感じがあるんですが

ハンマーを持つとあらゆるものが釘に見えるし、 Rust を持つとあらゆる C++ がクソに見える (???)

うんこで飯食ってます (?????)

ATRI -My Dear Moments- ってもともと全年齢だったよな、なら Switch 版買ってしまおうかな…… (なおパケ版を積んでいる)

This account is not set to public on notestock.

ふーむ

まず型とは何ぞやというところをクッッッソ雑に (かつ不正確に) 抽象化すると、「値を要素とする集合を型である」と見做すことができます (厳密には違うんだけど)。

たとえば u32 は 0 から 4294967295 までの整数を要素として持つ集合に対応する型。
で、 unit 型というのは値を1つだけ持つ集合、シングルトンに相当する型です。
⊥型 (Rust では ! 型) は空集合に対応する型ですね

まあ端的に言えば `t: T` を t ∈ T と捉えよう、ということですね

この抽象化は結構おもしろくて、たとえばタプル型 `(T, U)` が直積 T×U に対応しますね

よく Rust の enum が「代数的データ型」と言われるのも、

enum A {
B(T),
C(U),
}

が集合で言うところの直和 (T + U) に対応しているから。

This account is not set to public on notestock.

そうです

あとは関数型。
A を受け取って R を返す関数は、 A の部分集合のそれぞれの要素に R を関連付けた組 (集合) として表現できるので、この関数型を集合とみなしたときの要素数は {#R }^{#A } となる。

で、この辺りの和、積、累乗あたりを組み合わせた演算がちゃんと型の組み合わせと対応していて面白いよ、みたいな話になるんだけど打つのがめんどい

あと前提として純粋関数であるとか型を虚無から湧かせることができない (既知の定数が存在しないのでパラメータとして与えられたものだけからやりくりしないといけない) とか、まあいろいろ前提を与えた方がよかったりして、そのあたりのセットアップも……

This account is not set to public on notestock.

https://mastodon.cardina1.red/users/lo48576/statuses/103514408217552087
https://mastodon.cardina1.red/users/lo48576/statuses/106207723161994620

このへんで T+E とか (T+1)×(E+1) と言っているのはそういう話です

(🍛ハワードの話ではない)

RT を挟んだら文脈がおかしくなった

Option<T> が (T+1) に対応することをわかっていると、 Option<Option<T>> が T+1+1 だから T が暗黙に nullable になって T+1 しか表現できない型システムの言語とは根本的に表現力が違うことが自明にわかる

This account is not set to public on notestock.

if や match が値を返すところとか (なんなら for や loop も (大抵は) () を返すところとか、あのあたり Ruby もそうだけどよくできていると思いますね

括弧の対応が壊れてキモいので閉じておきます)

This account is not set to public on notestock.

それは C 言語の系譜の語法じゃないかなぁ……

単に expression は評価可能なもので、 statement はひとつの記述の単位くらいの気持ちで捉えとくのが無難な気がする。たぶん厳密には言語ごとに規定するのが正しいんだけど。

でもまあ、たとえば Rust だと statement はセミコロンで終わるので、その末尾セミコロンまで含めたものそのものは expression ではない、という点では「文は値を返さない」は正しい。
というより「Rust では if や match そのものは『文』ではない」の方が正確か。

たぶん statement と expresison が文法レベルで区別されないような言語とかありえる……のかなぁ……
ちょっと自信なくなってきた

let a = 42; は statement なんだけど、「let a = 42」という expression はない。

コンテンツ鑑賞 #141: ATRI -My Dear Moments- - コンテンツ鑑賞 - らりお Redmine
https://redmine.cardina1.red/issues/141#note-2

https://mstdn.plusminus.io/@mohemohe/107826653880133753

非負でないと困るのが uint
皮膚につくと困るのが unti

#違い

https://mastodon.cardina1.red/@lo48576/107826603880499085

型が虚無から湧いてこなかったり複製が可能でないセットアップにすると面白いのが、たとえば
[T] -> (T -> U) -> [U]
について可能な関数の総数って #⁠T と #⁠U から簡単に計算できますよね。
T -> bool が与えられていたり値の複製が許されていると、そうはいかない

This account is not set to public on notestock.

Rust だと block の最後が expression でない場合は () を返すことになっています。
() を返す関数の本体と同じ扱いなので、一貫性はある

代数的データ型と初等代数学 - blog.ryota-ka.me
https://blog.ryota-ka.me/posts/2018/07/09/algebraic-data-types-and-elementary-algebra

私が解説すると絶対変な誤りを入れ込みそうなので、ちゃんとした人がまとめて書いた文章を読もう……

ブロック最後にありうるもの、
release_memory();
とかは文だし、
assert!(result == 42);
も文だし、
return 42;
も文ですね

まあ末尾に return 42; があるときの型はちょっと面倒で、たとえば Rust の場合は「ブロックが diverging で、かつ expression で終わっていないため、ブロック全体はどのような型にもできる (理屈のうえでは ⊥ 型である)」という扱いになって、あとで都合の良い型へと推論される。

その辺りは昔ﾌﾞﾖｸﾞに書いた: https://blog.cardina1.red/2017/12/07/never-type-and-semicolon/

そういえば C/C++ の void がキモい話をしていなかったな

https://notestock.osa-p.net/@lo48576@mastodon.cardina1.red/20181219/view#note_ec996e266888b93fef9436cbe61dc401

C の void を返す (?) 関数は unit を返していると解釈するのが自然。
しかし noreturn な void を返す関数は bottom を返す。
あとは C++ で throw expression は void 型である (n4868 [expr.throw]/1, https://timsong-cpp.github.io/cppwp/n4868/expr.throw#1) とか。

結局 unit と bottom の両方を曖昧にして都合の良いように使っているという感じ。

まあ根本的な話をするなら、「C/C++ はそういうセマンティクスじゃないから無理に関数型っぽい解釈するのをやめろ」という話なんだけど。まったくそのとおりです。

C言語での"return"は他動詞ではなく自動詞 - 何とは言わない天然水飲みたさ
https://blog.cardina1.red/2016/07/08/return-statement-of-c/

return って何やねんの話なぁ

風呂入って寝るか

え、24時間後には起床してないとマズいってマジですか！？

社会適合者どもが平気で午前中に予定を入れてきやがるので人生崖っぷちで生きざるを得ない

怖すぎて震えながら scrub かけてます

困った業者 (婉曲表現) には消費生活センターをぶつけるしかない

/dev/neru
#今すぐ寝ることで救える命があります

HTML スクレイピング憂鬱だなぁと思ったけど、べつに JSON の API でも普通に黙って破壊的変更されたりするので大して手間は変わらんかと思い直した

TL が老化する人、広告が幼児退行する人 #いろいろな人

BASH IS YOU
ZSH IS WIN

This account is not set to public on notestock.

場所が場所なら「C++完全に理解した」とツイートされかねない危険な行為

This account is not set to public on notestock.

嵐か台風でも来ますよと言わんばかりの強風が吹き荒れているが、よりによって物理明日に回避不可な外出予定が……

まあこれで山手線の混雑率が少しでも下がるなら儲け物か？

悪天候なのに外出せざるを得ない哀れな下民の一員として JR に貢ぐしかねえ……

This account is not set to public on notestock.

ゲームだけのために、カーネルレベルにプロプライエタリで余計なお節介を焼きまくる誤爆の怖いソフトウェアを突っ込むのが果たして釣り合うリスクかどうか……

NVIDIA への悪口はよせ！ #MyNextGpuWontBeNvidia

チートで被害が出るのはチーターの責任だけど、アンチチートで被害が出ると開発側の責任 (製品に能動的に瑕疵を仕込んだことになる) になりかねないという非対称性は無視すべきでない

チートされる限りではチーターを訴える余地があるけど、アンチチートで誤爆したら会社側が訴えられることになるので

そりゃ個人運営だったり金が絡まないなら好き勝手アグレッシブにやればいいんですが

自由度高めのゲームはどうしても意図せぬ裏技やバグ技が発生しがちだし、そういうのを誤ってチート扱いするとマジでマズい

まあ言い逃れの余地なく意図してグリッチを悪用したと証明できるなら容赦なく BAN できるだろうけど、実際そんなにあからさまなキッズの割合って多くないんでねえのという気もする (犯罪者の事情なんて知らんが……)

非接触給電なぁ

結局xﾍﾟﾘ53にしてしまったので向こう2年間はﾁｰ給電なしの文明水準でいくことになりそう

あとは純粋に通報を処理する人間が足りてない話とかは聞くのでたぶんそういう事情の方がデカそうな気はしている

チート対策に十分な人的リソースを割くとして、その費用を販売価格に転嫁するとどんなもんになるんですかね……なんもわからん

オタクなので Qiita をﾁｰﾀと呼ぶし Pixiv をﾋﾟｰｶｲﾌﾞと呼ぶ

my old gear...

EA はｱﾍﾟに限らずbf2042もアレだし、本当に人足りてないんだなと思う

EAが「『バトルフィールド 2042』は期待に沿えなかった」と明言
https://jp.ign.com/battlefield-2042/57501/news/ea-2042

> ゲームの大部分は新型コロナウイルスによるロックダウン期間中に作られており、最終的にはそのことが完成品に影響を与えてしまったと語った。

㍂

コンソール勢のワイは高みの見物ですわ (ｽﾃﾏじゃないよ)

This account is not set to public on notestock.

いい話

ワイも BF2042 を (PS5 用で) セールで買ったけど、「シーズン始まる前に購入できてよかったー！」などと呑気なことを考えています

まあでもクロスプレイがデフォだと呑気なことばかりも言ってられないからねぇ >チート

This account is not set to public on notestock.