6calore
1risposta
Corrispondenza/i pattern sovrapposti - Pattern matching sugli operatori
31calore
4risposta
Unisci più spazi in spazio singolo; rimuovere gli spazi finali/iniziali
5calore
3risposta
Scala: meglio nidificato condizione multipla controllo
10calore
1risposta
È possibile utilizzare le protezioni nella definizione della funzione in idris?
8calore
2risposta
5calore
1risposta
In che modo la corrispondenza del pattern di Scala Cons determina la testa e la coda di un elenco?
8calore
1risposta
pattern matching Argomenti funzione
7calore
1risposta
Scala riferimento a un oggetto di cattura pur utilizzando estrattori
12calore
1risposta
I sinonimi di pattern portano a pattern matching non esaustivo
6calore
1risposta
testa :: pattern matching coda per le stringhe