Citace: operator 21. 01. 2019, 14:48:08Citace: BoneFlute 21. 01. 2019, 14:29:25Citace: Kit 21. 01. 2019, 12:51:44Spor je tedy jen v tom, kdy a kde tu kontrolu uděláš - uvnitř či venku.Ne, to ani náhodou. Spor je o to, zda data kontrolovat včas, nebo pozdě.Cele je to o tom, ze tu je sorta lidi, kteri si mysli, ze staticke typy jim odladi system. Coz je blbost nad entou. A proc je to blbost na entou? Protoze je to straw man.
Citace: BoneFlute 21. 01. 2019, 14:29:25Citace: Kit 21. 01. 2019, 12:51:44Spor je tedy jen v tom, kdy a kde tu kontrolu uděláš - uvnitř či venku.Ne, to ani náhodou. Spor je o to, zda data kontrolovat včas, nebo pozdě.Cele je to o tom, ze tu je sorta lidi, kteri si mysli, ze staticke typy jim odladi system. Coz je blbost nad entou.
Citace: Kit 21. 01. 2019, 12:51:44Spor je tedy jen v tom, kdy a kde tu kontrolu uděláš - uvnitř či venku.Ne, to ani náhodou. Spor je o to, zda data kontrolovat včas, nebo pozdě.
Spor je tedy jen v tom, kdy a kde tu kontrolu uděláš - uvnitř či venku.
Citace: Ondra Satai Nekola 21. 01. 2019, 14:51:42Citace: operator 21. 01. 2019, 14:48:08Citace: BoneFlute 21. 01. 2019, 14:29:25Citace: Kit 21. 01. 2019, 12:51:44Spor je tedy jen v tom, kdy a kde tu kontrolu uděláš - uvnitř či venku.Ne, to ani náhodou. Spor je o to, zda data kontrolovat včas, nebo pozdě.Cele je to o tom, ze tu je sorta lidi, kteri si mysli, ze staticke typy jim odladi system. Coz je blbost nad entou. A proc je to blbost na entou? Protoze je to straw man.To neni straw man, to je reakce na tvrzeni, kdyz se to podari zkompilovat, je to v podstate hotovo.
Citace: Ondra Satai Nekola 21. 01. 2019, 14:51:42A proc je to blbost na entou? Protoze je to straw man.Blbost na ntou je predevsim porad dokola operovat Ceckem. S Operatorem nema smysl diskutovat, vykasli se na to.
A proc je to blbost na entou? Protoze je to straw man.
Citace: operator 21. 01. 2019, 14:56:42Citace: Ondra Satai Nekola 21. 01. 2019, 14:51:42Citace: operator 21. 01. 2019, 14:48:08Citace: BoneFlute 21. 01. 2019, 14:29:25Citace: Kit 21. 01. 2019, 12:51:44Spor je tedy jen v tom, kdy a kde tu kontrolu uděláš - uvnitř či venku.Ne, to ani náhodou. Spor je o to, zda data kontrolovat včas, nebo pozdě.Cele je to o tom, ze tu je sorta lidi, kteri si mysli, ze staticke typy jim odladi system. Coz je blbost nad entou. A proc je to blbost na entou? Protoze je to straw man.To neni straw man, to je reakce na tvrzeni, kdyz se to podari zkompilovat, je to v podstate hotovo.Což je souvislost vysloveně evidentní. A výraz "v podstatě" jsi taky úmyslně vynechal.Vskutku, tvé příspěvky nejsou v ničem přínosné.
Citace: BoneFlute 21. 01. 2019, 15:00:05Citace: operator 21. 01. 2019, 14:56:42Citace: Ondra Satai Nekola 21. 01. 2019, 14:51:42Citace: operator 21. 01. 2019, 14:48:08Citace: BoneFlute 21. 01. 2019, 14:29:25Citace: Kit 21. 01. 2019, 12:51:44Spor je tedy jen v tom, kdy a kde tu kontrolu uděláš - uvnitř či venku.Ne, to ani náhodou. Spor je o to, zda data kontrolovat včas, nebo pozdě.Cele je to o tom, ze tu je sorta lidi, kteri si mysli, ze staticke typy jim odladi system. Coz je blbost nad entou. A proc je to blbost na entou? Protoze je to straw man.To neni straw man, to je reakce na tvrzeni, kdyz se to podari zkompilovat, je to v podstate hotovo.Což je souvislost vysloveně evidentní. A výraz "v podstatě" jsi taky úmyslně vynechal.Vskutku, tvé příspěvky nejsou v ničem přínosné.Ano, souvislost je evidentní, protože to bylo tvrzení ke statickým typům. A žádný z obhájců statických typů to ani nezpochybnil, takže se dá předpokládat, že to je názor přijímaný většinou.
Citace: Mirek Prýmek 31. 12. 2018, 16:32:34Citace: listoper 31. 12. 2018, 16:30:18Ale melo by to jit. Ne, nejde to, smiř se s tím, mýlíš se. (sorry, tohle téma už mě nebaví, omlouvám se z něj)OK Miro. si omluven.Pro ostatni: https://docs.python.org/3/library/importlib.html#importlib.reloadJe tu nejakej pythonak, kterej by rekl, jestli je to pouzitelne?
Citace: listoper 31. 12. 2018, 16:30:18Ale melo by to jit. Ne, nejde to, smiř se s tím, mýlíš se. (sorry, tohle téma už mě nebaví, omlouvám se z něj)
Ale melo by to jit.
již před válkou jsem poukazoval na to, že část lidí tu debatuje o pascalu (nebo i C ...) a část o teorii typů (haskell apod.)
Citace: operator 21. 01. 2019, 15:46:37Citace: BoneFlute 21. 01. 2019, 15:00:05Citace: operator 21. 01. 2019, 14:56:42Citace: Ondra Satai Nekola 21. 01. 2019, 14:51:42Citace: operator 21. 01. 2019, 14:48:08Citace: BoneFlute 21. 01. 2019, 14:29:25Citace: Kit 21. 01. 2019, 12:51:44Spor je tedy jen v tom, kdy a kde tu kontrolu uděláš - uvnitř či venku.Ne, to ani náhodou. Spor je o to, zda data kontrolovat včas, nebo pozdě.Cele je to o tom, ze tu je sorta lidi, kteri si mysli, ze staticke typy jim odladi system. Coz je blbost nad entou. A proc je to blbost na entou? Protoze je to straw man.To neni straw man, to je reakce na tvrzeni, kdyz se to podari zkompilovat, je to v podstate hotovo.Což je souvislost vysloveně evidentní. A výraz "v podstatě" jsi taky úmyslně vynechal.Vskutku, tvé příspěvky nejsou v ničem přínosné.Ano, souvislost je evidentní, protože to bylo tvrzení ke statickým typům. A žádný z obhájců statických typů to ani nezpochybnil, takže se dá předpokládat, že to je názor přijímaný většinou.již před válkou jsem poukazoval na to, že část lidí tu debatuje o pascalu (nebo i C ...) a část o teorii typů (haskell apod.)
Citace: v 21. 01. 2019, 16:18:59již před válkou jsem poukazoval na to, že část lidí tu debatuje o pascalu (nebo i C ...) a část o teorii typů (haskell apod.)Tak tak. Těšil jsem se na debaty o polymorfismu a zapouzdřování, které by mohly vyústit v debaty o OO návrhu. Tešil jsem se jak tady budou lítat pojmy jako factory design pattern, dependency injection. Těšil jsem se na poučky o SRP a vůbec o celém SOLID.
Citace: v 21. 01. 2019, 16:18:59již před válkou jsem poukazoval na to, že část lidí tu debatuje o pascalu (nebo i C ...) a část o teorii typů (haskell apod.)No a to je prave ten problem. Staticky typ je staticky typ v kazdem z techto jazyku. A pokud to neni upresneno, nelze ignorovat mainstramove jazyky se statickymi typy, tedy C, C++, Java a C#.
Citace: v 21. 01. 2019, 16:18:59již před válkou jsem poukazoval na to, že část lidí tu debatuje o pascalu (nebo i C ...) a část o teorii typů (haskell apod.)Tak tak. Těšil jsem se na debaty o polymorfismu a zapouzdřování, které by mohly vyústit v debaty o OO návrhu. Tešil jsem se jak tady budou lítat pojmy jako factory design pattern, dependency injection. Těšil jsem se na poučky o SRP a vůbec o celém SOLID. A místo toho se tu řeší datové typy.
Myslim ze jsem tu presvedcive dokazal, ze vetsinu veci, prisuzovanych statickym typum, lze dosahnout i jinak, bez statatickych typu.
Citace: ivoszz 31. 12. 2018, 04:26:45... největší rozdíl vidím v dokumentaci.Mě teda oslovilo compile time. Když konečně přesvědčím kompilátor, aby to přeložil, tak mám obecně hotovo. Zbejvaj sémantické chyby. Zatímco u dynamického jazyka furt něco padá.
... největší rozdíl vidím v dokumentaci.