Zobrazit příspěvky

Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.


Příspěvky - BoneFlute

Stran: 1 ... 66 67 [68] 69 70 ... 133
1006
Vývoj / Re:Typový system versus unittesty
« kdy: 09. 11. 2018, 00:24:15 »
co je "typ"?
metadata k hodnote?

metadata to je neco vagniho, to muze byt treba cas vytvoreni.

Datovy typ je spis dvojice: mnozina hodnot a mnozina operaci, ne?
Množina operací asi nebude stačit. Ještě je třeba název kategorie pro nominální typování.

1007
Vývoj / Re:Tutoriály o ovládaní IoT zariadení
« kdy: 07. 11. 2018, 12:21:28 »
Ano, je zaujem. Npr v arduine viem nieco napisat do ESP modulov aj s jednoduchov html, js strankou. Ale nemam predstavu ako ako do ESP urobit peknu SPA aplikaciu, ake nastroje pouzit na programovanie, co najjednoduchsi "deploy" do ESPcka, tiez nemam skusenost s mqtt.
Urcite ano

Zial klasicku SPA stranku do ESP-cka nezmestis, kvoli velkosti (dane bundle JS a CSS maju niekedy megabajty).
Ja som to riesil vanila Typescriptom.
Moja buildovacia chaina bola:
Typescript+Html => JS+HTML => minifikacia aj JS aj HTML => GZ kompresia => C++ zdrojak s midlwerom pre ESP (obsah ako bajtove polia)

Samozrejme vies pouzit aj CDN-ku na hostovanie napriklad Bootstrapu, ale hovorim uplne som si vystacil s vanila typescriptom

To už si rovno vystačí s čistým JS. A ESP je možné použiť aj so 4MB a tam vhodne napísanú, optimalizovanú SPA určitr zmestí.
To nie je pravda, dana pamet je extrena a zavisi od dosky je od 512kB po 16MB (typicky 512kB po 4MB), takze zalezi od konkretnej dosticky. Plus tam treba nechat priestor pre bootloader, vlastny program a data.
Taktiez si treba uvedomit, ze nacitanie tak velkej strany bude chvilku trvat, kvoli vykonu ESP-cka.

Neřešil by to google-closure-compiler?

1008
Ještě bych dal pryč ty var v var timeOut, protože pak by to jakože vytváří nový kontext. V tvém kódu to asi nic neprovede, protože tam nemáš žádnou function() {}, která by ten kontext vytvořila, ale někdy v budoucnosti do toho kódu šáhneš, a nečekaně se ti to rozbije.

1009
Ale ti 2 nejlepsi snad dokazou ostatnim vysvetlit vyhody nejakeho reseni, ne?
myslim, ze horsi reseni spise vznikne v prilis velkem tymu nez v mensim i kdyz je pomer chytrejsich a normalnich stejny.

Mám zkušenost, že ne. Pokud nechtějí, nejsou ochotní si vyslechnout tvé argumenty, a pouvažovat nad nimi, tak máš prostě smůlu.

1010
Vývoj / Re:Typový system versus unittesty
« kdy: 26. 10. 2018, 02:00:58 »
Jen pro doplnění. Kdysi jsem četl jeden zajímavý článek (bohužel už ho teď nedohledám), kde autor považoval za velice důležitý parametr jazyka konzistentní hustotu informací (to je moje parafráze, jak to nazval on už si nepamatuji).  Šlo o to, aby nebylo na 3 řádcích "prázdno" a pak na jednom řádku složitá konstrukce. Tímhle nešvarem dle mého názoru trpí třeba Perl nebo Python, naopak jazyky jako Lua nebo Go jsou skoro až řídké (alespoň dle mých zkušeností). Nejzajímavější na tom je to, že ve výsledku nevidím, že by program v Go  nebo Lue byl delší než odpovídající program v v Perlu nebo Pythonu, skoro naopak.

Tahle ta konzistentní hustota je podle autora článku klíčová pro snadnou čitelnost/udržitelnost kódu.

Moc pěkné. Děkuji.

1011
Vývoj / Re:Typový system versus unittesty
« kdy: 25. 10. 2018, 13:02:03 »
Jejich benefit spočívá ve výkonu
Typy s výkonem nijak nesouvisí.
https://en.wikipedia.org/wiki/Virtual_method_table
A co s tím? Virtuální metody nijak nesouvisí s tím, jestli má jazyk (statické) typy nebo ne. Ten odkaz by klidně mohl být na Kozinovu větu a vyšlo by to nastejno.
Statické typy umožňují určit už v době kompilace, která metoda bude použita. Virtuální metoda se musí vybírat ze seznamu před každým voláním.
Tak C++ má statické typy i virtuální metody. Proč asi?
Dědičnost?
Protože C++ není schopen zajistit v době kompilace objektu (třídy) A, která bude volat metodu m instance b, zda to bude přímo té instance, nebo z jejího předka?

1012
Vývoj / Re:Typový system versus unittesty
« kdy: 25. 10. 2018, 00:23:50 »
No jasně, ale otázka zněla na "netypový interface".

Tak jasně. Jsem původně nabyl (mylného) dojmu, že se u Javy začínalo s interfacemi bez typů, nebo tak něco zajímavého :-)

1013
Server / Re:FreeBSD - /etc/rc.local
« kdy: 25. 10. 2018, 00:18:12 »
jestli je tohdle všechno co chceš říct, tak plýtváš energii....tím mě rozhodně neodradíš
forum je od toho aby si lidi radili a to na jakekoliv úrovni, egoistické žvásty jak vy jste dobří a já lůza jsou k NIČEMU!

Zde jsi udělal chybu. Měl jsi ho i nadále ignotovat :-)

1014
Vývoj / Re:Typový system versus unittesty
« kdy: 24. 10. 2018, 19:49:45 »
Smalltalk ma protokoly ne? Neni to totez co interface respektive typ?

Tak tady je to těžký - máš nominální typ, to jsou ty interface z Javy. Pak máš strukturální typy, což je hodně volně podobné duck typingu.

V případě tohoto vlákna se cca bavíme o statickém typování. Takže nakolik Smalltalk znám, tak ten padá.

Takže si asi definovat, co je typ o kterém se to bavíme :-)

1015
Vývoj / Re:Typový system versus unittesty
« kdy: 24. 10. 2018, 19:29:43 »
A kde se to používalo? U Javy?
Ani náhodou :) Ve Smalltalku. Java ale své "interface" okopčila z Objective-C, ta historie je celkem zajímavá, na Javě dělali (hlavně standardní knihovnu) ObjC vývojáři po tom, co Sun koupil Lighthouse Design, takže tam přenesli své znalosti, zvyky a postupy.

Jo aha. OK, ale to se pak nebavíme o typech, ne? Smalltalk typy nepoužívá, takže to už tolik nepřekvapí. V javě jsou interface typy, a jako takové se tak používají - jako nominální typ. Jakou ideu má ObjC to už netuším.

Nechceš to "takže tam přenesli své znalosti, zvyky a postupy." trochu rozvést, ať je tu alespoň něco zajímavého?

1016
Vývoj / Re:Typový system versus unittesty
« kdy: 24. 10. 2018, 19:19:14 »
Nikde není napsáno, že interface musí být typový. Nějaká Java není argumentem.
Co je netypový interface?
Zřejmě má na mysli duck typing.
Aha. Tak to pak jo. To byla ostatně, pokud se správně pamatuju, úplně první verze rozhraní.
A kde se to používalo? U Javy?

V Javě se to dá používat také, pokud do interface dáš typ Object. U jednodušších úloh je to docela praktické - do doby, než poprvé použiješ operátor instanceof.

Duck typing běžně používám při prototypování v PHP. Podobně to funguje i v Javascriptu a Pythonu.

Ale na to jsem se přece neptal!

1017
Vývoj / Re:Typový system versus unittesty
« kdy: 24. 10. 2018, 17:48:10 »
Nikde není napsáno, že interface musí být typový. Nějaká Java není argumentem.
Co je netypový interface?
Zřejmě má na mysli duck typing.
Aha. Tak to pak jo. To byla ostatně, pokud se správně pamatuju, úplně první verze rozhraní.

A kde se to používalo? U Javy?

1018
Vývoj / Re:Typový system versus unittesty
« kdy: 24. 10. 2018, 03:42:07 »
Důkaz vidím tom, že každé takové vyzkoušení je testem. Je úplně jedno, zda je testem automatizovaným nebo manuálním.

Ne, to není jedno. Toto vlákno je o nahrazení unit testů ve prospěch typování. O akceptačních testech, nebo ručním otestování není řeč. Tudíž, pokud chceš odvádět diskusi tímto směrem, nebudu ti sekundovat.

1019
Vývoj / Re:Typový system versus unittesty
« kdy: 24. 10. 2018, 00:49:59 »
V tom případě je jasné, že testy jsou nenahraditelné. Typy z tohoto krajíce mohou něco ukousnout, ale větší díl zůstává na těch testech.

V Haskellu se jednotkové testy používají ve velmi malé míře. Typový systém Haskellu je sice nadprůměrný, ale stále nevyčerpal teoretické možnosti. Toliko k tvému rozmáchlému tvrzení.

Tak mi to rozmáchlé tvrzení vyvrať nějakým důkazem.

To jsem právě udělal poznámkou o Haskellu.


I v Haskellu je každá jednotka důkladně testována. Možná vývojáři nepoužívají automatizované testy, ale určitě si každou jednotku několikrát spustí, aby si ověřili, že dělá, co má dělat.
Samozřejmě. Haskellisti moc nepíšou jednotkové testy, protože si "vystačí" s typy. Ale samozřejmě si vyzkouší, co stvořili a zda to dělá co má. V čem je problém? V čem vidíš "důkaz" svého tvrzení?

1020
Vývoj / Re:Typový system versus unittesty
« kdy: 24. 10. 2018, 00:14:20 »
V tom případě je jasné, že testy jsou nenahraditelné. Typy z tohoto krajíce mohou něco ukousnout, ale větší díl zůstává na těch testech.

V Haskellu se jednotkové testy používají ve velmi malé míře. Typový systém Haskellu je sice nadprůměrný, ale stále nevyčerpal teoretické možnosti. Toliko k tvému rozmáchlému tvrzení.

Nevím, jestli to řekl Evan Czaplicki nebo kdo, že typové systémy běžných jazyků jsou odfláklé, ne, že by to nešlo udělat líp.

Stran: 1 ... 66 67 [68] 69 70 ... 133