Comments on: Passagem de Parâmetros em Python

By: Henrique

Henrique — Sat, 26 Sep 2009 22:05:57 +0000

Sobrecarga de métodos é uma muleta para as limitações da tipagem estática, onde você reescreve o mesmo método várias vezes para acomodar novos tipos. Em tipagem dinamica, aprenda a usar Duck Typying.

def aceitafilelike(stream): if hasattr(stream, 'write') and hasattr(stream, 'close'): stream.write('Teste') return stream.close() else: raise ValueError

Vai aceitar qualquer objeto File ou que implemente a mesma interface, e vai continuar funcionando para objetos de outros tipos que voce ainda nem conhecia quando implementou isso.

E mais uma questao de aprender a pensar diferente com linguagens dinamicas.

By: Bruno

Bruno — Mon, 01 Jun 2009 14:24:28 +0000

Bom, o próprio GvR considerou seriamente a possibilidade adicinar a declaração de tipos, de uma maneira opcional… isto diz muita coisa.

By: Tarantula

Tarantula — Mon, 01 Jun 2009 01:03:03 +0000

Trabalho com Python já há mais de 5 anos e nunca senti falta de tipagem estática.

By: Bruno

Bruno — Tue, 26 May 2009 22:49:23 +0000

E olha que interessante, GvR sugere o uso de decorators para criar automaticamente o código para as tais dispach tables que o Miguel citou:

The overloaded decorator could build a multimethod dispatched based on the call signature. That's probably quicker than decoding the types by hand from a varargs argument...

By: Bruno

Bruno — Tue, 26 May 2009 22:40:18 +0000

O próprio Guido coloca de uma maneira bem honesta os prós, contras e desafios que ele encontrou imaginando esta alteração na linguagem: http://www.artima.com/weblogs/viewpost.jsp?thread=85551

E já que que o artigo é de 2004, seria legal saber o que mudou na cabeça dele deste então.

By: Bruno

Bruno — Tue, 26 May 2009 22:33:49 +0000

Uma opção menos radical seria o uso do http://pychecker.sourceforge.net/

By: Raphael Lullis

Raphael Lullis — Tue, 26 May 2009 16:40:50 +0000

Tio, pára de reclamar:

Quer Python com tipo declarado? Então, toma.

By: Thiago Bartolomei

Thiago Bartolomei — Tue, 26 May 2009 13:56:56 +0000

Eu gosto de tipos. Eu programo a maioria do tempo em Java e quando programo em Ruby eu sinto falta, principalmente pra entender código alheio (ou antigo) ou, como você disse, quando quero sobrecarregar um método. O que acabo fazendo é um método com vários parâmetros opcionais, o que fica bem feio.

Mas Java é um exagero. Cada vez que eu faco algo como:

String s = "Uma String";

List list = new ArrayList();

eu me irrito profundamente. É óbvio que s é uma String. E pra que escrever 2 vezes "Integer"?

Está na minha lista de TODO aprender Scala. Pelo pouco que vi, eles tem tipagem estática como Java, mas o compilador tenta ao máximo inferir os tipos que você não escreve. Nesse caso, por exemplo, não precisaria avisar que s é uma String, e é óbvio que a ArrayList é de Integer, então imagino que você não precisaria escrever (não sei Scala, então não sei se type inference funciona com generics, mas eu acredito que sim). Quando por algum motivo o compilador não consegue inferir o tipo, ele reclama e pede pra você dar mais informações.

Me parece ser um bom trade-off, pois o código fica mais limpo e ainda assim é totalmente tipado estaticamente.

Outra linguagem interessante é aquela Duby, do mesmo cara que mantém o JRuby. A idéia é fazer uma linguagem com gosto de Ruby mas que seja eficiente na JVM (já que Ruby tem algumas features que fazem com que o bytecode gerado seja muito defensivo, atrapalhando a performance). Eles também tem type inference como Scala. Pena que não fizeram nenhuma release ainda...

[]s Bart

Links:

Intro to Scala Type Inference

http://www.scala-lang.org/node/127

Duby Language

http://kenai.com/projects/duby/pages/Home