2014年9月2日

まさかりの成る木

まさかり投げてー。 * 僕の謎つぶやきを謎にまとめたものです * 一般人が読むと瘴気に焼かれる
0
Deprecatad @aiya_000

voidは空、 nullは無、 0は値。

2014-09-02 18:26:02
Deprecatad @aiya_000

voidは要素のない集合を表していて、故にvoid型に属する値がない。 nullは無を表す "値" で、型の要素。 0は言わずもがな値。

2014-09-02 18:27:12
Deprecatad @aiya_000

void型もType型の値であって、 int型もType型の値。 nullは参照型…もといnull許容型の値。 0はint型の値。 void型の値はない。

2014-09-02 18:28:37
Deprecatad @aiya_000

だからnullと0 (null許容)は比較できるし、 nullとvoidは比較するところなんて想像もつかないはずっ!

2014-09-02 18:30:08
Deprecatad @aiya_000

Type( int( 0 ), String( null ), int? ( 0, null ), void( ) )

2014-09-02 18:31:28
Deprecatad @aiya_000

あ、違う。 だって Type( 0 ) じゃないものっ。

2014-09-02 18:35:37
Deprecatad @aiya_000

ん? intは0を含んでいるのに、 なんでintを含んでいるTypeは0を含んでいない?

2014-09-02 18:36:04
Deprecatad @aiya_000

(まさかりを受ける姿勢)

2014-09-02 18:36:50
Deprecatad @aiya_000

うーん、どの言語でもTypeはメタな概念であってメタな実装だからかなあ…。

2014-09-02 18:41:24
Deprecatad @aiya_000

AはBを含んでいて、Bはcを含んでいる。 ただしAはcを含んでいない。 あ、 "含んでいて" って部分集合のことも指すのかな?

2014-09-02 18:42:27
Deprecatad @aiya_000

集合論なんて忘れましたし。 わかんない。

2014-09-02 18:43:00
Deprecatad @aiya_000

Typeはintの識別子を含むけど、それ以外のintの元は含まない…のかっ。

2014-09-02 18:43:57
Deprecatad @aiya_000

こういう考察が何に役に立つかっていうと、 型と型の比較とかに役に立つの?

2014-09-02 18:49:30
Deprecatad @aiya_000

ん? なんでsizeof演算子って型も値も受け取れるの…? じゃあsizeofってなんなの…?

2014-09-02 18:54:17
Deprecatad @aiya_000

そういえばtemplateも値と型どちらも受け取れる…。 C強い、C++強い。

2014-09-02 18:55:59
Deprecatad @aiya_000

Javaのような基本型とクラス型が明確に分かれている言語の、 その2つの型の値の扱い方の違いってどうなってるの?

2014-09-02 18:57:19
Deprecatad @aiya_000

参照型という概念は今は置いて考えよう。

2014-09-02 18:57:55
Deprecatad @aiya_000

intにはgetClass()がないのでクラスではないと分かる…よね。 Objectにはあるのでクラスだと分かる、多分。

2014-09-02 18:59:07
Deprecatad @aiya_000

そもそもintはメソッドを持たない、Objectは持つ。

2014-09-02 18:59:33
Deprecatad @aiya_000

ああ、結局クラスって値じゃないんだ。 構造体の拡張なんだ。

2014-09-02 18:59:58
Deprecatad @aiya_000

暗黙thisのメソッドをクラスの宣言と同時に生成で出来る拡張構造…なのかな? じゃあそれって…コードジェネレーティングじゃん。

2014-09-02 19:08:22
Deprecatad @aiya_000

というかじゃあクラスという概念自体メタプログラミングじゃん。 というかそうなると、全部バイトコードをジェネレートするためのメタプログラミングじゃん…プログラミングって。

2014-09-02 19:10:06
Deprecatad @aiya_000

コンパイルとはバイトコードのジェネレートだったのだっ!! (衝撃の真事実)

2014-09-02 19:12:41
Deprecatad @aiya_000

Haskellは僕に、問題の分割というものを具体形で教えてくれた。 問題の切り分けではなくて。

2014-09-02 19:20:29

コメント

コメントがまだありません。感想を最初に伝えてみませんか?