Գրեք սա: Recent trends in data type specification :