CSP v embedded světě

Idris

  • *****
  • 1 423
    • Zobrazit profil
    • E-mail
Re:CSP v embedded světě
« Odpověď #105 kdy: 26. 03. 2021, 16:24:52 »
Clang si (oproti očekávání) s Picem celkem rozumí, takže kdo nechce stackful korutiny, stejně elegantně může mít kanály takto:
Kód: [Vybrat]
auto ch = channel_create();
dispatch_async(^{
  sleep_ms(1000);
  channel_send(ch, ...);
});
auto x = channel_receive(ch);
Vyjde to skoro nastejno, ale bez zbytečného zásobníku.


Re:CSP v embedded světě
« Odpověď #106 kdy: 26. 03. 2021, 17:09:33 »
Napadá mě jedině to, že budeš mít asi pravdu. Každopádně díky za příklad.
Mě teda napadá

1. že ji tak NEnazval :) Pokud je teda řeč o "Monde cruel"

2. že jedno album od Plastiků se jmenuje Vožralej jak slíva a nijak z toho neplyne, že "vožralej" je spisovně česky správně a kdybych to napsal do zdrojáku, neznělo by to jako špatná čeština

Každopádně je úsměvný, jak se tu schizofreně až sprostě častujete a zároveň se věcně bavíte o technice :-)
Nevím, jak to má Idris, ale z mé strany je to popichování s úsměvem, mám z toho prču, není v tom sebemenší zlej úmysl :)

Re:CSP v embedded světě
« Odpověď #107 kdy: 26. 03. 2021, 17:12:52 »
Ale je fajn, že si aspoň nepleteš vokativ a použití jmenné fráze v názvu periodika jako MP :)
Ale pane kolego, zase argumentační klam?! Nikdo si tady přece tohle nepletl :)


Idris

  • *****
  • 1 423
    • Zobrazit profil
    • E-mail
Re:CSP v embedded světě
« Odpověď #108 kdy: 26. 03. 2021, 17:26:20 »
Nikdo si tady přece tohle nepletl :)
Neříkej si “nikdo”, na to má copyright Terence Hill od raných 70. let (podle tebe “ranných”) :)

A teď k tématu?

Idris

  • *****
  • 1 423
    • Zobrazit profil
    • E-mail
Re:CSP v embedded světě
« Odpověď #109 kdy: 26. 03. 2021, 18:10:58 »
BTW co ta intuicionistická logika, nějaký pokrok? Jsem si teď vzpomněl :)


Re:CSP v embedded světě
« Odpověď #110 kdy: 26. 03. 2021, 18:55:04 »
Neříkej si “nikdo”
Úroveň vtipů silně upadá, tohle je tak čtvrtá třída ZŠ :)

BoneFlute

  • *****
  • 1 647
    • Zobrazit profil
Re:CSP v embedded světě
« Odpověď #111 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 :-)

Idris

  • *****
  • 1 423
    • Zobrazit profil
    • E-mail
Re:CSP v embedded světě
« Odpověď #112 kdy: 27. 03. 2021, 17:44:20 »
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.

BoneFlute

  • *****
  • 1 647
    • Zobrazit profil
Re:CSP v embedded světě
« Odpověď #113 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/ ?

Idris

  • *****
  • 1 423
    • Zobrazit profil
    • E-mail
Re:CSP v embedded světě
« Odpověď #114 kdy: 27. 03. 2021, 23:09:04 »
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ě.

BoneFlute

  • *****
  • 1 647
    • Zobrazit profil
Re:CSP v embedded světě
« Odpověď #115 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.

Idris

  • *****
  • 1 423
    • Zobrazit profil
    • E-mail
Re:CSP v embedded světě
« Odpověď #116 kdy: 27. 03. 2021, 23:17:01 »
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.
Kdo ti brání? :)

Idris

  • *****
  • 1 423
    • Zobrazit profil
    • E-mail
Re:CSP v embedded světě
« Odpověď #117 kdy: 30. 03. 2021, 01:07:21 »
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".

BoneFlute

  • *****
  • 1 647
    • Zobrazit profil
Re:CSP v embedded světě
« Odpověď #118 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.

Idris

  • *****
  • 1 423
    • Zobrazit profil
    • E-mail
Re:CSP v embedded světě
« Odpověď #119 kdy: 31. 03. 2021, 00:07:04 »
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.