Existe alguma linguagem de programação específica para desenvolvimento
de jogos eletrônicos?
Não. Simplesmente porque não há requisitos únicos ou especiais ao se desenvolver jogos que requereriam uma linguagem de programação específica. De fato, a sua pergunta poderia ser refeita para qualquer domínio de problema e a resposta provavelmente continuaria sendo "não". Por exemplo:
- existe linguagem de programação específica para desenvolver sistemas de supermercado?
- existe linguagem de programação específica para desenvolver tags rastreadoras de gado?
Dependendo do domínio do problema pode ocorrer de existir uma linguagem específica porque ela é proprietária, isto é, criada pelo fabricante de um certo equipamento de hardware e, portanto, necessária para uso nesse equipamento. Mas eu diria que isso é raro de ocorrer porque:
- os fabricantes não desejam ter esse esforço (de tempo e dinheiro)
- os fabricantes desejam que os fornecedores e clientes interessados em usar seus equipamentos o façam com facilidade
É por isso que é comum, mesmo em domínios de problema envolvendo hardwares específicos, que se use linguagens portáveis e já conhecidas como C, C++ e até mesmo Assembly, com a provisão de no máximo um SDK (Software Development Kit) específico para a plataforma.
No caso de jogos, os consoles (PlayStation, XBox, Nintendo, ...) são os equipamentos e por isso é bem comum que o desenvolvimento de sistemas (os jogos!) para eles seja executado em C++ ou Java com o auxílio de SDKs dos fabricantes.
Uma linguagem que seja otimizada de alto desempenho para usar
instruções de processamento de mídia, que seja vinculada à GPU?
Depende do que você quer dizer com "otimização de alto desempenho". Se a linguagem for compilada (caso de Assembly, C, C++, por exemplo) ou utilizar recursos de compilação dinâmica (como o Just-In-Time no Java, por exemplo), seu desempenho vai ser o melhor possível na máquina considerando as soluções implementadas pelo programador.
O uso de GPU não necessariamente depende da linguagem. DirectX e OpenGL fazem justamente essa ponte em se tratando da manipulação e renderização de gráficos. Eu digo "não necessariamente" porque há "linguagens" (vamos chamar assim) voltadas ao uso da GPU para a computação paralela, e que, portanto, não tem nada a ver com um domínio de problema específico.
Cuda, por exemplo, é a "linguagem" (que na verdade está mais para uma plataforma desenvolvida em cima do C/C++) da NVIDIA para a solução de problemas com natureza intrinsecamente paralela (por exemplo, a soma de dois vetores, cujos itens podem ser somados em kernels concorrentes) com altíssimo desempenho. Ela explora a GPU para realizar esse processamento de forma concorrente e a linguagem é construída de forma a abstrair do programador o parelelismo e a consolidação dos resultados (exemplos aqui). Ela pode ser usada em jogos? Claro! Não somente para a renderização de elementos gráficos, mas também para a Inteligência Artificial e qualquer outro problema que se beneficie de paralelismo. Mas veja como não é algo específico para esse domínio de problema.
Eu sei que muitos vão dizer que quando se fala em jogos se fala em
C++, mas essa é uma linguagem de propósito geral, eu queria saber se
existe algo realmente específico para área de games e mídia em geral.
Não quero saber a respeito de bibliotecas gráficas nem nada do tipo,
eu quero saber de uma linguagem.
C++ é muito utilizada porque é muito conhecida e porque é bastante difundida em diversas plataformas de hardware. Há inúmeras outras que podem ser utilizadas. Java é bem comum também. Python, como mencionaram em comentários, está se tornando cada vez mais comum. Só que, como eu respondi antes, nenhuma delas é específica para jogos e dificilmente vai haver uma porque não há necessidade.
Você diz que não tem interesse em saber de bibliotecas gráficas nem "nada do tipo". Mas aí está justamente o cerne da questão: o que os jogos realmente se diferenciam de outros problemas é nas suas necessidades. E eu não estou falando apenas de gráficos. A física é uma importante necessidade de muitos jogos, envolvendo a detecção de colisões (quando um objeto "toca" outro) e até mesmo a simulação de efeitos naturais como gravidade, atrito, torque, etc.
Mas existe linguagem específica para isso? Não. O C++ é muito utilizado na construção de bibliotecas que auxiliam nesse desenvolvimento, mas há bibliotecas com diversas linguagens. O mesmo vale para Inteligência Artificial, comunicação em redes, simulação de luz e sombras, processamento de imagens (captura a partir de câmera), processamento de som (desde simplesmente "tocar" músicas e efeitos sonoros, até a simular variações de percepção com relação a obstáculos e tipos de materiais obstrutores), e por aí vai.
Existe alguma pesquisa científica nessa área? Algum projeto em
desenvolvimento, ou até mesmo um protótipo?
Se você fala sobre pesquisa científica a respeito da criação de uma linguagem específica para jogos, eu acho que não existe. Creio que não há muitas pessoas interessadas em empregar esforços na criação de mais uma linguagem, pelos argumentos colocados até então. O que há, na verdade, é muito esforço para criar linguagens mais palatáveis (leia como "fáceis de usar para um público não-especializado"), principalmente para crianças. O Scratch (do MIT), por exemplo, é bem famoso e usa uma abordagem visual. Embora possa ser considerado uma nova "linguagem" (isso é um tanto polêmico), e tenha sido usado em motores/bibliotecas como, por exemplo, o Stencyl, ele não é específico para jogos! Você pode construir qualquer coisa com uma linguagem desse tipo. O Stencyl é bem mais voltado para jogos por ser um ambiente com muitas das necessidades de jogos prontas (detecção de colisão, animação, etc), e por isso está mais para uma biblioteca do que pra uma linguagem.
Tela de um exemplo feito no Scratch:
Do ponto de vista da indústria, o que existe mesmo é uma enorme proliferação de motores de jogos (engines), tal como o Stencyl. A unity3d é uma das mais famosas, mas a lista é enorme.
Um adendo importante
Tudo o que foi mencionado acima está relacionado à programação de jogos. Vale lembrar que a palavra "desenvolvimento" é ampla e genérica demais, e não inclui apenas a programação. O desenvolvimento de jogos inclui também o planejamento de tarefas, a publicidade, venda, etc, e principalmente, o Game Design: o processo de concepção do jogo em termos de seus objetivos, condições de término, vitória e derrota, fases, elementos artísticos, elementos mecânicos (regras e como ações se mapeiam em resultados), métodos de interação, experiências emocionais esperadas, etc. Sei que a sua pergunta não envolvia todos esses aspectos, mas há também estudos a respeito de linguagens para a formalização do Game Design.
A formalização do Game Design (necessária não apenas para a documentação e entendimento do "problema", mas também para a comunicação entre membros do time, stakeholders, clientes, etc) é comumente feita de forma livre (com o tal do GDD - o Game Design Document). Porém, há quem trabalhe em formalismos para a descrição de mecânicas, por exemplo.
Por exemplo, um colega na Universidade de São Paulo propôs uma linguagem para a análise e especificação de mecânicas elementares (que ele chamou de "componentes") em jogos. Informações do trabalho dele podem ser encontradas neste artigo.
Observe, porém, que essa discussão é bem mais polêmica. O processo de Game Design é bastante criativo, e por isso mesmo produzindo um sistema de software, há quem diga que tentativas de formalizar regras só servem para analisar jogos existentes ou fazer variações e combinações destes, mas dificilmente seriam úteis para a construção de novos jogos, com temáticas e mecânicas inovadoras.