Příspěvky

196

Vývoj / Re:Vlastní jazyk pro tvorbu vektorových obrázků

« kdy: 01. 02. 2022, 16:42:45 »

No to je hnus teda ten prototyp

Konkrétní výhrady, nebo jen estetika?

197

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 29. 01. 2022, 19:42:38 »

I když je Gtk psané v C tak používá dědičnost, takže bindovat Qt nebo Gtk je v podstatě to samé.

GTK sice dědičnost má, ale vlastní, nepoužívá na to prostředky jazyka. Na rozdíl od Qt. Takže to není vůbec to samé.

A nebo na to jdi z druhé strany. Na GTK je binding z každého myslitelného jazyka. Můžeš to porovnat s bindingy do Qt a udělat si názor sám.

198

Vývoj / Re:Je „responsivní“ design až zase tak potřebný?

« kdy: 29. 01. 2022, 00:09:08 »

Já mám za to, že responsive vznikl na základě lenosti programátorú/koderů, zkrátka se nechtělo dělat samostatné weby pro různá zařízení...

No, to máte za to špatně. Důvodem pro responzivní weby je, že separátní weby se mají neustále tendenci rozjíždět, pořád se řeší, že v desktop verzi chybí něco, co je v mobilní nebo naopak, nebo hůř, že tam je jedna věc implementovaná různým způsobem, část uživatelů to mate a chce to sjednotit, část zuřivě brání současné řešení. Plus se i přes sdílení kódu nevyhnete duplikování práce... Peklo. Proto je tlak na to, aby to byla jedna aplikace s maximálním sdílením kódu a lišil se jen styling. Ne vždy to jde a i tak se některé věci musí implementovat 2x, protože mobilní verze je příliš odlišná, ale přesto je to lepší cesta.

A dalším, IMHO hlavní motivací bylo a je to, že není jeden mobilní web. Ale je jich asi padesát. To chcete dělat padesát různých webů?

BTW: Lenost je někdy dobrá vlastnost :-)

Nevím zda si rozumíme. Já říkám udělat mobilní web, který bude perfektně fungovat vč. toho, že se bude dobře zobrazovat na malých i velkých displejích (takže lehce responziv) a to stejné pro desktop. Pak je výsledek nejlepší možný. Lenost je někdy dobrá vlasnost, o tom žádná Ale, nemělo by to být na úkor kvality (a ano, jsou weby kde se to nevyplatí a stačí "nějaký" responsive, ať to nějak funguje na všech zařízení a hotovo).

Myslím si, že responsibilita jako princip je správně.
Zbytek je o tom, jakou si s tím dají práci. Když si s tím práci nedají, tak je jedno, jakým způsobem to neudělají.

Takže za mě je volba: responsibila + pořádnej klacek.

199

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 29. 01. 2022, 00:03:49 »

Docela by mě zajímala ta budoucnost s odstupem času.

Já jsem na něj definitivně přesedlal. Všechno kompilované, rychlé, dělám v něm. K C++ se už nechci nikdy vrátit.

Jakoby se předháněli všichni v syntaktických vychytávkách a kašlalo se na ekosystém.

Pokud myslíš ekosysystém, jako tools, tak ten mi přijde fantastický. Pokud myslíš ekosystém, jako knihovny třetích stran, tak za to autoři jazyka dost dobře nemůžou. A nepřijde mi to tak hrozné.

200

Vývoj / Re:Java - kniha JDK 7

« kdy: 28. 01. 2022, 16:58:47 »

Myslim z hladiska narocnosti i moznosti najst si s nim pracu ?

Asi Javascript. Asi zalezi, co chcete delat, jestli chcete delat webove aplikace, nejdriv bych se naucil frontend.

Javascript je pro lidi od webu. Myslím si, že to není úplně dobrá věc do začátku. Optikou strojního inženýra.

201

Vývoj / Re:JAVA - kniha JDK 7

« kdy: 27. 01. 2022, 22:48:02 »

U nas na Slovensku je najlahsie najst si pracu ako programator prave so znalostou Javy.
Zaujal ma i Python, ale tych pracovnych ponuk s nim nie je az tak vela.

Java je hlavně platforma. Má svá úskalí, jako všechno, ale je to IMHO dobrá volba. Začnete na čisté Javě, seznámíte se s těmi základními problémy, začnete být produktivní, a pak, třeba, budete chtít to vylepšit a tak můžete měnit jazyk (Clojure, Kotlin, Scala), technologie, nebo FWky, etc.

Já bych do Javy nešel. Ale mé důvody jsou veskrze iracionální. Takže vaši volbu považuji za dobrou volbu :-)

202

Vývoj / Re:Je „responsivní“ design až zase tak potřebný?

« kdy: 27. 01. 2022, 22:43:46 »

Já mám za to, že responsive vznikl na základě lenosti programátorú/koderů, zkrátka se nechtělo dělat samostatné weby pro různá zařízení...

No, to máte za to špatně. Důvodem pro responzivní weby je, že separátní weby se mají neustále tendenci rozjíždět, pořád se řeší, že v desktop verzi chybí něco, co je v mobilní nebo naopak, nebo hůř, že tam je jedna věc implementovaná různým způsobem, část uživatelů to mate a chce to sjednotit, část zuřivě brání současné řešení. Plus se i přes sdílení kódu nevyhnete duplikování práce... Peklo. Proto je tlak na to, aby to byla jedna aplikace s maximálním sdílením kódu a lišil se jen styling. Ne vždy to jde a i tak se některé věci musí implementovat 2x, protože mobilní verze je příliš odlišná, ale přesto je to lepší cesta.

A dalším, IMHO hlavní motivací bylo a je to, že není jeden mobilní web. Ale je jich asi padesát. To chcete dělat padesát různých webů?

BTW: Lenost je někdy dobrá vlastnost :-)

203

Vývoj / Re:Jak validovat DTO v dynamicky typovaném jazyce?

« kdy: 27. 01. 2022, 12:55:30 »

Moc rád bych pochopil co si mám představit pod pojmem “kombinovat dynamické se statickým”.

Ada:

Kód: [Vybrat]

subtype Even is Integer with Dynamic_Predicate => Even mod 2 = 0;

Staticky se kontroluje přiřazení celého čísla, ale predikát je dynamický. To je rozdíl oproti jazykům jako Agda, kde můžu mít typ EvenNat, který je kompletně kontrolovaný v době překladu.

Staticky typované jazyky se dělí na dva základní typy: s běhovými chybami a bez (taky se říká bez výjimek, prostě nedojde k přerušení bloku kódu kvůli chybě). Ty druhé (Agda, SPARK…) vyžadují aspoň GADT nebo nějaký podobný mechanismus a predikáty jako sudost nebo nenulovost se vyjadřují staticky.

A to dynamické znamená, že mi:

Kód: [Vybrat]

function test (x: Even) return Even
begin
   return x + x;
end

test(13)

sice přeloží, ale při běhu to vyhodí výjimku při pokusu zavolat test(13), tak?

204

Vývoj / Re:Jak validovat DTO v dynamicky typovaném jazyce?

« kdy: 27. 01. 2022, 03:20:53 »

před rokem jsem téměř neznal ... (moderní) Adu (ta zajímavě kombinuje statické a dynamické typování), kde jsou taky lahůdky.

Chceš to rozvést?

Ani ne, furt ji moc neznám (tu nejnovější verzi), takže bych nerad psal blbosti. Nicméně jde o to, že Ada je poměrně přísně staticky typovaná, ale má (verze 2012, podle definice) závislostní typy, které jsou ale implementované pomocí tzv. predikátů, z nichž některé můžou být dynamické. Takže jestli jsem to dobře pochopil, částečně se chová jako třeba Julia s jejím existenciálním typovým kvantifikátorem. Právě čtu Ada 2012 rationale, ale je to bichle a mám i jiné věci, takže mi to jde jak psovi pastva.

Moc rád bych pochopil co si mám představit pod pojmem “kombinovat dynamické se statickým”. V mé hlavě ty dva pojmy defakto dokonvergovali do významu statické = compile time + přinutit vývojáře ohlídat, dynamické = runtime + nemusíš nic. (Tedy dva protichůdné póly.)

Je docela dost možné, ze si pod tím opět představuju něco jiného než většinová společnost.

Příklad:

Kód: [Vybrat]

fn inc(a: Number): Number {…}

může být statický i dynamický.
Toto

Kód: [Vybrat]

fn concat(a, b) {…}

taky. Nebo toto :

Kód: [Vybrat]

{
xs[] = module.loadFrom(name)
}

Nic z toho mi nepřijde jenom dynamické nebo jenom statické. Možná špatný příklady, možná omezený rozhled. Pravděpodobně špatné pojmenování věci?
Byl by si schopen uvést nějaký demonstrativní příklad? Co si mám představit co vidíš, když mluvíš o dynamickém typovaní? A jak jde statické a dynamické kombinovat?

205

Vývoj / Re:Jak validovat DTO v dynamicky typovaném jazyce?

« kdy: 26. 01. 2022, 23:01:42 »

... (moderní) Adu (ta zajímavě kombinuje statické a dynamické typování), kde jsou taky lahůdky.

Chceš to rozvést?

206

Vývoj / Re:Jak validovat DTO v dynamicky typovaném jazyce?

« kdy: 26. 01. 2022, 21:29:16 »

@BoneFlute
Tak většinou s čím přicházíš, s tím také odcházíš.

Je to tak. Je to škoda, ale co nadělám. Někdy má člověk smůlu.

207

Vývoj / Re:Jak validovat DTO v dynamicky typovaném jazyce?

« kdy: 26. 01. 2022, 19:42:32 »

A což o to. S tím nemám problém. Určitě je lepší dynamický jazyk, než žádný.

http://bracha.org/pluggable-types.pdf

- Type Systems are subtle and hard
- Relying on them is dangerous

 

Hele, jak dlouho jsme se tu přetahovali o tom, že kategorie silný/slabý typy je zbytná. Teď se tu budeme přetahovat o tom, že static/dynamic typy znamená hlavně compiletime/runtime? Asi jsem unaven. Tím spíše, že je to co půl roku znova, a nic z toho.

Jediný, kdo se o něčem neustále hádá jsi ty. Nevšiml jsem si, že by tu někdo kromě tebe psal hodnotící soudy o  dynamickém/statickém/silném/slabém typování. Jen se vypíchly nějaké výhody a nevýhody a případně přidal odkaz.
Je spousta lidí co jsou schopni psát v Clojure i Scala nebo Python, Haskell, Rust a nedělají z toho takové drama jako ty.
Teď to pár let bude holt Rust. Já se o Rust zajímal od doby vzniku, koment z roku 2016, ale už dřív jsem se tu po něm pídil v diskuzích: https://www.root.cz/clanky/programovaci-jazyk-rust-nahrada-c-nebo-slepa-cesta/nazory/vlakno/7/. Ale zdá se mi, že kolem něj roste skupina lidí, co budou zase slepě tlačit Rust všude, jeho typový systém je to nejlepší na světě... ehhh to už tu bylo s C++ , Java a atd. Ano, škoda ztrácet čas diskuzí.

Musíš mi odpustit mou zvědavost. Prostě tu zazněla absurdní tvrzení, že silné/slabé typování je podstatnější jak statické/dynamické. A neodolal jsem, abych nezačal zjišťovat, zda mi něco neuniklo. Mohu tě upokojit, že jsem svá data dostal, takže dám zase chvilku pokoj.

208

Vývoj / Re:Jak validovat DTO v dynamicky typovaném jazyce?

« kdy: 26. 01. 2022, 01:31:45 »

A což o to. S tím nemám problém. Určitě je lepší dynamický jazyk, než žádný.

http://bracha.org/pluggable-types.pdf

- Type Systems are subtle and hard
- Relying on them is dangerous

 

Hele, jak dlouho jsme se tu přetahovali o tom, že kategorie silný/slabý typy je zbytná. Teď se tu budeme přetahovat o tom, že static/dynamic typy znamená hlavně compiletime/runtime? Asi jsem unaven. Tím spíše, že je to co půl roku znova, a nic z toho.

209

Vývoj / Re:Jak validovat DTO v dynamicky typovaném jazyce?

« kdy: 26. 01. 2022, 01:08:47 »

Teď Ti ještě zbývá prozřít v případě dynamických jazyků, tedy že statické typování není zas taková spása

A což o to. S tím nemám problém. Určitě je lepší dynamický jazyk, než žádný.

210

Vývoj / Re:Jak validovat DTO v dynamicky typovaném jazyce?

« kdy: 26. 01. 2022, 00:49:54 »

Někde se ta čára udělat musí. Já jí mám nad C++. Přijmi to. Bavit se se mnou nemusíš.

Nikdo nechce, abys C++ používal, ale uznat jeho existenci a rozšíření musíš

Ano uznávám jeho existenci.

Ne, neuznávám smysluplnost kategorie slabé/silné typování.