Hola!
Haciendo un parcial viejo me surgió la siguiente duda.
Si yo tengo la función inf = 1 + inf y considero la sentencia x > inf para un x cualquiera dado por parámetro, cómo se comporta el evaluador en este caso? Yo supongo que primero evaluará un paso de inf pues necesita un valor comparable, a lo que queda x > 1 + inf, pero estos valores ya no son comparables, no?
Por otro lado una sentencia similar es x < inf, y aquí me surge otra duda. Qué pasa si x = 1? Por ejemplo, habría que evaluar 1 < inf y luego 1 < 1 + inf, y aquí entiendo que aún no se puede comaparar, por lo que da otro paso a 1 < 1 + (1 + inf), y aquí sí se cumple la condición.
Espero no haber mareado con todo esto. Lo que quiero saber es cómo se comporta el evaluador en ambos casos.
Saludos.