何かをつぶやいているあいや - 自己同一性 -

Deprecatad @deprecatad

背理法、矛盾しないとは証明されていない前提事項を真と仮定して、 そこから矛盾を探し出す方法。 これって、とても人間的だね。

Deprecatad @deprecatad

(おはよう、の意。)

Deprecatad @deprecatad

あー、あったなー。 x = 10 y = x + 1 x = 11 y == 10 が真になる… なんだっけあれ、リアクティブプログラミング…？

Deprecatad @deprecatad

オブジェクト指向は仕様(抽象)に依存して実装には依存してはいけない…けれど、 Haskellって意外と実装に依存してるのかも、実装に依存してもいいのかも！

Deprecatad @deprecatad

…なぜTweetbotはRTが表示されないのだ。

Deprecatad @deprecatad

@unhappychoice 自己同一性への追従。

Deprecatad @deprecatad

自己同一性は、 自我の持続により生み出されることもあれば 自己同一性により自我を決定することもあると思うんだよ。

Deprecatad @deprecatad

つまり先天的であって後天的でもあって不変なのか変化的なのかよくわからないものだと捉えられる場合がある。

Deprecatad @deprecatad

ところでTweetbotのアイデンティティは他の人のRTが表示されないことなの？ というかキリンさんのだけ表示されてない気がする。

Deprecatad @deprecatad

enum -> IntへのキャストがJavaだとかなり強固だし、 C/C++は簡単にキャストできる上、 クラスインナー列挙体の場合 列挙体名を略すこともできる。

Deprecatad @deprecatad

Javaの場合列挙体はメソッドとフィールドを持つし 列挙子はそのオーバーライドをすることができる。 要するにかなりイテラブルなメソッドというイメージ。

Deprecatad @deprecatad

インターフェースの実装できるし、Javaの列挙体。 故にJavaでenumでintの列挙をしたい場合は interfaceでfinal int(int)宣言した方が早い。

Deprecatad @deprecatad

確かにJavaでそれらは難しいよ…、多態性は別表現で広く表現できるけど。 RT @torakan_botch: Javaもきょうごな型によるシステム構築、強力な形推論、多相型などによる多態性を疑いますね。

Deprecatad @deprecatad

そんでHaskellはhaskelでもなくハスケルでもなくHaskellですぅっ！！！！！！！