正直 #Rust を難しいというのもダメ、というRust信者さんの声を聞いていると「とうとう言論弾圧し始めたか・・・」と思ってしまうな。本当終わってるねこのコミュニティ。やっぱり信じられるのはRust信者でない、Rustaceanだけ。 #プログラミング

言論弾圧は明らかに公式なRustコミュニティにそぐわないでござるよ・・・Rustコミュニティってそういうのを嫌う立場にあるはずなんで・・・ ( プログラミング 2)

そう言えば、ある政党が、某宗教団体と・・・みたいな疑惑の証拠映像みたいなのがツイートされてて、一応視聴はしたんだが、そもそもこの映像出所はどこなんだ？という疑念があり、作り物である可能性も疑っている。 あと、ｻﾂｼﾞﾝを称賛するのはさすがにNG。正当防衛でもないのに、ありえない。

もしあの映像の出所が判明しているならば、もっと前から流出しててもおかしくないんよね、と思う。

「今になって」あの映像が唐突に出てきたというのが、あまりにも不自然すぎるんですよね。 まぁ、いずれにしても、疑惑のある政党側は説明責任はあると思うし、その映像をツイートした人も映像の出所を説明する義務があると思うね。

前に #Rust には #部分型 がないのでは？みたいなことを書いたと思うが、たとえば型TにTraitトレイトが実装されていたとして、T <: dyn Traitとみなせる。また、ライフタイムにおいても'aが'bよりも長ければ、&'a T <: &'b Tとみなせる。ここから、一応部分型はあると言える。 ( #プログラミング )

ただし、そういった特殊な型以外で部分型はないと言って良いだろう。たとえば、i16 <: i32じゃないし、実数型は整数型の部分型（たとえばi32 <: f64）ということもない。 ( プログラミング 2)

それ以外にもあったらすみません。

> 実数型は整数型の部分型 逆ぅ・・・整数型が実数型の部分型ですね。すみません。

まだ 序盤中の序盤だけど、 #ラムダ計算 面白いな。 ( #プログラミング )

一応解説。 truは1つ目の引数、flsは2つ目の引数を返す。 andはb cのとき、b=truならばtru c flsなのでcを返し、b=flsならばfls c flsなのでflsを返す。よってandはb=flsならflsを返し、b=tru∧c=truならtruを返し、b=tru∧b=flsならflsを返す。 ( プログラミング 2)

orはb cのとき、b=truならばtru tru cなのでtruを返し、b=flsならばfls tru cなのでcを返す。よってorはb=truならばtruを返し、b=fls∧c=truならtruを返し、b=fls∧c=flsならflsを返す。 notはtruのとき、tru fls truとなるのでfls、flsのとき、fls fls truとなるのでtru。 ( プログラミング 3)

ちなみに余談ですが、toBoolは関数がShow型クラスのインスタンスでないためにshowを適用するとエラーとなるので作った独自の関数です。

ラムダ計算がチューリング完全だと言われる理由がなんとなくわかった気がする。

どうでも良いけど、おうちにずっといることになりそうです。