19
Sformatuj mikrosekundy jako godziny: minuty: sekundy itp
Poniższe inspirowane jest pytaniem, które pojawiło się dzisiaj na Stack Overflow . Biorąc pod uwagę liczbę mikrosekund, 0 <= n <= 86400000000(np. 12345678900), Wypisuje sformatowany ciąg hh:mm:ss:000:000, np 03:25:45:678:900. 0 -> '00:00:00:000:000' 12345678900 -> '03:25:45:678:900' 86400000000 -> '24:00:00:000:000' Mam rozwiązanie w Pythonie w 209 bajtach, ale czy może być niższe?