Příspěvky

436

Studium a uplatnění / Re:Tipy a triky na zlepšení logického myšlení u pohovorů

« kdy: 15. 02. 2022, 09:04:21 »

slovní úlohy a logické uvažování

Zní to banálně a nudně, ale ty úlohy jsou v zásadě matematické (v širším smyslu, někdy jde čistě o statistiku či logiku nebo jen vhodný algoritmus v několika krocích). S trochou píle je nejefektivnější procvičovat si jednodušší matematické úlohy (začít na SŠ úrovni a přidávat), zvlášť pokud už člověk má praktické zkušenosti z práce v IT. Druhou cestou je pak to memorování, ale to asi člověka nikam neposune.

437

Studium a uplatnění / Re:MatFyz UK vs. FIT ČVUT

« kdy: 15. 02. 2022, 08:28:29 »

poprípade ktorá škola z týchto dvoch je lepšou voľbou

Ostatní už odpověděli, jen dodám, že ani jedna není “lepší” než druhá, prostě jsou trochu jinak nastavené. Z osobní zkušenosti můžu říct, že v (západním) zahraničí má MFF (resp. celá UK) dost dobré jméno, jiné naše VŠ vůbec neznají, to je asi jediná zásadní výhoda (relevantní jen pro někoho).

438

Studium a uplatnění / Re:Tipy a triky na zlepšení logického myšlení u pohovorů

« kdy: 15. 02. 2022, 08:23:04 »

a += b
b = a - b
a  -= b

Pekne ale nepouzitelne ak hrozi pretecenie...

Proto se to dělá xorem.

Tady bych tě opravil - nedělá se to! Je extrémně nepravděpodobné, že by se tazatel někdy dostal do situace, kdy takovýhle swap dává smysl.

Rozumný překladač tenhle kód zoptimalizuje na normální swap. Respektive zoptimalizoval by, kdyby nemusel zachovat jednu hnusnou past, kdy ten kód neprohazuje, ale nuluje. Naprosto typická zkratka - je to pomalejší ale zase to nefunguje vždycky.

Pravda, nedělá, chtěl jsem prostě jen říct, že xorem to jde podobně bez ohledu na přetečení.

439

Studium a uplatnění / Re:Tipy a triky na zlepšení logického myšlení u pohovorů

« kdy: 14. 02. 2022, 23:00:29 »

a += b
b = a - b
a  -= b

Pekne ale nepouzitelne ak hrozi pretecenie...

Proto se to dělá xorem.

440

Vývoj / Re:Kterým směrem se vydat od C

« kdy: 12. 02. 2022, 13:28:15 »

Lisp je krásně čitelný. Jen v něm chybí hromada balastu, která je v ostatních jazycích.

Ale zas to vyvažuje závorkami

Tento mýtus šíří ti, kteří Lisp neznají. V Lispu je srovnatelné množství závorek jako v ostatních jazycích.

Jo, ale jejich prostorová distribuce je dost nevyvážená

441

Vývoj / Re:Kterým směrem se vydat od C

« kdy: 11. 02. 2022, 19:41:37 »

A skoro mám chuť slovíčkařit a zeptat se, co přesně je ta "opravdová dědičnost".

To je otázka do pranice Dědičností je hodně. Dědičnost rozhraní má kde co, třeba ObjC, Go nebo Rust (všechny tři dokonce vícenásobnou). U konkrétních typů se pak rozlišuje datová a konceptuální, kteréžto jdou v teorii (typů) tak trochu proti sobě. Která je “opravdová”? U multimetod se to komplikuje ještě více. To je jako ptát se, která barva je opravdová, červená, zelená nebo modrá?

442

Vývoj / Re:Kterým směrem se vydat od C

« kdy: 11. 02. 2022, 17:13:07 »

Tady ještě pro inspiraci, k čemu se hodí přidružené typy:

Kód: [Vybrat]

 fn bind<U: Clone, F: Fn(&Self::In) -> Self::Out<U>>(&self, f: &F) -> Self::Out<U>;

fn join<U: Clone>(&self) -> Self::Out<U>
    where
        Self::In: Is<Type = Self::Out<U>>,
    {
        self.bind(&|x| Is::into(x.clone()))
    }

Dlužno podotknout, že na rozdíl od Haskellu to je příšerně ukecané.

443

Vývoj / Re:Kterým směrem se vydat od C

« kdy: 11. 02. 2022, 15:14:46 »

v rozhraních jde mít dva typy genericity: typové parametry a přidružené typy

Povídej.

BTW jeden rozdíl je, že konkrétní typ může implementovat generické rozhraní víckrát, ale rozhraní s přiduženými typy jen jednou. V Rustu se tohle ve standardní knihovně dost využívá.

444

Vývoj / Re:Kterým směrem se vydat od C

« kdy: 11. 02. 2022, 15:01:23 »

protoze rozhrani nemuzou byt typove parametrizovana, pokud se nepletu.

Jen rychlej dotaz: to jako obecně, nebo v kontextu Go?

To byla mýlka, ale v obecném kontextu to je zajímavá otázka, v rozhraních jde mít dva typy genericity: typové parametry a přidružené typy. V detailech se dost liší.

Povídej.

Já k tomu asi nemám nic objevného, ale v dokumentaci k Rustu bude určitě vysvětlen u traitů rozdíl mezi oběma přístupy.

Snad jen dodám, že pokud je přidružený typ sám generický, pak jazyk může implementovat v obecnosti ony potvory na M (jejichž jméno se tady nevyslovuje) i bez HKT. Ale to je pro tebe asi nezajímavé, ty už jsi v typových systémech dál

445

Vývoj / Re:Kterým směrem se vydat od C

« kdy: 11. 02. 2022, 14:31:04 »

protoze rozhrani nemuzou byt typove parametrizovana, pokud se nepletu.

Jen rychlej dotaz: to jako obecně, nebo v kontextu Go?

To byla mýlka, ale v obecném kontextu to je zajímavá otázka, v rozhraních jde mít dva typy genericity: typové parametry a přidružené typy. V detailech se dost liší.

446

Vývoj / Re:Kterým směrem se vydat od C

« kdy: 11. 02. 2022, 11:33:29 »

Ale může to být "něco" do čeho nevidím a na co můžu zavolat All nebo Filter. Což bych považoval za rozhraní, aspoň v obecném smyslu, ne jako klíčové slovo nějakého jazyka.

V tomto smyslu to je přímo ukázkový příklad rozhraní, jen to nemůže být “interface” v Go, protože obsahuje data. Ale je to skvělý příklad “zero cost abstraction”.

447

Vývoj / Re:Kterým směrem se vydat od C

« kdy: 11. 02. 2022, 11:28:41 »

Querier nemuze byt rozhrani, protoze rozhrani nemuzou byt typove parametrizovana, pokud se nepletu.

Pleteš.

448

Vývoj / Re:Kterým směrem se vydat od C

« kdy: 11. 02. 2022, 09:15:58 »

A i ty příklady facilitátorů, na které jsem narazil, byli jiní dělači než továrny.

Tak jistě, je to něco zcela jiného, v podstatě jen vážou typovou proměnnou pro budoucí volání, nic nového se nevytváří (je to jen wrapper pro compile time, žádnou paměť navíc nezaberou).

449

Vývoj / Re:Kterým směrem se vydat od C

« kdy: 10. 02. 2022, 20:19:38 »

Go je holt jazyk, který si Google navrhl přesně pro své potřeby a podmínky. A ty jsou ve spoustě případů dost specifické.

Stejně jako kdysi dávno Apple se svým Objective-C, původní překladač sice koupili (resp. příslušnou licenci, abych byl přesnější), ale pak se to nějak zvrtlo a oni z toho udělali dost odlišný jazyk přesně podle svých (tehdejších) potřeb. Swift už je jejich úplně od začátku, ale je celkem tuctový.

Go vlastně teprve teď dostalo typové parametry a množiny (“součtové typy”) a podobné srandičky (facilitátory, to je — aspoň pro mě — novum), takže se dá čekat exploze článků na blozích typu “amazing category theory in Go”, jako svého času v případě Scaly 3, C++17 nebo po přidání GAT do Rustu. Už se netěším

450

Vývoj / Re:Kterým směrem se vydat od C

« kdy: 10. 02. 2022, 20:05:54 »

když bych vám vyprávěl jaká dočasná "řešení" tam používám

To nebude tak hrozné, nanejvýš se dá (h)řešit unsafem.

Vůbec nemáš fantazii 

V tomhle asi ne