Příspěvky

2281

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

« kdy: 19. 04. 2018, 18:48:30 »

Že se v té funkci z příkladu žádná hodnota neliftuje.

Můžu poprosit o definici toho, čemu říkáte "hodnota se liftuje"? Přesnou, matematickou.

Ano. Viz https://wiki.haskell.org/Lifting. Hodnota se liftuje (je liftována, snad se shodneme, že to je to samé, i když to zní strašně), když se na ni zavolá lift0 (definice v tom odkazu).

2282

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

« kdy: 19. 04. 2018, 18:40:22 »

Dobře. Žádný "lift" tam není, na tom se určitě shodneme.
A v čem je teda ta moje chyba? Psal jsem, že tam nějaký lift je?

Kdo psal tohle?

Ani tohle jste nechytil. Neřekl jsem, že bind liftuje, ale že v rámci fce, kterou přijímá jako parametr, se "běžná hodnota" "liftuje" (pro experty: mikturuje frkodrťákem) do monády.

Takže vy nemyslíte "lift", ale výraz "hodnota je liftována". Ok. Co je tam teda za chybu?

Že se v té funkci z příkladu žádná hodnota neliftuje. Naopak když se podívám na definici bindu, tak tam se liftuje, jak ostatně přímo plyne z toho odkazu na wiki.haskell.org.

2283

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

« kdy: 19. 04. 2018, 18:27:18 »

Pak je tedy asi lepší je nepsat, aby nebylo z čeho vybírat

Chceme se teda bavit jako dospělí lidi, nebo ne?

Proč tak najednou?

2284

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

« kdy: 19. 04. 2018, 18:24:09 »

Dobře. Žádný "lift" tam není, na tom se určitě shodneme.
A v čem je teda ta moje chyba? Psal jsem, že tam nějaký lift je?

Kdo psal tohle?

Ani tohle jste nechytil. Neřekl jsem, že bind liftuje, ale že v rámci fce, kterou přijímá jako parametr, se "běžná hodnota" "liftuje" (pro experty: mikturuje frkodrťákem) do monády.

Paradoxně naopak právě bind “liftuje”, takže ono to tvrzení je přesně naopak.

2285

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

« kdy: 19. 04. 2018, 18:16:06 »

raději si zase vybereme nějakou totální kokotinu

Pak je tedy asi lepší je nepsat, aby nebylo z čeho vybírat

2286

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

« kdy: 19. 04. 2018, 18:02:29 »

Někdy je lepší v "krátkém příspěvku" přiznat evidentní chybu

To by ovšem ta "evidentní chyba" musela být prvně dokázána.

Problém asi je, že nám to připadá tak triviální, že se neobtěžujeme s polopatickým rozepisováním. Ale dobře, například u seznamů, kde je bind jasně definovaný, mu lze dát funkci (λx) [x, x*2] a v tomto výrazu žádný “lift” není, tedy aspoň v žádném běžném významu.