A pak že python není silně typový ! (diskuse)

[paranoiq]

i když python ovládám, dalo mi to zabrat :)

překlad: Proměnná Typ není typu TypeType.

pro neznalé: v pythonu má i typ svůj typ - TypeType

[Bluebear]

Vím, že to není nijak originální, ale sugeruje to otázku, zda i typ TypeType má svůj typ TypeTypeType a tak dále?

[Petr Mach]

Ne, to je prece blbost a neni k tomu duvod, typ typu je TypeType, takze i typ TypeType je TypeType a tim to hasne.

>>> type(1)
<type 'int'>
>>> type(type(1))
<type 'type'>
>>> type(type(type(1)))
<type 'type'>

[Kyosuke]

Hmm, je to blbost a není k tomu důvod, takže metatřídy ve Smalltalku jsou asi pro srandu králíkům.

[Michal Vyskočil]

Jenže Python není Smalltalk a mám dojem, že o něm Guido v době, kdy vytvářel Python, neslyšel . Nebo slyšel, ale nelíbil se mu.

[Kyosuke]

Asi slyšel, ale neinspiroval se. Jenže Guidovi nešlo o konzistenci a neexistenci hluchých míst v logice, takže ho to asi moc netrápilo. Mám trošičku pocit, že Python podobně jako Java trošičku přerostl ze svého původního účelu. „Jde to“, ale je to při práci trošku cítit. Jak už jsem možná jednou řekl, takový ekvivalent achondroplasie. V Ruby to začalo taky trošku smrdět, tak se Matz zarazil a snaží se přijít na to, jak (z pohledu syntaxe) odstranit nedostatky, tedy aspoń v rámci praktických možností. (Třeba oddělit koncepty bindingu a přiřazení v jazyku bez deklarací snad ani nejde, takže se vybere jen to menší zlo, které většině lidí bude vyhovovat.)

[Kyosuke]

Kromě toho, ve chvíli, kdy reaguju na tvrzení typu „metatřídy metatříd jsou blbost a není k nim důvod“, tak pochopitelně reaguju čistě obecně, nikoli pouze v kontextu Pythonu.

[Jary]

Kde jste se dozvěděl o type()? Já se Python učím už nějaký ten pátek a ještě jsem na to nenarazil, takže mě zajímá z čeho se mám učit.

[Kyosuke]

Ano, ptá se na to spousta lidí. Ale to není špatně, naopak – je vidět, že přemýšlíš, protože logická konzistence to opravdu vyžeduje. Autoři Smalltalku se s tím poprali a vymysleli logický a pravidlený systém, ke kterému se mi zatím nepodařilo najít redukovanou variantu, jenž by si i po redukci tuto konzistenci zachovala. Jediná možnost, kterou vidím, je úplně se zbavit tříd. Předpokládám, že Self tohle řešit nemusí, ale na jeho „třídní“ hierarchii (či spíše graf prototypů ) jsem se ještě nepodíval.

[...]

> Ano, ptá se na to spousta lidí. Ale to není špatně, naopak – je vidět, že přemýšlíš, protože logická konzistence to opravdu vyžeduje.

blbost...

[Kyosuke]

„blbost“

Ano, to je dobrý argument. Dávám +5 bodů ke karmě a navrhuji udělení Řádu Konstruktivního Diskutéra.

[Jary]

blbost

[ava]

No, jestli jsi z tech programatoru kteri si chteji i v jazycich jako je Python dukladne hlidat typy, mozna by te potesila knihovna typecheck.