Является ли английский язык формальным языком или нет?

языки не могут быть формальными, верно ведь?

Он может быть таковым, но так же на этом же языке много литературы и поэзии, хоть и нелегко авторам приходилось

Это только один из стилей английского языка.
Формальный или официальный английский. Это стиль английского языка, который используется в письменной форме, в научных трудах, в официальных выступлениях, в правительственных заседаниях и в бизнесе.
Формальный английский — язык бизнеса и науки. Формальный английский — язык бизнеса и науки Формальный стиль используется в официальной обстановке: в этом стиле проводятся конференции и презентации, проходит деловое общение, пишутся документы, научные статьи и книги.
Но есть и бытовой английский. Это большей частью сленг: бытовой, профессиональный, молодёжный.
А вот язык программирования - это несколько иное. Он НЕ предназначен для общения между людьми. Он предназначен для написания программ т.е. только для искусственного интеллекта. Просто традиционно там использовались и используются английские слова. Это объясняется тем, что английский язык самый распространенный в мире. И некоторые слова на английском понимают практически все жители Земли, даже те, кто писать и читать не умеют толком.

Языки делятся на естественные (разговорные) и формальные.

К естественным языкам относят все национальные языки, к формальным — те, которые относятся к специализированной предметной области.

Пример:
английский язык, русский язык, язык мимики и жестов — естественные языки.
Ноты, математические символы, языки программирования — формальные языки.