02/02/22 19:53
>>27 やってたやってた、蓬莱軒行った奴がそういうテーマ。
なんか、プログラムの停止性と関連付けて、
停止する関数と停止しない関数に分けるのかな？
多相型と関連付けると、ちいと面倒な結果になりそう...
＃真面目に調べたことないけど
02/02/22 19:53
>>27 やってたやってた、蓬莱軒行った奴がそういうテーマ。
なんか、プログラムの停止性と関連付けて、
停止する関数と停止しない関数に分けるのかな？
多相型と関連付けると、ちいと面倒な結果になりそう...
＃真面目に調べたことないけど