Não diria favorito, acho que nem mesmo pode ser chamado paradigma de programação. Mas a forma como programas em Ada são estruturados é facinante.

Para aqueles que nunca viram. A foma como programas são criados em Ada é desenvolvimento tipos específicos para cada domínio, especificando os limites do problema por meio deles.