No, non mi e' mai capitato. Ma quello a cui mi riferisco sono alcuni punti di sovrapposizione tra i due stili. Avere o no i tipi statici produce applicazioni che hanno un stile diverso (in cui la definizione di idiomatico cambia). C'e' ad esempio un piacevole uso di pattern matching coi tipi statici, c'e' un metodo chiaro per la gestione degli effetti etc.

In dinamic typing abbiamo altre cose (nil punning per esempio per me e' una feature) oppure transducers (che io uso a piene mani ma per ragioni storiche hanno avuto poco seguito).

Ora si puo' replicare l'equivalente degli idiomi dei tipi statici in un linguaggio dinamico e viceversa. Ma non si fa perche' il linguaggio ospite non e' adatto ad un idioma che viene da uno stile diverso.

Quello che mi succede in realta' e' che c'e' un 15% di casi in cui, programmando con un linguaggio dinamico, sarebbe bello avere tutta la potenza di pattern matching oppure effects per gestire inner exceptions in nested conditionals. In quel momento e' interessante capire come lo stesso problema e' stato risolto elegantemente con altri stili di linguaggio.

Allora adesso mi ritrovo ad usare piu' volentieri e di frequente core.match ad esempio.