Microsoft TLA Toolbox (32-bit) pre Linux

25.01.2010 | 16:40 | dodoedo | Novinky

TLA Toolbox (32-bit) je integrované vývojové prostredie (špecifický programovací jazyk), dostupné teraz na vývojových stránkach Microsoft ako 32-bit verzia pre Linux prostredie.

Pre pridávanie komentárov sa musíte prihlásiť.

    • ? :D 25.01.2010 | 18:00
      Avatar Dare_devil Debian, OpenSuse  Používateľ
      Sa mi zda alebo to vazne dali do zipu? Oni sa nikdy nepolepsia... :) Stale budu niekam pchat "to svoje"
      There is no flag large enough to cover the shame of killing innocent people
    • Špecifický programovací jazyk? 26.01.2010 | 11:12
      Nathan_   Návštevník
      Je dosť odvážne nazvať TLA programovacím jazykom, hoc aj "špecifickým". Skôr je to špecifikačný jazyk, niečo medzi CCS a PROMELA.
      • Re: Špecifický programovací jazyk? 26.01.2010 | 21:10
        Avatar dodoedo Fedora Linux  Používateľ
        Ahoj.

        Z toho je aspoň vidieť, ako strašne nadržam MS, aj keď pripúštam - "programovací" je najskôr nie moc správne - asi viac áno ako nie. Neviem, ak Ty vieš niečo viac, čo by mohlo vyslobodiť našu pospolitosť z múk pochybností, napíš .
        :-)
        G. Orwell: "Čím více se společnost vzdaluje od pravdy, tím více bude nenávidět ty, kteří ji říkají."
        • ... 26.01.2010 | 23:47
          Radovan Suchánek   Návštevník
          Tento jazyk ako desiatky dalších nemá žiadný význam pre ludí ktorý naozaj píšú. Osobne si myslím že čím viac jazykov tím viac pribudne problémov,namiesto toho,aby sa jazyk zdokonaloval sa vyvíjá kopec dalších,ako keby ste mali jeden dom zo záhradou,ten vás omrzí a postavíťe si další ktorý vám nevydrží ani rok a už sa chystá tretí atd. ... no comment,C,C++ RULEZ
          • Re: ... 28.01.2010 | 02:10
            Nathan_   Návštevník
            Nie som si istý, či má jazyk význam pre ľudí, ktorí "naozaj píšu" a skôr by som povedal že nie. Každopádne na programovanie určený nie je a výsledkom nie je spustiteľný program, ale jeho model. Teda špecifikácia jednotlivých komponent systému s popisom, ako sa budú správať a ako budú medzi sebou komunikovať. Túto špecifikáciu je potom možné formálne verifikovať a odhaliť chyby návrhu, čo pri veľkých projektoch môže ušetriť veľa prostriedkov.
LinuxOS.sk © 2004-2024 | LinuxOS.sk - Team | ISSN 1337-7639 | Osobné údaje | Odber noviniek
Hosting sponzorovaný vpsFree.cz o.s.