Ti ringrazio, sei stato molto chiaro. Immaginavo erroneamente che un pin non fisicamente collegato ai 5V fosse sempre a 0V, invece...
Già provando con una resistenza da 10 kOhm tra il pin ed il ground il contatore non impazzisce! Chiaro che l'incremento non è preciso per i classici problemi di rimbalzi, che con il sensore "vero" non dovrebbero esserci.
Il sensore che ho acquistato è questo: https://it.aliexpress.com/item/TZT-NJK-5002C-Effetto-Hall-Interruttore-Del-Sensore-Di-Prossimit-NPN-3-Fili-Normalmente-Aperto-Magne/32922514991.html
Approfitto per un'ulteriore domanda: se volessi calcolare la velocità avrei bisogno del tempo che intercorre tra due impulsi successivi. Sarebbe sufficiente cambiare la funzione richiamata nell'interrupt nel seguente modo?
void contatore() {
delta_t = millis() - t;
a++;
b++;
t = millis();
}
Grazie