>>407
floatなら無限大(NaNだけど)があるから、a=a+2の解はある。

>>417
普通にあるぞ。
realtime, multi-thread, packageを含めた論理型言語。
static analysisでも利用されてるし。

>>420
LETはもともと文の最初のtokenを見て、
文の種類を決める事ができるように導入されたが、
構文解析の技術が上がって必要なくなった。