Qualcuno sa se utilizzando la restrizione "pattern" nella definizione di un tipo semplice, si può richiedere che una sottostringa appartenga ad un certo tipo già definito?
Ad esempio, se ho un tipo
codice:
GiornoDellaSettimana
, uno
codice:
Giorno
, ed uno
codice:
Mese
, posso definire, tramite pattern, un tipo
codice:
Data
che sia la sequenza di tre stringhe, ciascuna rispondente ad uno dei suddetti tipi? Il risultato dovrebbe essere naturalmente qualcosa del tipo "Lunedì 13 Dicembre".
Se non è possibile con pattern, conoscete qualche altra maniera?
Vi ringrazio tutti.