if-else ramificación en clojure

Question

estoy enseñando a mí mismo Clojure.

En un lenguaje no-FP, que podría fácilmente lo suficiente contra escritura si anidado de, y si no puse específicamente una persona, entonces el control se acaba de fluir fuera del bloque if. Por ejemplo:

Thing myfunc() 
{ 
    if(cond1) 
    { 
    if(cond2) 
     return something; 
    } 
    return somethingelse; 
} 

Sin embargo, en Clojure, no hay ninguna instrucción de retorno (que yo sepa), por lo que si escribo:

(defn myfunc [] 
    (if (cond1) 
     (if (cond2) something)) 
    somethingelse) 

entonces no hay "vuelta" en "algo". Parece que solo digo, vale, aquí tenemos un valor, ahora sigamos ejecutando. La solución obvia sería combinar las condiciones, es decir .:

(if (and (cond1) (cond2)) 
    something 
    somethingelse) 

pero ahora se pone difícil de manejar/fea para condiciones de gran tamaño. Además, tomaría una trampa adicional agregar una declaración a la parte "else" de cond1. ¿Hay algún tipo de solución elegante para esto?

Answer 1

Ésta es la sutil diferencia entre el enfoque imperativo y funcional. Con imperativo, puede colocar return en cualquier lugar de la función, mientras que con funcional la mejor manera es tener vías de ejecución claras y explícitas. Algunas personas (yo incluido) prefieren este último enfoque también en la programación imperativa, reconociéndolo como más obvio y manejable, y menos propenso a errores.

Para hacer esta función explícita:

Thing myfunc() { 
    if(cond1) { 
    if(cond2) 
     return something; 
    } 

    return somethingelse; 
} 

Usted puede refactorizar a:

Thing myfunc() { 
    if(cond1 && cond2) { 
     return something; 
    } else { 
    return somethingelse; 
    } 
} 

En Clojure, su equivalente es:

(defn myfunc [] 
    (if (and cond1 cond2) 
     something 
     somethingelse)) 

Si necesita un "else ", su versión de Java podría llegar a ser:

Thing myfunc() { 
    if(cond1) { 
    if(cond2) { 
     return something; 
    } else { 
     return newelse; 
    } 
    } else { 
    return somethingelse; 
    } 
} 

... y su equivalente Clojure:

(defn myfunc [] 
    (if cond1 
     (if cond2 something newelse) 
     somethingelse)) 

Answer 2

(if (and (cond1) (cond2)) 
    something 
    somethingelse) 

(cond 
    (and (cond1) (cond2)) something 
    :else somethingelse) 

cond hace hacer esto si se quiere comparar la misma cosa; en una caja de interruptores puede usar condp.

no veo ese tipo de código muy a menudo, pero esa es la manera de hacerlo.

Answer 3

No hay ninguna instrucción de retorno explícito en Clojure, pero su código será "volver" sobre "algo", ya que no tiene ninguna expresión después de que if y en Clojure el resultado de la última expresión se utiliza como la función de valor de retorno.

Answer 4

Imperativo Los lenguajes tienen sentencias if que dicen if this then do that else do that y los lenguajes funcionales tienen if-expressions que dicen if this return that else return this. es una forma diferente de ver la misma idea, que refleja un enfoque muy diferente para expresar problemas. en lenguajes funcionales todo tiene un valor, realmente todo, incluso si usted no hace nada con ese valor.

cuando estaba haciendo la transición que ha ayudado mucho a hacer a mi mismo "¿qué resultado debe esta función de retorno" en lugar de la pregunta "¿qué deben hacer esta función" que yo estaba acostumbrado a preguntar.

Answer 5

También es posible usar la macro (cond):

(defn length-checker [a b] 
    (cond 
    (= 3 (count (str a))) (if (= 3 (count (str b))) 
        (println "both numbers are 3 digits long") 
        (println "first number is 3 digits, but the 2nd not!")) 
    :else (println "first- or both of the numbers are not 3 digits")))