Vlákno názorů k článku Statická vs. dynamická typová kontrola od Martin Zdila - Zdravim Clanok sa mi velmi pacil. Programujem vo viacerych...

  • Článek je starý, nové názory již nelze přidávat.
  • 24. 6. 2004 12:02

    Martin Zdila (neregistrovaný)

    Zdravim
    Clanok sa mi velmi pacil. Programujem vo viacerych jazykoch (Java, PHP, C, C++, JavaScript (OO), troska Perl, TCL ...). Najviac je to v Jave a nemozem si vynachvalit vyvojarske prostredie Eclipse. Neviem ci by u slabo typovanych jazykoch bolo mozne spravit take developerske prostredie, kde by vam pocas pisania programu interaktivne podciarkovalo chyby (hlavne napr tykajuce sa statickeho typovania), doplnalo casti kodu (metody, premenne, ...), navrhovalo samo opravy (ktore su IMHO celkom k veci). Naviac si viem tazko predstavit aj taky refactoring, ktory je u velkych porjektov nutny - napriklad premenovanie a presuvanie objektov, metod, premennych a inych "veci". V Eclipse (Java) je refactoring nieco uzasne - kliknem napr na metodu v class-strome, dam si premenovat a v celom projekte mi to krasne poopravuje na 100% bez chyb. Pri dynamicky typovanych jazykoch by to bolo veru dost tazke.

    Velmi sa tesim kedy uz vyjde Java 1.5 - tie genericke typy budu uzasne. A paci sa mi, ze aj PHP 5.0 sa bude dost podobat na Javu, hoci ostane slabo typovanym jazykom (co nechapem ako nieco zle).

    Este spomeniem Perl - robil som v nom dost, a casto som ladil metodou pokus / omyl, niekedy som nad nejakou blbostou skoro ostarel. Proste Perl je pre mna hroza.

    Este by som sa velmi chcel naucit Python, trosku som ho pozeral, je to cool, len potrebujem nejaku inspiraciu a cas.

    Este troska Perl vs C (dufam ze nie offtopic) - dost dlho som potreboval nejaky HTTP proxy, ktory modifikuje stranky (iba prida script na popup okno). Verzia v Perli vyuzivaluca HTTP::Proxy fungovala dobre, ale narocnost na CPU bola neskutocna. Nakoniec som pouzil transproxy (napisane v C) a narast vykonu je mozno 100nasobny. Takze na top critical speed applikacie by som pouzival vylucne iba low-level programovacie jazyky.

  • 24. 6. 2004 12:18

    Jan Vrany (neregistrovaný)

    Rad bych pripomnel, ze Refactoring a veskera
    jeho podpora ve vyvojovem prostredi se poprve
    (stejne jako Uinit testing) objevili prave v
    prostredi smalltalku a je to uz dost davno.
    Zatimco se vsichni vytahuji, ze jejich ide
    ma refactoring. Smalltalkeri se jen usmivaji, nebot pro ne je to samozrejmost.
    Naopak, co mi rikali lide
    co delaji v eclipse, tak refactoring je tam proti
    tomu co maji dnesni moderni smalltalky dost
    slabej (ale osobne jsem to nevidel :-))

    Tim nechci hanit eclipse, netbeans apod,
    jen rikam, ze situace je presne opacna :-)

  • 24. 6. 2004 12:34

    Pavel Křivánek (neregistrovaný)

    Přejděme od slov k činům:

    ftp://comtalk.net/Squeak-dev.zip

    Nejnovější verze Squeaku s Refactoring Browserem, SmallLintem, Monticellem, zvýrazňováním syntaxe včetně podtrhávání chybných výrazů, vyskakovacím doplňováním apod.

    Mimo jiné to má i integrovaný VNC client/server pro ovládání a úpravu na pozadí běžících serverů.

    Škoda, že neovládáte Smalltalk a jen stěží tak dokážete docenit, zač je toho loket.

    (Je u toho přiložen virtuální stroj pro Linux a Win32, takže to stačí stáhnout a spustit VM se souborem *.image jako parametrem)

  • 24. 6. 2004 12:56

    Yeti (neregistrovaný)

    > Pri dynamicky typovanych jazykoch by to bolo
    > veru dost tazke.

    V dynamicky typovaném jazyce obvykle při refactoringu nemusíte přejmenovávat ;-)

  • 24. 6. 2004 15:25

    Ivo (neregistrovaný)

    Do Eclipse existuju pluginy aj na slabo-typovane jazyky. Napr PHP. Neskusal som ale moze to byt dobre ako pre Javu.

  • 24. 6. 2004 15:27

    hermik (neregistrovaný)

    Osobne se mi spise vice libi IdeaJ, dokonce ma JetBrains sidlo tady v Praze. Ma jedinou nevyhodu, stoji 500$, ale 30 dni se da zadarmo zkouset.

  • 25. 6. 2004 8:09

    xarop (neregistrovaný)

    a] pro dynamicky (to jste měl myslím na mysli pod pojem slabě) typované jazyky existují nádherná ide (např. Smalltalk/VisualWorks) umějící více (třeba refactoring) než Eclipse.

    b] nástroje pro vizualizaci chyb týkajících se porušení statické typové kontroly v prostředích pro dynamicky typované jazyky nenajdete :)

    c] -- není reakcí na váš příspěvek -- statická typová kontrola je pouze opravátor překlepů. No takový opravátor překlepů by byl výhodný. Jenže často jsou ty překlepy právě v kódu zajišťující staticou typovou kontrolu ....