orange @[email protected]

その文脈上で、hoge.fuga()でfugaがhogeの型と同一の型で何かを返すのであれば、それはhogeは破壊されていないとオレンジは考えるかも＞＜ hogeにfugaと言う状態の変化を与えた物ではなくfugaと言う式を通した結果かもって＞＜
逆にfugaがprocedureであれば、hogeをfugaと言う手続きで何らかの変化をさせる以外の推定のしようが無いかも＞＜

意地悪な例示でTryってくっつけたけど、Tryってつけてなかったらどうなる？＞＜ってなるかも＞＜
手続きのような言葉で関数のように何かが返ってくる時にその何かは推測が難しいかも＞＜
何が返ってくるかをその関数が表していなければ、何が返ってくるのかわからないって当たり前（自己言及的で循環する）な問題があるかも＞＜
hoge.fuga()のfugaと言う4文字ににhogeそのものが返ってくるって情報はどこにあるんだろう？＞＜
fugaというものが返ってくるのでは？って考えるかも＞＜

enumと言うか列挙型、Pascal一族でも使われまくりかも＞＜ 部分集合型があるからさらに大活躍かも＞＜

うん＞＜； オレンジもAda大好き（ほとんど使った事無いけど）ってくらいだしそう考えるし、その前の話的にはboolならって書いたじゃん？＞＜；( https://mstdn.nere9.help/@orange_in_space/101266265618556686 )
その上で、金具さんの案はどうなのって・・・＞＜

その上で、金具さんの案だと、オレンジの例示で言うintが帰ってくるわけだよね？＞＜ hoge.fuga()なprocedureだった物でhogeを返して欲しいって事なんだから＞＜

で、intにint int.TryIncrement()みたいなのがあったらとんでもなく混乱するかも＞＜
int x=3;
int y=x.TryIncrement();
ってしたあとにxはどうなってるのかわけわからんってなるかも＞＜（xが文字通りインクリメントされて破壊されて4になった？＞＜ それともyに4が入るだけでxは3？＞＜ ていうかそもそもTryIncrement()が返すのは結果なのか、それとも何らかの勝手な定義による成否の表現？＞＜（例えば0なら成功とか））

あいまいな表現になるけど＞＜；
オレンジ的には、その関数が示しているものをなるべく返して欲しいみたいな感覚があるかも＞＜
例えば変な例示かもしれないけどTryIncrement()って関数があってboolが返ってくるのであれば、（不可能な場合がある状態で）インクリメントしてみて出来たかどうかを返すのかも？＞＜（論理の正負はわからん）って解釈するかも＞＜

なんでそうなるかと言うと、（計算機の）状態が「必ず変化しない」procedureなんて、中の処理が実際には空っぽとかじゃなければありえないだろうし＞＜

例えばfugaってprocedureとint piyo(int x);ってfunctionを持つhogeがあったとする＞＜
int a=hoge.piyo(x);
hoge.fuga();
int b=hoge.piyo(x);
ってした時に、よりaとbという結果が異なる可能性が高くなるよね？＞＜；
より参照透過性（？）が危険にさらされる（？）場面である可能性が高くなると看做せる（？）というか・・・＞＜（状態を持つのであれば保障は出来ないのは当然として＞＜）