Che tipo di file di estensione è GIF?

GIF sta per formato di interscambio grafico . È un formato di file comunemente usato per immagini animate .

Quindi, il file di estensione per un'immagine GIF è .gif .

• Qual è la differenza tra un'app ed estensione? 
• Una console viene salvata in un file con che tipo di estensione?