Uma maneira simples seria usar o comando GNU time
.
/usr/bin/time python test.py
/usr/bin/time /bin/sh -c 'ghc -o test test.hs; ./test'
/usr/bin/time /bin/sh -c 'gcc -o test test.c; ./test'
Para normalizar o início do shell, eu também adicionaria um /bin/sh -c
ao comando python.
time
tem muitas opções para formatar a saída e incluir memória, E / S e outros detalhes na saída. Veja man time
para detalhes.
Há também um bash time
embutido que pode ser usado como:
time python test.py
time { ghc -o test test.hs; ./test; }
time { gcc -o test test.c; ./test; }
Ele vai te dar os horários, mas eu não tenho certeza se tem opções para memória e E / S também.