Ho cercato di capire come implementare i tipi di dati codificati da Church in Scala. Sembra che richieda tipi di rank-n poiché è necessaria una funzione di prima classe const di tipo forAll a. a -> (f
Ho appena fatto i cruciverba regex divertenti a http://regexcrossword.com/ - e ho scoperto che non capisco cosa significhi gruppi quantificatori, ad es. (.) (.) + O * mi permetta di provare a http://o