Messaggi più leggibili con: pre e: post?

Question

In clojure sto usando: pre come questo

user=> (defn cannot-take-empty [x] {:pre [((complement empty?) x)]} 1) 
#'user/cannot-take-empty 
user=> (cannot-take-empty #{}) 
AssertionError Assert failed: ((complement empty?) x) user/cannot-take-empty (NO_SOURCE_FILE:186) 

che è grande, ma non spiega il motivo per cui affari che non ha senso passare in un insieme vuoto. (O una collezione con più di cinque elementi, o una collezione che ha due chiavi presenti ma non un'altra, o qualunque sia la regola del giorno.) Questo è potenzialmente ancora più confuso per l'utente se la precondizione utilizza una funzione privata.

C'è un modo per fornire un feedback più utile all'utente come un messaggio di errore, quando si utilizza: pre e: post?

Answer 1

Apparentemente le condizioni pre e post sono progettate per gli use case in cui riportare le clausole fornisce informazioni sufficienti allo sviluppatore, vale a dire che è auto-esplicativo. Se si desidera fornire ulteriori spiegazioni, è idiomatico utilizzare assert.

Ma si può abusare del fatto che l'intera condizione viene sempre riportata ad es. in questo modo:

{:pre [(do "It can't be empty because of..." 
      (seq x))]} 

E riporterà qualcosa come

AssertionError Assert non riuscita: (fare "non può essere vuoto perchè di ..." (ss x)) ...