Програма

У вас є два рядки, A і B . A - це поточне положення, на якому знаходиться ваш таймер, а B - положення, на якому ваш таймер зупиниться. Обидва рядки у форматі m: ss . Ви повинні написати програму, яка визначає кількість часу, що залишилося, і яке також слід відформатувати як m: ss або mm: ss .

Приклад

0:00 0:01 -> 0:01
0:55 1:00 -> 0:05
1:45 3:15 -> 1:30

Excel, 6 байт

=B1-A1

Припустимо, що A знаходиться в клітині, A1а B - у клітиніB1

MATL , 17 7 байт

YOd15XO

Введення - це масив комірок рядків у формі {'1:45' '3:15'}або {'1:45', '3:15'}.

Спробуйте в Інтернеті!

Пояснення

YO     % Input cell array of strings (implicit). Convert to serial date numbers
d      % Difference
15XO   % Convert to format 15, i.e. 'HH:MM'. Display (implicit)

Bash + coreutils, 44 39 байт

tr : \ |dc -e?r60*+r-r60*-60~rn58PA~rnn

Спробуйте в Інтернеті!

Пояснення: використання "1:45 3:15" в якості тестового випадку (останній приклад). Я показую посередницькі кроки в цитатах.

tr : \ |         # replace colons with spaces: "1 45 3 15"
dc -e?           # start dc script, push input to LIFO stack: "15 3 45 1"
     r60*+            # turn time B to total seconds: "195 45 1"
     r-r60*-          # turn time A to total seconds and get difference: "90"
     60~r             # turn difference (time left) to minutes and seconds: "1 30"
     n58P             # pop and print minutes, print colon (ASCII code 58): "30"
     A~rnn            # print seconds. Padding with zeroes is done by dividing by
                      #10 (A), and printing the quotient and the remainder.

Зауважте, що я не перевіряю, чи потрібно хвилинне значення нульової прокладки, оскільки в ОП вказано, що максимальне значення mстановить 9.

Нижче наведена моя оригінальна відповідь на 44 байти, яка використовувала dateкоманду для повернення загального часу, що залишився в секундах, до m:ssформату.

date -d@`tr : \ |dc -e?r60*+r-r60*-p` +%M:%S

Python 2, 90 87 83 80 байт

Приймає вхід як "2:45","5:01".

a,b=[60*int(s[-5:-3])+int(s[-2:])for s in input()]
print'%d:%02d'%divmod(b-a,60)

Спробуйте в Інтернеті

c, 86

f(a,b,c,d){scanf("%d:%d%d:%d",&a,&b,&c,&d);d+=(c-a)*60-b;printf("%d:%02d",d/60,d%60);}

Читає від STDIN разів розділені місця.

Спробуйте в Інтернеті .

Пакет, 74 байти

@set t=%2-(%1)
@set/as=%t::=*60+1%,m=s/60,t=s/10%%6
@echo %m%:%t%%s:~-1%

Заміна часу :в часі *60+1перетворює його на вираз, який обчислює кількість секунд. Batch інтерпретує провідні нулі як восьмеричні, тому я передбачу a 1до секунд, щоб забезпечити десяткове перетворення; на щастя, двоє 1скасують.

C, 112 100 байт

Дякуємо @betseg за збереження 11 байт і спасибі @Johan du Toit за збереження одного байта!

i,j;f(char*a,char*b){i=atoi(b)-atoi(a);j=atoi(b+2)-atoi(a+2);j<0?i--,j+=60:0;printf("%d:%02d",i,j);}

Спробуйте в Інтернеті!

MySQL, 13 22 байти

select right(timediff(B,A),5)

очікує часів в Aі B.

Утиліти Bash + GNU, 43

date -d@`date -f- +%s|dc -e??r-60/p` +%M:%S

Спробуйте в Інтернеті .

Пояснення

         date -f- +%s                        # read in 2 line-delimited dates and output as number of seconds since the epoch
                     |dc -e                  # pipe to dc expression:
                           ??                # - read 2 input numbers
                             r-              # - reverse and subtract
                               60/           # - divide by 60
                                  p          # - output
        `                          `         # evaluate date|dc command
date -d@                             +%M:%S  # format seconds difference and output

Зверніть увагу, що dcвираз ділиться на 60, тому що dateчитає вхід як H: MM замість M: SS.

ECMAScript 6, 99 91 85 байт

Єдиний рядок:

f=s=>s.split`:`.reduce((a,e,i)=>a+e*(!i?60:1),0);t=n=>~~(n/60)+":"+n%60;t(f(b)-f(a));

Трохи відформатовано:

f=s=>s.split`:`.reduce((a,e,i)=>a+e*(!i?60:1),0);
t=n=>~~(n/60)+":"+n%60;
t(f(b)-f(a));

Я відчуваю, що там можуть бути якісь заощадження .. але я їх зараз не бачу.

Редагувати - відмінні пропозиції в коментарях.

PHP, 55 53 байти

<?=date('i:s',($s=strtotime)($argv[2])-$s($argv[1]));

приймає дані з аргументів командного рядка

C #, 72 байти

using System;a=>b=>((DateTime.Parse(b)-DateTime.Parse(a))+"").Remove(5);

Приймає введення як рядки. b="3:15" a="1:45".

Пояснення:

Оскільки DateTime.Parse()повертає дату у hh:mm:ssформаті, я можу проаналізувати результат у рядку за допомогою +"", а потім обрізати трейлінг :00.

Це спрацьовує з hh:mmтим, що є і 60 секунд за хвилину і 60 хвилин за годину.

0:01 0:00 повертає 0:01

1:00 0:55 повертає 0:05

3:15 1:45 повертає 1:30

Ребол, 5 байт

b - a

Припускаючи, що я не пропустив жодних правил ..

Rebol має вбудовану арифметику для декількох буквальних типів даних. Це стосується і його нащадків, таких як Червоний

Піта, 47 45 44 40 байт

J.U-Zbm+*60hdedmmvkcd\:.z%"%d:%02d".DJ60

Бере введення, розділене новими рядками.

Pyth не мав корисних для цього вбудованих програм. Я спробував деякі фантазійні речі eval (), але, мабуть, Pyth не може оцінити речі з *будь-якими провідними нулями. Це стало набагато довше, ніж я сподівався. Досить кілька байт витрачається на додавання до виводу початкового нуля. Принаймні я коротший за баш. Якщо запитання буде додано пояснення

Спробуйте це!

альтернативне рішення, 48 байт

J.U-Zbm+*60hdh_dmmvkcd\:.z
K%J60
s[/J60\:*<KT\0K

Хаскелл, 98 127 86 байт

r(m:_:s)=60*read[m]+read s
a#b|(d,m)<-divMod(r b-r a)60=show d++':':['0'|m<=9]++show m

Спробуйте в Інтернеті!

Але мені цікаво, чи є для цього якісь функції бібліотеки

EDIT: Видалено імпорт, також виправлено помилку, де він показав m: s замість m: ss

Також добре відформатована версія:

convert :: String -> Integer
convert (a:_:b) = (read [a])*60+(read b)

diffTime :: String -> String -> String
diffTime s1 s2 = let (d,m) = divMod (c b-c a) 60 in show d ++ ":" ++ pad2d m

pad2d :: Int -> String
pad2d n = ['0'|n<=9]++show n

EDIT2: Гольф (30?) Байтів завдяки Laikoni! Також гольф деякі інші. байт

T-SQL, 238 байт

CREATE PROCEDURE d @a time,@b time AS BEGIN DECLARE @d int DECLARE @s varchar(2) SET @d=datediff(s,@a,@b);SET @s=CAST(@d%3600/60 AS VARCHAR(3)) SELECT CAST(@d/3600 AS VARCHAR(3))+':'+(SELECT CASE WHEN LEN(@s)=1 THEN '0'+@s ELSE @s END)END

Використання:

EXEC d '00:55','01:00'

Раніше, побачивши приклад PostGres, я зрозумів, що не бачив багатьох спроб гольфу в SQL, тому перейшов до нього в T-SQL. Тепер я знаю, чому ви не бачите великого гольфу в SQL: D

CJam , 34 33 25 байт

Збережено 8 байт завдяки Мартіну Ендеру!

{r':/60b}2*\m60mds2Te[':\

Спробуйте в Інтернеті!

Пояснення

{             e# Start of block
 r            e#  Read one time from input
 ':/          e#  Split on colons, gives [minutes seconds]
 60b          e#  Convert from base 60
}2*           e# Run this block 2 times
              e# At this point, we have the two times in seconds on the stack
\             e# Swap top elements
m             e# Subtract
60md          e# Divmod the result by 60, to convert back to minutes and seconds
s             e# Convert the seconds to a string
2Te[          e# Pad it to 2 characters by adding 0s to the left (T = 0)
':            e# Push a colon character
\             e# Swap top elements, bringing seconds back to the top

T-SQL, 82 байти

select left(cast(dateadd(minute, datediff(S,'0:00','0:01')/60,114) as time(0)), 5)

Пітон, 160 байт

Я все ще нова в коді гольфу, тому, якщо хтось має якісь пропозиції, я би вдячний.

a, b = input()
def z(x):
    x = x.split(":")
    return int(x[0])*60+int(x[1])
a, b = z(a),z(b)
s, m = b-a,0
while s >= 60:
    s -= 60
    m += 1
print(str(m)+":"+str(s))

REXX, 79 байт

arg t q
say right(time(,f(q)-f(t),s),5)
f:return time(s,'00:'right(arg(1),5,0))

Піт, 28

%"%d:%02d".Dh.+misMcd\:60Q60

Спробуйте .

Пояснення

                   cd\:      # lambda to split c on ":"
                 sM          # map to convert string to int
               mi      60Q   # convert from base-60 list to give seconds
             .+              # delta of the two seconds values
            h                # single-item list to int
          .D              60 # divmod by 60
%"%d:%02d"                   # format output

Java 7, 164 байти

String c(String a,String b){long s=x(b,1)-x(a,1)+(x(b,0)-x(a,0))*60,m=s%60;return(s/60)+":"+(m>9?m:"0"+m);}long x(String s,int i){return new Long(s.split(":")[i]);}

Пояснення:

String c(String a, String b){       // Method with two String parameters and String return-type
  long s = x(b,1) - x(a,1)          //  Get difference in seconds from input times
           + (x(b,0) - x(a,0)*60,   //   plus the difference in minutes times 60 to get the seconds
    m = s%60;                       //  Temp variable of seconds after we've subtracted the minutes (used multiple times)
  return (s/60)                     //  Return minutes
    +":"                            //   plus ":"
    +(m>9?m:"0"+m);                 //   plus seconds (with a leading 0 if necessary)
}                                   // End of method

long x(String s,int i){             // Separate ethod with String and Integer parameters and long return-type
  return new Long(s.split(":")[i];  //  Return either minutes or seconds of String parameter based on the index
}                                   // End of method

Код тесту:

Спробуйте тут.

class M{
  String c(String a,String b){long s=x(b,1)-x(a,1)+(x(b,0)-x(a,0))*60,m=s%60;return(s/60)+":"+(m>9?m:"0"+m);}long x(String s,int i){return new Long(s.split(":")[i]);}

  public static void main(String[] a){
    M m = new M();
    System.out.println(m.c("0:00", "0:01"));
    System.out.println(m.c("0:55", "1:00"));
    System.out.println(m.c("1:45", "3:15"));
  }
}

Вихід:

0:01
0:05
1:30

TXR Lisp, 101 байт

$ txr -e '(awk (:let (s "%M:%S"))
               ((mf (time-parse s))
                (prn (time-string-local (- [f 1].(time-utc) [f 0].(time-utc)) s))))'
13:49 14:49 
01:00
0:13 1:47
01:34
5:01 5:59
00:58
6:00 6:00
00:00
6:00 5:00
59:00

Конденсований: (awk(:let(s"%M:%S"))((mf(time-parse s))(prn(time-string-local(-[f 1].(time-utc)[f 0].(time-utc))s))))

Рубін , 91 байт

require'time';t=Time;d=t.parse($*[1])-t.parse($*[0]);puts t.at(d.to_i).utc.strftime '%H:%M'

Спробуйте в Інтернеті!

Приймає дані з аргументів командного рядка.

Виклик:

ruby outatime.rb $A $B

Приклад:

ruby outatime.rb 1:45 3:15

Вихід:

01:30

PowerShell 47 байт

param($s,[timespan]$f)($f-$s).ToString("h\:mm")

Простий математичний проміжок часу та покриття для години та секунди.

JavaScript, 88 байт

a=>b=>{c=a.split`:`,d=b.split`:`;return +c[0]-d[0]-d[1]>c[1]?1:0+":"+(+c[1]+60-d[1])%60}

Спробуйте в Інтернеті!

Пояснення:

Розділяє вводи на товсту кишку

c=a.split`:`,d=b.split`:`;

Перетворює рядок в int

+c[0]

Отримує значення хвилини

+c[0]-d[0]-d[1]>c[1]?1:0

Отримує друге значення

(+c[1]+60-d[1])%60

Повертає рядкові хвилини: секунди

return +c[0]-d[0]-d[1]>c[1]?1:0+":"+(+c[1]+60-d[1])%60