11

O que é type juggling? Este conceito é relacionado somente com linguagens de tipagem dinâmica como o PHP e o JavaScript?

1 Resposta 1

10

Só conheço o termo sendo usado em PHP. Tem na documentação. O termo provavelmente não poderia ser mais acertado, mas no mal sentido. E a definição ali é mal feita (é PHP, então é normal).

A documentação começa definindo algo que é típico de linguagem dinâmica, e até aí não sei se o termo cabe. Esse início indica que a variável tem o tipo do valor naquele momento. Segundo a teoria dos tipos isso nem é verdade. A variável não tem tipo, ou tem um tipo único com uma tag para um tipo do valor. Quem tem o tipo é só o valor.

Depois a documentação começa falar de coerção e aí o termo parece mais adequado. A linguagem faz um malabarismo para tentar interpretar o que o programador quer fazer e dar algum resultado, mesmo que não seja o que o programador quer fazer. Ele dá um resultado possivelmente errado para não dar erro. Parece ser um caso de inferir algo sem ter certeza, o que pode gerar um falso positivo e causar mais mal do que o bem que se esperava deste recurso da linguagem.

Não é "lindo" uma linguagem que você soma um booleano com uma string e o resultado é um inteiro?

Veja funcionando no ideone. E no repl.it. Também coloquei no GitHub para referência futura.

Pelo menos agora dá um warning.

A coerção limitada que produz um resultado correto sempre não é problema. O juggling é fazer o que pode não dar certo.

Isto é típico de linguagem de script e faz sentido em códigos muito simples. Me desculpe se isso desagrada alguns, mas usar uma linguagem de script para fazer aplicações enterprise é simplesmente usar a linguagem errada, e o fato da linguagem começar colocar recursos de linguagem enterprise sem consertar esses problemas mostra que ela está perdida ou está tentando se salvar em um ambiente que o grosso dos códigos são enterprise e não scripts.

Isto é típico de linguagens de tipagem fraca e não de tipagem dinâmica, um termo que as pessoas confundem bastante.

De fato JS faz algo parecido, mas não vi o termo sendo usado nela. Existem outras linguagens de tipagem fraca que não usam o termo, até porque em muitos casos são um pouco mais controladas, por exemplo C.

6
  • 4
    "Não é "lindo" uma linguagem que você soma um booleano com uma string e o resultado é um inteiro?" Não consegui conter uma gargalhada, haha :D
    – Isac
    18/12/2018 às 11:20
  • 4
    Me lembrou dessa pérola aqui: destroyallsoftware.com/talks/wat :D 20/12/2018 às 17:26
  • @AnthonyAccioly tem muito essas coisas, tem uma cara aqui no Brasil q faz um standup de JS, é sensacional! Não achei online pra linkar, mas tem.
    – Maniero
    20/12/2018 às 17:28
  • Vendo o resto, um dos dois copiou do outro, ou copiaram todos de outra pessoa.
    – Maniero
    20/12/2018 às 17:30
  • O cara que faz esse standup no Brasil é o Rodrigo Cardoso @pokemaobr. A parte de JS evidentemente foi inspirada em uma talk como essa, mas ele tem atualizado e incluído chacotas a outras linguagens e frameworks. :D 13/02/2019 às 13:21

Você deve fazer log-in para responder a esta pergunta.

Esta não é a resposta que você está procurando? Pesquise outras perguntas com a tag .