動的型チェックの言語の場合、
実行されなかったelse節の中に、
型エラーが残っているかも知れません。
静的型チェック＋REPLならこういう問題はないですが。