Теорія мов програмування – Інші мови