Я извлек год, день, месяц, час, минуту и секунду из атома даты и времени. Как я могу добавить начальные нули к дню, месяцу, часу, минуте и секунде, где количество цифр меньше 2?
У меня есть что-то вроде этого:
year:string`year$inDateTime;
day:string`dd$inDateTime;
if[1=(count day);day:("0",day)];
month:string`mm$inDateTime;
if[1=(count month);month:"0",month];
hour:string`hh$inDateTime;
if[1=(count hour);hour:"0",hour];
minute:string`uu$inDateTime;
if[1=(count minute);minute:"0",minute];
second:string`ss$inDateTime;
if[1=(count second);second:"0",second];
Но есть ли более чистый способ сделать это?