Příspěvky

2236

Vývoj / Re:Nový objev ve funkcionálním programování

« kdy: 23. 04. 2018, 15:35:46 »

Jakou?

Právě že ani nic světobornýho a i tak jsem narazil. Asi to nemá smysl vysvětlovat, princip toho programu je celkem jednoduchej, ale bylo by na dlouho vysvětlit, v čem přesně byl problém.

Zajímavé. Některé typy tam generické jsou a nevybavuju si, že by mi někde jinde chyběly, a to jsem v tom napsal hodně kódu. Jediná WTF věc je kontrola chyb, ale i to je vlastně tvůrčí záměr. Člověk se prostě musí oprostit od OO myšlení à la Java.

2237

Vývoj / Re:Nový objev ve funkcionálním programování

« kdy: 23. 04. 2018, 14:27:41 »

Nejlepší je OOP tak, jak ho má Go. Tam se nikdo nehádá.

Já jsem si celkově myslel, že Go je super, dokud jsem v něm teď nedělal jednu věc, která vyžaduje nějaké abstrakce a myslel jsem že rozkoušu klávesnici a vyhodím kompl z okna

Jakou?

2238

Vývoj / Re:Nový objev ve funkcionálním programování

« kdy: 23. 04. 2018, 12:59:50 »

Ono třeba s objektovým programováním to není o moc lepší

Nejlepší je OOP tak, jak ho má Go. Tam se nikdo nehádá. Ale zase má závislostní typy (typové konstruktory nad hodnotami), to asi aby bylo kde začít bouřlivou diskusi

2239

Vývoj / Re:Nový objev ve funkcionálním programování

« kdy: 22. 04. 2018, 20:48:31 »

Prostě, čekal jsem spíš, že přijdete s tím diagramem a objekty si nadefinujete nějak hooodně obecně. V Haskellu to v takovéhle obecnosti nejspíš definovat nejde, ani když si pomůžete nějakým neformální "metahaskellem" typu "ta funkce vypadá nějak takhle".

To je asi nějaké nedorozumění, v diagramu by se lifty taky definovaly zvlášť. To “nějak takhle” je schéma definice (“schéma” se používá zejména v teorii množin vždy, když něco nejde nadefinovat jedním výrazem).

2240

Vývoj / Re:Nový objev ve funkcionálním programování

« kdy: 22. 04. 2018, 13:40:46 »

On ten Komenský věděl, proč radí jít od konkrétního k abstraktnímu. Ono to totiž funguje.

To nepochybně, když někomu řeknu, že monáda je objekt v nějaké kategorii s nějakými dvěma morfismy z/do něj, tak stejně nebude schopen naimplementovat ani použít opšnl nebo kontinuaci. Škoda, že Komenského monad tutorial shořel v Lešně.

2241

Vývoj / Re:Nový objev ve funkcionálním programování

« kdy: 22. 04. 2018, 00:37:31 »

Naopak komunita okolo FP je nebývale vstřícná a ochotná.

Jo, hlavně ta místní

No dyť, stačí se slušně zeptat a všichni se můžou přetrhnout. A teď už fakt spát.

2242

Vývoj / Re:Nový objev ve funkcionálním programování

« kdy: 22. 04. 2018, 00:10:41 »

Jo a mimochodem, kdyby něco takovýho bylo, tak to nesouvisí s pochopením monád, ale

Mám za to, že jeden z hlavních důvodů, proč se Haskell nerozšířil, jsou přesně takhle se chovající lidi: programují v tom pět let, cítí se jako kněží desátého zasvěcení ezoterního spolku supermanů a kdokoli má nižší zasvěcení, pro toho mají jenom "tak si to nastuduj, ať taky dosáhneš stejnýho zasvěcení".

Je hezky vidět, jak na to jde úplně jinak Elm. Nedělá z věcí vědu, nevytváří desetiúrovňový abstrakce, snaží se být srozumitelnej nováčkům. A funguje to. Narozdíl od Haskellu, kterej je (bohužel) do značné míry sekta...

Tohle je s odpuštěním blbost, v se tak nechoval a nevím ani o nikom jiném z FP. Naopak komunita okolo FP je nebývale vstřícná a ochotná. Ono vůbec spojovat rozšíření jazyka s chováním jeho uživatelů je dost přitažené za vlasy. Je to prostě obtížnější koncept, na rozdíl např. od malé násobilky.

2243

Vývoj / Re:Nový objev ve funkcionálním programování

« kdy: 21. 04. 2018, 23:40:08 »

To nejde, to je ten přírodní zákon, že kdo už monády chápe, není schopen je vysvětlit těm, co je ještě nechápou. v to už zjevně zná. Logicky jediný okamžik, kdy to jde napsat srozumitelně, je právě během psaní, při kterém to člověk pochopí.

To je nesmysl a nevím, proč se to pořád říká.

Protože existuje už asi milion vysvětlení a studenti nechápou ani jedno?

2244

Vývoj / Re:Nový objev ve funkcionálním programování

« kdy: 21. 04. 2018, 23:33:51 »

Teď vážně, tady všechno jen vzdáleně související s FP končí hatem, zkus místo vybržďování kamionů trabantem napsat regulérní článek (po domluvě s redakcí) rozebírající, proč je monáda monoid (psaním to pochopíš a hodně zoufalcům zvedneš sebevědomí, v češtině to myslím ještě vysvětlené není). v jistě rád pomůže.

Kamion to jistě napíše sám. Ještě by tam trabant nasekal věci, co by nedávaly smysl.

To nejde, to je ten přírodní zákon, že kdo už monády chápe, není schopen je vysvětlit těm, co je ještě nechápou. v to už zjevně zná. Logicky jediný okamžik, kdy to jde napsat srozumitelně, je právě během psaní, při kterém to člověk pochopí.

2245

Vývoj / Re:Nový objev ve funkcionálním programování

« kdy: 21. 04. 2018, 23:26:23 »

Já to mám jako základní předpoklad, že jestli nějaká děsná zhovadilost jde vymyslet, tak buď s ní už nějaký matematik přišel, nebo brzo přijde

Teď vážně, tady všechno jen vzdáleně související s FP končí hatem, zkus místo vybržďování kamionů trabantem napsat regulérní článek (po domluvě s redakcí) rozebírající, proč je monáda monoid (psaním to pochopíš a hodně zoufalcům zvedneš sebevědomí, v češtině to myslím ještě vysvětlené není). v jistě rád pomůže.

2246

Vývoj / Re:Nový objev ve funkcionálním programování

« kdy: 21. 04. 2018, 23:20:03 »

Tohle mi vždycky přišlo divný, proč se pro další úroveň vymyslelo slovo "třída" a nevyřešilo se to prostě číslováním jako u Alef, beztak bylo jasný, že se na to zas někde narazí

Dyť takhle to vyřešil Russell už před 1. světovou válkou.

2247

Vývoj / Re:Nový objev ve funkcionálním programování

« kdy: 21. 04. 2018, 23:10:22 »

Ten pojem pochází z topologie (teorie homotopických křivek) a vznikl dávno před nějakou CT (stejně jako třeba komutativní diagramy). Ostatně celá slavná CT vznikla z topologie a všechny její základní koncepty jsou inspirované topologií. Až (o hodně) později se tak nějak zjistilo, že se dá použít i na jiné blbosti.

Já jsem myslel, že to bylo historicky naopak - že prvně byla CT a pak se zjistilo, že se bezvadně hodí topologům

A jak by asi taková kravina (abstract nonsense) vznikla "z ničeho"?

2248

Vývoj / Re:Nový objev ve funkcionálním programování

« kdy: 21. 04. 2018, 23:09:06 »

Laicky bych to shrnul jako že by tam vznikl vlastně stejný problém jako s množinou všech množin.

Asi jo, až na to, že teď je problém s třídou všech tříd. Tohle je v CT haram, aby si nikdo nevšiml, že stojí na paradoxu, proto se místo "funkce" říká "family of objects/morphisms".

2249

Vývoj / Re:Nový objev ve funkcionálním programování

« kdy: 21. 04. 2018, 23:02:38 »

Hm. Mně to přišlo, že tady o slovo lift, minimálně v-ovi, docela šlo...

Stačilo říct lifruje místo liftuje.

2250

Vývoj / Re:Nový objev ve funkcionálním programování

« kdy: 21. 04. 2018, 23:00:41 »

Definice liftu v Haskellu je prostě jiná a nekonzistentní, po částech. Prostě to nepsali topologové a netušili, že už se ten pojem používá.

Proč pořád říkáš topologové?

Ten pojem pochází z topologie (teorie homotopických křivek) a vznikl dávno před nějakou CT (stejně jako třeba komutativní diagramy). Ostatně celá slavná CT vznikla z topologie a všechny její základní koncepty jsou inspirované topologií. Až (o hodně) později se tak nějak zjistilo, že se dá použít i na jiné blbosti.