Conversation

Notices

1. あじょだよ (azyobuzin@mstdn.maud.io)'s status on Tuesday, 11-Sep-2018 23:41:32 JST あじょだよ

   データ型があって、関数があって、それでいいじゃんというのもわからなくもないが、やっぱりもっとふわっとしたメッセージングで書けることによる柔軟性は、複数の動作を統一的に扱いたいときに大いに役に立つし、「オブジェクト」というものをもう一度考え直し、その上で型安全性を静的に担保できれば、一方向の継承（インターフェイスを含む）よりグっと価値のあるオブジェクトを司る言語になるんじゃないかという野望が、ここ数日で芽生えている

   • まちカドおるみん repeated this.
   • あじょだよ (azyobuzin@mstdn.maud.io)'s status on Tuesday, 11-Sep-2018 23:44:12 JST あじょだよ

     • Alice

     @alice とりあえずプログラミング言語理論の話になるとポンポン出てくる論理式を見たときに「暗号か？？」にならない程度にはいろいろ知っていたいよね……（高い