Příspěvky

556

Hardware / Re:ESP32 nefunguje režim AP na Wi-Fi

« kdy: 01. 06. 2020, 22:07:55 »

Tak jsem zkusil do VSCode přidat to PlatformIO a v něm přeložit ukázkový espidf-http-request. To už je trošku ukecanější, ale stejně z toho nic nevyčtu.

Tohle máš napsané ve frameworku ESP-IDF, takže jsi zjistil minimálně to, že není problém v Arduino knihovně.

Taky jsi zjistil (pokud se teda nepletu), že selhala auth fáze. Viz https://docs.espressif.com/projects/esp-idf/en/latest/esp32/api-guides/wifi.html#auth-phase

557

Studium a uplatnění / Re:Základy programování

« kdy: 01. 06. 2020, 18:10:52 »

Karel už je out?

IIRC, oficiální nástupce Karla je za peníze a snad dokonce jenom pro Windows (?)

LightBot je takový Karel, akorát hezčí, modernější, jednodušší a zdarma

558

Studium a uplatnění / Re:Základy programování

« kdy: 01. 06. 2020, 17:08:00 »

Každopádně jsem rád, že moje děcka se ty příkazy, ify, smyčky a funkce naučily pěkně po staru v LightBotovi a Scratchi, takže ten experiment s FP jako prvním paradigmatem už na nich nikdo neudělá ani kdyby chtěl

559

Studium a uplatnění / Re:Základy programování

« kdy: 01. 06. 2020, 16:53:23 »

Ne, ukáže se bind a then, a ukáže se, že do-blok je cukr. A pak ti, které to zaujme, mohou pokračovat dál třeba tím, že IO a Maybe mají něco společného...  Zase mi přijde, že narážíme na neexistující problém. IO není něco, co patří na druhou přednášku...

Ok, fair enough.

560

Studium a uplatnění / Re:Základy programování

« kdy: 01. 06. 2020, 16:04:23 »

To není pohádka, to tak je 

Jenže bez vysvětlení podstaty je to zavádějící. Student by se automaticky zeptal "Aha, takže tenhle blok překládá překladač jinak než zbytek programu?", "A proč teda není takový celý program? Bylo by to pak jak v Pascalu a tímpádem mnohem jednodušší", popřípadě ještě hůř: "aha, takže vy nám tady celou dobu vykládáte, jak jsou lazy pure funkce super a teď s nima nejde ani blbej printf?!"

Ale jo, s dávkou didaktického talentu by se to asi vysvětlit dalo - popsalo by se prostě IO + ty operace z Monad + to, že do je jenom syntaktický cukr, akorát by se zamlčelo, že ty operace tvoří tu Monad a že se dají použít i jinde.

...akorát mi to přijde takový... no typicky akademický - prvně se vymyslí skvělý ohýbák ("Pojďme učit Haskell!") a pak se musí složitě vymýšlet narovnávák, aby to vůbec v praktické výuce dávalo smysl

561

Studium a uplatnění / Re:Základy programování

« kdy: 01. 06. 2020, 15:51:33 »

Prakticky: bez Monoidu se dá obejít úplně v pohodě. V tutorialech je Monoid asi z toho důvodu, že když se vykládají TypeClassy, tak zrovna Monoid je hezký reprezentativní příklad. Není to zas tak často používaná abstrakce.

Ok, díky za korekci.

Bez Monadu se dá taky psát docela v pohodě. Pro začátečníka bohatě stačí IO monad s "do" notací a nějaké vysvětlení, kdy se ten efekt spustí a kdy použít let a kdy <-. Sice jsem s tím na začátku taky chvíli bojoval, ale nepřipadá mi to nějak složitý.

Chceme učit nováčky Haskell, protože se naučí čistě a jasně myslet a pochopí, co jsou to typy, a pak jim ani nebudeme umět pořádne vysvětlit, co je přesně "<-" a řekneme jim "to je taková speciální věc, toho si nevšímejte, protože byste to nepochopili"? Nebo si budeme dokonce vymýšlet pohádky o tom, že do blok je takový "jakoby vlastně sekvenční imperatviní blok v neimperativním jazyce"? No nevím...

Ale doktorandům nebo postdokům zaplatí jeden článek třeba...

Já to dobře znám, dělal jsem na částečný úvazek ve výzkumu nějakých devět let nebo kolik

562

Studium a uplatnění / Re:Základy programování

« kdy: 01. 06. 2020, 13:28:47 »

Navíc mi přijde, že se nějak pomíjí, že základy programování (v Haskellu) nutně nemusí ta slova na mon- obsahovat.

Ano, to jsem přesně psal.

A pak je lepší ten Elm

563

Studium a uplatnění / Re:Základy programování

« kdy: 01. 06. 2020, 13:14:55 »

... to se pak jen kupí M-tutoriály s debilními obrázky kolejí a krabiček, které jsou k ničemu.

Znám poměrně dost lidí, kterým ty "debilní obrázky" pomohly.

Já se bez uzardění přiznám, že jsem jeden z nich. Byl to takový první přískok: pochopil jsem jednu instanci, řekl jsem si "aha, takže na tohle je to dobré" a teprve později pochopil, že to byla jenom instance a že ve skutečnosti je to daleko obecnější koncept, který kromě té jedné instance zahrnuje i spoustu dalších.

Bez toho úspěchu s prvním přískokem bych možná hodil flintu do žita a dál se tím už nikdy nezabýval

564

Studium a uplatnění / Re:Základy programování

« kdy: 01. 06. 2020, 13:12:02 »

právě proto, že to bez nich v Haskellu nejde

Ono to bez nich jde.

Nemám s Haskellem praktickou zkušenost, takže se nebudu vyloženě hádat, ale mám za to, že bez Monoid a Monad nenapíšeš v Haskellu nic (ledaže bys to obešel vlastní - míň abstraktní implementací, ale to by pak postrádalo smysl používat Haskell). Bez Applicative se asi obejít dá.

SPŠ ale není školka

No, trochu sis zapřeháněl, že jo Imho by Elm byl srozumitelností tak akorát pro tu horší polovinu studentů v prvním ročníku... (EDIT: míněno VŠ) Když se koukneš na ten seznam (domnělých) výhod výuky Haskellu, většina z nich by se naplnila i s Elmem. Nejspíš ne pro všechny studenty, ale jsem docela pevně přesvědčenej, že alespoň pro polovinu z nich by rozdíl v konečném výsledku nebyl žádný (protože prostě k těm partiím, kde by se superiorita Haskellu projevila, by se vůbec neprokousali).

Nevím, jestli jsem úplně dobrý vzorek, protože jsem měl školu tak trochu jako bokovku, zvlášť v bakaláři, ale mně Haskell na škole nedal vůbec nic. Říkal jsem si jenom "hm, takový nějaký divný jazyk, kde se i ty nejjednodušší věci dělají strašlivě komplikovaně, jenom aby měli matematici radost". Naučil jsem se to dostatečně na to, abych zkoušku dal a vůbec nic jsem z toho neměl. Teprve později, když jsem objevil Erlang, jsem se k Haskellu obloukem vrátil a uměl ho trochu docenit. Kdybych se ale s Erlangem nepotkal, nedal by mi ten kurz vůbec nic, protože bych to prostě všechno zapomněl, páč bych to (jako většina lidí v praxi) nikdy nepoužil, byla by to pro mě jenom vzpomínka na jednu z mnoha bizarností z VŠ...

Měl jsi tu těch "debat" s Idrisem málo?

Psal "poslední dobou", proto jsem se na to ptal.

565

Studium a uplatnění / Re:Základy programování

« kdy: 01. 06. 2020, 11:29:55 »

Elm je naprosto zbytečný a nezajímavý. Možná pro učení dětí (taková tříkolka před kolem), ale těžko pro někoho na SŠ nebo VŠ.

No dyť právě. Připomeňme si, čím celý tohle téma začalo: "Dob­rý den jsem stu­dent střed­ní prů­mys­lo­vé ško­ly"

566

Studium a uplatnění / Re:Základy programování

« kdy: 01. 06. 2020, 11:28:51 »

Tohles tady kdysi tvrdil (značně agresivně) ty, nějak moc si poslední dobou protiřečíš.

Neprotiřečím. Myslím si stejně jako ty, že ty M-words jsou na většinu lidí příliš abstraktní koncepty, ale právě proto, že to bez nich v Haskellu nejde, si myslím, že Haskell není pro většinu lidí vhodný jazyk

...a přesně proto si taky myslím, že Elm by byl vhodnější, protože tam se bez M-words obejít dá.

P.S. V čem jiným bych si měl protiřečit?

567

Studium a uplatnění / Re:Základy programování

« kdy: 01. 06. 2020, 11:08:52 »

Slova na mon- by měla být v textech pro normální lidi zakázána 

To nejde, protože se tak jmenují ty classes. Jasně, dalo by se to učit stylem "tady to použijte takhle a nemusíte moc pátrat po tom, proč to tak je", ale pak je otázka, proč v takovém případě vůbec učit Haskell...

Pokud by byl problém v tom, že má Haskell moc abstrakcí, dal by se použít Elm. Ten by byl pro začátečníka nejspíš daleko stravitelnější a skoro všechny ty (domnělé) pozitivní efekty by u něj byly taky. Výhoda je, že je hodně orientovaný na web, což je imho pro nováčka velký pozitivum (něco píše a hned vidí v prohlížeči výsledek, ideálně i graficky zajímavý -> cenný quick win a wow efekt).

568

/dev/null / Re:Kam schovat peníze před inflací?

« kdy: 31. 05. 2020, 22:47:11 »

Ale jo, tomu já rozumím. A taky chápu, že je to zcela neužitečná informace.

To máš pravdu, protože zlato je (téměř) zcela neužitečný kov, takže na jeho cenu sere pes

569

/dev/null / Re:Kam schovat peníze před inflací?

« kdy: 31. 05. 2020, 22:31:33 »

Netvrdím (a nikdy jsem netvrdil), že úplně nejlepší, ale patří mezi ty nejstabilnější.

Na to tady ale nezazněla žádná tvrdá data. Můžeš si schválně najít grafy cen různých komodit proti tomu CPI. Velice bych se divil, kdyby ti zlato vyšlo jako nejstabilnější. Netipoval bych ho ani do první dvacítky.

Což je nic neříkající.

Říká to přesně to, co hodnota jakéhokoli jiného statku vyjádřená v nějakém jiném statku - cena krav v kozách, rajčat v kakaových bobech, koruny v Elvisových ponožkách...

570

Hardware / Re:ESP32, problém s WiFi

« kdy: 31. 05. 2020, 21:06:01 »

Zkouším v platform IO, Espresif 32 verze 1.12.2 framework arduino

Zvláštní, teď jsem zrovna jedno ESPčko v Platformiu flashoval, taky ho připojuju na Mikrotik, ale problém žádný nemám. Jestli budu mít někdy brzo čas, kouknu na verzi frameworku.

Pro Tomáše G.: jestli používáš Arduino IDE, zkus taky spíš Platformio, snadno tam můžeš přepínat verzi frameworku, což by mohlo pomoct, jestli je to fakt verzí.