Map vs. FlatMap

[Ondra Satai Nekola]

Rozdíl je v tom, že ty tu na rozdíl od všech ostatních dáváš špatnou odpověď a pak ještě prudíš.

[Reklama]

[Kit]

Rozdíl je v tom, že ty tu na rozdíl od všech ostatních dáváš špatnou odpověď a pak ještě prudíš.

Ukazuji jiný úhel pohledu, než ostatní. A to rozhodně není špatně.

A já jsem si s fackováním nezačal, takže se laskavě nejdřív podívej do zrcadla.

[Ondra Satai Nekola]

Neschovávej špatnou odpověď za jiný úhel pohledu. Tohle není rozbor poezie.

[Kit]

Neschovávej špatnou odpověď za jiný úhel pohledu. Tohle není rozbor poezie.

Ani ses nenamáhal mi dokázat, že má odpověď je špatná. Pouhé tvé tvrzení.

[Ondra Satai Nekola]

http://lmgtfy.com/?q=flatmap+data+structure
http://lmgtfy.com/?q=flatmap+represented+in+list


Ale ono dost neznačí i to, když dáváš na podporu svého tvrzení link na stránky, které ukazují opak...

[Reklama]

[Kit]

http://lmgtfy.com/?q=flatmap+data+structure
http://lmgtfy.com/?q=flatmap+represented+in+list

Ale ono dost neznačí i to, když dáváš na podporu svého tvrzení link na stránky, které ukazují opak...

Na uvedených odkazech pracují pouze seznamy seznamů. To je málo.

[ava]

https://xkcd.com/386/

[Ondra Satai Nekola]

http://lmgtfy.com/?q=flatmap+data+structure
http://lmgtfy.com/?q=flatmap+represented+in+list

Ale ono dost neznačí i to, když dáváš na podporu svého tvrzení link na stránky, které ukazují opak...

Na uvedených odkazech pracují pouze seznamy seznamů. To je málo.

Tak pošli odkaz na nějaký jiný solidní zdroj. Tentokrát zkus takový, který říká, co ty. Ne opak.

[Ondra Satai Nekola]

https://xkcd.com/386/

Přesně tak

[Kit]

Na uvedených odkazech pracují pouze seznamy seznamů. To je málo.

Tak pošli odkaz na nějaký jiný solidní zdroj. Tentokrát zkus takový, který říká, co ty. Ne opak.

Tak ještě jednou:
http://martinfowler.com/articles/collection-pipeline/flat-map.html

Map a function over a collection and flatten the result by one-level

[BoneFlute]

Ještě by asi bylo vhodné dodat, že nemusí jít jen o kolekce, ale že jde o hodně obecný koncept fungující i s Optional, Future apod.

Na vstupu nebo na výstupu? Já mám teda flatMap zafixováno tak, že vrací vždy kolekci. V ostatních případech se používají funkce s jiným jménem.

[zboj]

Ještě by asi bylo vhodné dodat, že nemusí jít jen o kolekce, ale že jde o hodně obecný koncept fungující i s Optional, Future apod.

Na vstupu nebo na výstupu? Já mám teda flatMap zafixováno tak, že vrací vždy kolekci. V ostatních případech se používají funkce s jiným jménem.

FlatMap je join.map a definuje se tak, aby splňovalo monadické zákony. Někdy se mu taky říká bind, ale až na terminologii je to obecný koncept vracející monadickou hodnotu a kolekce jsou jen jedna velmi specifická oblast použití.

[Ondra Satai Nekola]

Na uvedených odkazech pracují pouze seznamy seznamů. To je málo.

Tak pošli odkaz na nějaký jiný solidní zdroj. Tentokrát zkus takový, který říká, co ty. Ne opak.

Tak ještě jednou:
http://martinfowler.com/articles/collection-pipeline/flat-map.html

Map a function over a collection and flatten the result by one-level

Tak ještě jednou: Fowler píše, že je flatmap operace vyššího řádu, ne ta zhůvězilá datová struktura, co jsi popsal:

FlatMap je jednoduchý seznam, ve kterém se střídají klíče a jejich hodnoty.

[Ondra Satai Nekola]

Ještě by asi bylo vhodné dodat, že nemusí jít jen o kolekce, ale že jde o hodně obecný koncept fungující i s Optional, Future apod.

Na vstupu nebo na výstupu? Já mám teda flatMap zafixováno tak, že vrací vždy kolekci. V ostatních případech se používají funkce s jiným jménem.

Třebas v Javě je to otázka Streamu a ty nemusíš mít navázané jenom na kolekce, v Haskellu stačí functor, ve Scale GenTraversableOnce, v RX bývají nějaké ty Observables...

[ava]

Ještě by asi bylo vhodné dodat, že nemusí jít jen o kolekce, ale že jde o hodně obecný koncept fungující i s Optional, Future apod.

Na vstupu nebo na výstupu? Já mám teda flatMap zafixováno tak, že vrací vždy kolekci. V ostatních případech se používají funkce s jiným jménem.

Třebas v Javě je to otázka Streamu a ty nemusíš mít navázané jenom na kolekce, v Haskellu stačí functor, ve Scale GenTraversableOnce, v RX bývají nějaké ty Observables...

Záleží, v jakém kontextu se o flatMap mluví.

Dá se vnímat úžeji, jako operace na kolekcích spojující map+flatten. Takhle to budou chápat třeba Rubyisti (http://apidock.com/ruby/Enumerable/flat_map).

Nebo se dá vnímat šířeji, jako monadická operace bind (v haskellu >>=). Takhle to budou chápat třeba Scalisti.

Je asi vhodné se před diskuzí domluvit, který význam se bude používat, nebo si alespoň uvědomit, že možné a správné jsou oba, záleží na společnosti.

Jinak V Haskellu je třeba alespoň Monad. Functor má pouze map.

Ve scale jsou traversables jen jedna z věcí co flatMap umí, další jsou třeba to zmiňované Future, Option atp. For comprehension principiálně funguje na každé třídě, která má definována flatMap, (+map, filter/withFilter).

V Rx prakticky nic jiného než Observable není, a ano, umí flatMap