本当に大当たりだったのでみて

大当りきて AA のった

PureScript とかあるしって書こうとしたけどそれ言ったら F# があるからやっぱりほしいかもしれない(?)

JS/TS にはいらないかな……

(ためしに片手プレイってやつをやってみています)

いやむずすぎ

リメンバーシープラスプラスシーエルアイってやつです

Visual Bash

?????

識別子だけ .NET スタイルにすると急に Visual に見えてくるテクがある

use System::IO::FileStream;
fn Main(argv: Array<String>) {}

var foo = x switch {
...
_ => continue,
};
がしたいよ~(Rust 脳)

C# の switch 式は arm に throw が書けるんだから continue とかも書けるようになってくれ(わがまま)

switch 式早く使えるようになってくれ~

@mimyquality (C# 10.0 なので実は U# どころか Unity とも無縁な話で……)

langversion だ

ところで namespace Hoge; って using の後に書く方が多数派なのかしら

あれなんか csproj 細工したりしたら C# バージョン指定できるんだっけ

VSCode で書いてるとやれ file scope namespace を使えだの色々言ってくるけど使えないんだよなあ :very_sad:

2023-11-24 21:02:44 lilの投稿 lilxyzw@misskey.niri.la

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

そう考えると C# の変性指定子の in と out はいい命名なのかもな

型パラがその型に対して出入り両方で使われる場合どっかでダウンキャストが死ぬのでジャストでその型しか受け付けなくする(invariant)のが安全ということですわね

でも言われてみれば型パラの変性を ? extends とか ? super で変数単位で指定できるのは Java 特有といえばそうなのかもな(型消去だからってのもあるだろうけど)

よくわかる反変

逆に返り値では受け取らないやつが contravariant で、C# の型引数が<in T>になってるやつで、
void Foo(T t) がある IHoge<in T> があるとして、実体が Hoge<Base> なら Hoge<Derived> に代入できる(はず)。Base の引数に Derived を渡していることになるので。

List<T> は最初からその可能性を潰しておくことで常に Derived で読み出されて Derived しか書き込めないみたいな感じになっている

readonly なぶんには実体がサブクラスでも問題が起きないので IEnumerable<out T> とか IReadOnlyList<out T> になってて IE<Base> に IE<Derived> を突っ込める

読み書きできる配列を考えたときに(IReadOnlyList<T> は covariant)、class Derived : Base があって Base[] に Derived[] を入れると Base を代入したときにダウンキャストできなくて死ぬみたいなことがおこる

あーでも IList<T> の T は invariant か……

IList<A> でいいんじゃないっけ

2023-11-24 20:20:27 unaristの投稿 unarist@mstdn.maud.io

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

アーリーじゃないやつ

あ、コミケのリストバンドそろそろ販売開始か?

2023-11-24 19:08:22 せせなぎ:skeb:の投稿 sese_nagi@misskey.io

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

・Apple Watch 解除だけを頼りに生きる

このタイプの BIOS 画面のスクショが撮れるのは良い(最近のいい UEFI BIOS は普通に USB メモリとかにスクショ保存できたりするので)

2023-11-24 13:09:03 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

これSIMカードに全件記録できるほど連絡先が少ない人々へのちくちく言葉?

基本的にはクラウド同期してそうだし同期しない間だと vCard エクスポートしてメールで自分に送るみたいなのが多い気がする するだけ

最近だと vcf ファイル経由じゃない?

2023-11-24 12:59:36 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

SIMカードリーダーはSIMカードを読むために使われます……ではなくて、WWANモデムと組み合わせることでモバイルネットワークに接続できる他、昔の携帯電話はSIMカードに電話帳を記録していたため、それを読み出すことで電話帳のバックアップや移行もできました。

あの手の IC チップは512byte もあれば多いほうだと思ってたのでびっくり

SIM カードって連絡先情報入るぐらいにはデータ領域あったのか

そぎぎ

Skebもみあげけもみみちゃん|瀬世ナギ|pixivFANBOX
https://sese-nagi.fanbox.cc/posts/7029677

Skebもみあげけもみみちゃん|瀬世ナギ|pixivFANBOX
2023-11-02 19:16:48 きゅうりうむの投稿 cucmberium@mstdn.maud.io

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

2023-11-24 00:52:32 ほたの投稿 hota@mstdn.maud.io

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

無敵の透明人間について考えています(?)

2023-11-24 00:06:41 ステラの投稿 Nucleareal@mstdn.maud.io

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