Příspěvky

406

Vývoj / Re:CSP v embedded světě

« kdy: 31. 03. 2021, 02:37:29 »

Každopádně můj fokus je momentálně na tomto: https://amulet.works/

To vypadá celkem zajímavě.

Když by si se nudil a napadl tě nějaký pěkný demonstrativní příkládek, zlobit se nebudu.

Příklad čeho? Určitě není problém, jen to pls upřesni.

forall patří do skupiny kvantifikačních typů. Takové to každý, žádný. Potuď mi teorie ok. Ale zatím mi nedochází, k čemu v praxi to může být dobré? Myslím tím nějaký vulgární praktický příklad.

Příklad s monádama: Monáda Maybe je dobrá k tomu, když chceš vrátit hodnotu nebo chybu. Užitek: Maybe je generická. Tudíž nemusíš řešit NullObject pro každý svůj vlastní typ. Díky tomu, že je to generické, můžeš udělat takovou tu věc (neznám názvosloví), kdy řadíš Maybe za sebou a nemusíš řešit rozbalení, zabalení. Máš to otypováné, tudíž se ti nemůže stát, že ti uteče nějaká větev programu, protože ty nemůžeš hned pracovat s tou hodnotou, ale musíš ji nejdřív vybalit... A podle signatury hned poznám, zda mi to vrací číslo, či číslo nebo chybu. A tak.

Jiný příklad s třídama. Třídy nedefinují typ, ale povinnost mít správnou funkci, funkce. A tím mi to rozvazuje ruce, že já nemusím řešit co je to za objekt, jeho strukturu, nedejbože jméno, ale má implementované ty funkce? To mi stačí, stejně víc nepotřebuju.

A prostě by se mi líbil nějaký příkládek pro forall. Abych věděl, že "jo ahaá, takže já si tenhle kousek kódu můžu zjednodušit na..."

Haskell má několik rozšíření, přičemž v každém znamená forall něco trochu jiného. IMHO nejpraktičtější je jeho použití v existenčních typech, například:

Kód: [Vybrat]

data Explosive = forall x. Exploder x => Expl x

Tímto způsobem se dá zbavit explicitního typového parametru, takže pak můžu mít seznam typu [Explosive], třeba [Expl Landmine, Expl Torpedo, Expl Turkey].

Co značí to Exploder?

Takže analogicky:

Kód: [Vybrat]

data Err = forall x. Maybe x => Just x
apply :: [Err] -> String
apply xs = ...
apply [Just "text", Just 42, Just True]

?

Přidám otázku: Dokážeš popsat tu ideu existenčních typů?

407

Vývoj / Re:CSP v embedded světě

« kdy: 31. 03. 2021, 01:28:23 »

Každopádně můj fokus je momentálně na tomto: https://amulet.works/

To vypadá celkem zajímavě.

Když by si se nudil a napadl tě nějaký pěkný demonstrativní příkládek, zlobit se nebudu.

Příklad čeho? Určitě není problém, jen to pls upřesni.

forall patří do skupiny kvantifikačních typů. Takové to každý, žádný. Potuď mi teorie ok. Ale zatím mi nedochází, k čemu v praxi to může být dobré? Myslím tím nějaký vulgární praktický příklad.

Příklad s monádama: Monáda Maybe je dobrá k tomu, když chceš vrátit hodnotu nebo chybu. Užitek: Maybe je generická. Tudíž nemusíš řešit NullObject pro každý svůj vlastní typ. Díky tomu, že je to generické, můžeš udělat takovou tu věc (neznám názvosloví), kdy řadíš Maybe za sebou a nemusíš řešit rozbalení, zabalení. Máš to otypováné, tudíž se ti nemůže stát, že ti uteče nějaká větev programu, protože ty nemůžeš hned pracovat s tou hodnotou, ale musíš ji nejdřív vybalit... A podle signatury hned poznám, zda mi to vrací číslo, či číslo nebo chybu. A tak.

Jiný příklad s třídama. Třídy nedefinují typ, ale povinnost mít správnou funkci, funkce. A tím mi to rozvazuje ruce, že já nemusím řešit co je to za objekt, jeho strukturu, nedejbože jméno, ale má implementované ty funkce? To mi stačí, stejně víc nepotřebuju.

A prostě by se mi líbil nějaký příkládek pro forall. Abych věděl, že "jo ahaá, takže já si tenhle kousek kódu můžu zjednodušit na..."

408

Vývoj / Re:CSP v embedded světě

« kdy: 30. 03. 2021, 23:33:42 »

Jestli si chceš trochu pohrát s prapůvodní teorií typů, tady je zdá se implementace: https://simpl-eval.netlify.app
Příslušný článek je nějakým nedopatřením taky volně ke stažení: https://www.semanticscholar.org/paper/A-Formulation-of-the-Simple-Theory-of-Types-Church/28bf123690205ae5bbd9f8c84b1330025e8476e4
Tohle není přímo intuicionistická logika, ale "simple type theory, also known as higher-order logic".

Díky za zdroje. Ještě jsem ani nezpracoval ta původní.

Každopádně můj fokus je momentálně na tomto: https://amulet.works/

Slibuje to hodně. A já si od toho slibuju, kromě praktického užití (mám projekt v lue, lua mi vyhovuje svou minimaličností a rychlostí, nevyhovuje mi tím, že nemá typy), taky to, že si v praxi ošahám, k čemu jsou konkrétní koncepty. Například tomu forall jsem ještě furt nepřišel nachuť (ne že bych se tak moc snažil).

Když by si se nudil a napadl tě nějaký pěkný demonstrativní příkládek, zlobit se nebudu.

409

Vývoj / Re:CSP v embedded světě

« kdy: 27. 03. 2021, 23:14:52 »

BTW co ta intuicionistická logika, nějaký pokrok? Jsem si teď vzpomněl

Zatím u ledu. V knihovně to neměli a pak jsem byl převálcován prioritami :-)

To znám BTW ta kniha od Sitnikovského je zdá se ke stažení zdarma (zahlédl jsem ji někde na Research gate), kdyby tě to zajímalo.

Tenhle https://bor0.wordpress.com/ ?

Ano. Ta kniha o "dependent types" byla na Leanpubu za nějaké drobné, ale teď se dá legálně stáhnout. Je dost stručná, ale základní věci tam vysvětluje celkem pěkně.

https://github.com/bor0/gidti

Jsi pěknej prevít ti povím. Pochop. Nemám čas, jasný? Musím taky někdy spát.

410

Vývoj / Re:CSP v embedded světě

« kdy: 27. 03. 2021, 22:33:15 »

BTW co ta intuicionistická logika, nějaký pokrok? Jsem si teď vzpomněl

Zatím u ledu. V knihovně to neměli a pak jsem byl převálcován prioritami :-)

To znám BTW ta kniha od Sitnikovského je zdá se ke stažení zdarma (zahlédl jsem ji někde na Research gate), kdyby tě to zajímalo.

Tenhle https://bor0.wordpress.com/ ?

411

Vývoj / Re:CSP v embedded světě

« kdy: 27. 03. 2021, 15:15:10 »

BTW co ta intuicionistická logika, nějaký pokrok? Jsem si teď vzpomněl

Zatím u ledu. V knihovně to neměli a pak jsem byl převálcován prioritami :-)

412

Vývoj / Re:CSP v embedded světě

« kdy: 26. 03. 2021, 15:31:02 »

Ve francouzštině fungují členy jinak než v angličtině. Zdravíš tento svět, ne nějaký libovolný, takže tam ten člen bude. Členy se nedávají u speciálů jako profese a tak.

Ano, fungují jinak, ale v tomto případě tam člen nemusí být. André Geerts, rodilý mluvčí, tak nazval svou knihu a ani na svou mateřštinu extrémně hákliví Francouzi mu ji o hlavu neomlátili. Napadá tě jiné vysvětlení, než že to je prostě gramaticky správně?

Napadá mě jedině to, že budeš mít asi pravdu. Každopádně díky za příklad.

P.S. Něco k tématu by nebylo?

Za mě ne. Já embedded nedělám, horko těžko se chytám, ale je to inspirativní čtení. Díky.

413

Vývoj / Re:CSP v embedded světě

« kdy: 26. 03. 2021, 15:01:56 »

Imigranti z východní Evropy cpou členy všude a říkají "le bonjour, le monde", proto se na ně všichni koukají spatra.

To jsem nevěděl, že deník Le Monde vedou imigranti z východní Evropy

Nevíš, co je vokativ? Píšeš v kódu "hello, the world"? Už se neztrapňuj.

Ve francouzštině fungují členy jinak než v angličtině. Zdravíš tento svět, ne nějaký libovolný, takže tam ten člen bude. Členy se nedávají u speciálů jako profese a tak.

Každopádně je úsměvný, jak se tu schizofreně až sprostě častujete a zároveň se věcně bavíte o technice :-)

414

Vývoj / Re:Python 3 úprava skriptu

« kdy: 15. 03. 2021, 18:03:00 »

Ad arogancia.

Řekl bych, že nemá smysl řešit co je a co není, kdo je a kdo není. Ono se to pozná jednoduše: když se někdo nechová adekvátně, nikdo se nebude obtěžovat mu pomoct.

415

Windows a jiné systémy / Re:Přešli jste z Mac na PC?

« kdy: 25. 02. 2021, 00:09:54 »

MacOS má v terminálu cmd-c, cmd-v - stejně jako jinde; zatímco Linux má v terminálu ctrl-shift-c, ctr-shift-v, drobnost, ale stejně) - je tak malá, že to nestojí za námahu.

Drobnost, ale pri kazdodenni praci v terminalu je to fakt UX win. A cely je to jen o tom, ze na to neni ctrl takze to nekoliduje s ukoncenim procesu... chytre, logicke, uzivatelsky privetive.

Nevidím problém si to i na Linuxu přemapovat na cokoliv.

Tak on to problém není. To nikdo přeci netvrdil :-)

416

Windows a jiné systémy / Re:Přešli jste z Mac na PC?

« kdy: 24. 02. 2021, 03:30:07 »

Že by někomu mohl vyhovovat (vyhovovat, ne smířit se, zvyknout si) Windows, pro to nemám vysvětlení.

Já jednu dobu denně používal k plné spokojenosti Windows, ještě k tomu s ARMem

Jak jsem psal. Nechápu, ale respektuju :-)

Jednu dobu jsem měl Lumii s Windows Phone. Bylo to fakt dobré, a fakt dobře se to používalo, to musím uznat. Jinou pozitivní zkušenost nemám.

417

Windows a jiné systémy / Re:Přešli jste z Mac na PC?

« kdy: 23. 02. 2021, 23:40:31 »

Po 2 letech na Macovi jsem nejak postupne zjistil, ze mi chybi na plose ikonky ruznych her, kere si obcas muzu spustit a zahrat, a taky vsechny ty aplikace na ktere jsem byl zvykly.

Koupil jsem si XBox, ale neni to ono, skoro na tom nehraju.

Tak si rikam, ze bych presel zpatky na Windows. Mac neni spatny, ale ma to i dost nevyhody. Zejmena jsem si dodnes nezvykl na system oken, a dalsich par veci, ktere mi prijdou docela hloupe udelane. Nepotvrdilo se mi ani to, ze se to nemusi restartovat - musim restartovat kazdy den, protoze jinak to zacne blbnout. Nepotvrdilo se mi ani to, ze to nebude potreba preinstalovat - ja uz se tesim az udelam novou instalaci, protoze mi tady nejake veci blbnou. V systemu jsou ruzne male bugy. Atp. Zadna hruza, ale proste system bez chyb to taky neni.

Presli jste nekdo z PC na Mac a potom zase zpet na PC? A jestli jo tak proc?

Vženil jsem se do Mac positive rodiny. Takže byla otázka času, než mi na stole přistane jablko. Což se stalo, a mám "svůj" macbook, cca pět let.

Zkušenosti:
Když jedu do práce, vezmu si ho do kabely. Je robusní, pohodlný, spolehlivý. Měl jsem nějaké problémy s rozchozením dockeru, ale to se podalo. Po té, co jsem si ho nastavil aby vypadal jako GnomeShell, tak užívání je jak si předdstavuju.

Stalo se mi, že se tam něco kousne, takže jednou za čas - měsíc?, restartuji. Že tam nejdou Windows hry, tak to je tak nějak pochopitelné.

Aniž bych zabíhal do podrobností, tak MacOS je Windows jak by měl být správně. Správný způsob instalace aplikací, správný způsob nastavení, správný způsob ovládání, správný způsob všeho (mírná nadsázka).

Důvod, proč zůstávám na Linuxu je čistě pohodlí. Mám Linux rád, a dělá se mi v něm dobře. Vyladěnost MacOS oproti Linuxu (třeba MacOS má v terminálu cmd-c, cmd-v - stejně jako jinde; zatímco Linux má v terminálu ctrl-shift-c, ctr-shift-v, drobnost, ale stejně) - je tak malá, že to nestojí za námahu. A spíše ocením open-sourcovitost Linuxu. Ale třeba se to časem změní.

Takže za mě, je možné, že se časem přesunu na furt do MacOS, a nebo taky ne. Že bych se ale vrátil zpět k Windows, to si opravdu nedovedu představit. Vzhledem k tomu, že aktuálně na Windows dělám, tak snad jsem stále v obraze, tak pro mne má pověst systému, který všechno dělá blbě. Jaké skvělé nápady (COM, .NET, PS), a vždycky je to totálně zazděný nějakým hloupým rozhodnutím.

Můj žebříček:
- MacOS pro uživatele
- Linux pro technoidy

Že by někomu mohl vyhovovat (vyhovovat, ne smířit se, zvyknout si) Windows, pro to nemám vysvětlení.

418

Vývoj / Re:Náhrada PHP nebo ASP.NET Core

« kdy: 19. 02. 2021, 05:22:51 »

Já vnímám jQuery pořád jako knihovnu pro zjednodušení práce s DOM/CSS v čistém JS, tam své místo pořád má, dokud podobné věci neumí JS sám o sobě.
Na rozdíl od velkých FW, které když začnu používat, tak už nemůžu uhnout (a proto je moc nemusím), tak jQuery mě do ničeho nenutí, nemusím jí nijak přizpůsobovat návrh projektu, jen využívám zjednodušení syntaxe tam, kde se to hodí.

Já bych s tím souhlasil.

jQuery je oblíbené a pohodlné.

To ste prekvapený čo?

To skutečně jsem. Nevšiml jsi si, že jsem psal, že nativní funkce používám? Nebo se jen vytahuješ že to umíš taky?

419

Vývoj / Re:Náhrada PHP nebo ASP.NET Core

« kdy: 18. 02. 2021, 01:45:45 »

Já vnímám jQuery pořád jako knihovnu pro zjednodušení práce s DOM/CSS v čistém JS, tam své místo pořád má, dokud podobné věci neumí JS sám o sobě.
Na rozdíl od velkých FW, které když začnu používat, tak už nemůžu uhnout (a proto je moc nemusím), tak jQuery mě do ničeho nenutí, nemusím jí nijak přizpůsobovat návrh projektu, jen využívám zjednodušení syntaxe tam, kde se to hodí.

Já bych s tím souhlasil.

jQuery je oblíbené a pohodlné. Dnes už možná ne tak užitečné, drtivá většina věcí se dá udělat pomocí nativních funkcí, ale tyto dvě věci zůstávají.

Moje strategie je taková, že jQuery spíše nepoužívám, protože dělám většinou core věci, a pak přijde uživatel, narve si tam svou jquery knihovnu, která bude zrovna jiná než ta má, vzniká konflikt...

420

Vývoj / Re:Náhrada PHP nebo ASP.NET Core

« kdy: 16. 02. 2021, 03:34:24 »

Krom toho nad JVM je více zajímavých jazyků jako např. scala, kotlin, haskell, clojure.

Haskell?

aj, sorry, haskell samozřejmě není nad jvm, zkracoval jsem větu až jsem to zkrátil moc.

Škoda Už jsem si říkal, že je nějaká implementace Haskellu pod JVM.