結局、構文木を一回なぞっただけで型を解決しようとするのは無理とは言い切らないけど辛いと判断、型解決をごそっと書き直すことにしました。まず(1)各項が取りうる型のうち確実なものをリストアップ(複数可)、(2)数値リテラルなどの型を明言できない項を前…

同じこと考える奴多すぎ。なんなんだこの人の波は…。(でも、みなさんゆっくりなので避ける必要が無くていいです) シンボルタワーとやらの展望台にのぼってきました。中は狭いです。http://www.udon-ichi.com/hyakei/hyakei_04_4.htmlあと、入ったうどん屋の…