V Microsoft Research jsou totiž fakt zajímaví lidi a působí to na mě, že tam funkcionální přístup začíná frčet. Jsem docela zvědavej, čeho se od nich v blízké budoucnosti dočkáme
Uz z nich vypadl F#, Orleans, LINQ, async/await pro C# (a jazyky jako C-omega, Polyphonic C# implementujici CSP), DryadLINQ/Naiad, Reactive Extensions... A jsou tam super lidi i mimo funkcionalni programovani: Tony Hoare (logika), Leslie Lamport (distributed systemy), Luca Cardelli (type systemy, computational biology)... MSFT Research je super.
Monoid je šikovný koncept, jenže 1. dá se vysvětlit asi tak za 15 minut 2. není k tomu TK vůbec potřeba 3. i bez vysvětlování to chytrý člověk pochopí, pokud mapreduce používá - čili pro něj je to dobrý jako takový explicitní připomenutí "na tohle vole mysli!"
Monoid byl mozna moc jednoduchy pripad, ale jak pisete - i to explicitni pripomenuti se hodi. Zvlast, kdyz ho pak ma clovek v hlave porad, protoze monoidy pouziva vedome pro vsechny mozne agregace. Od MapReduce, pres zpracovani proudu realtime transakci az po validace formularu.
Funktory taky clovek pochopi za chvilku i bez TK, ale kdyz se pak tech konceptu zacne objevovat vic, daji se diky ni skladat a vznikaji veci jako applicative, alternative, MonadPlus... TK je takovy funkcionalni LEGO.