Nemusíš hned urážet,
Nefandi si

ono přesné vyjadřování je poměrně důležité, aspoň teda když jde o matiku, jinak se diskuse vždy zvrtne, protože dochází k nedorozuměním.
Jo, ale při hovoru s inteligentníma lidma se často používají zkratky a teprve když si lidi nerozumí, tak se zeptají a doupřesní. Oproti tomu mezi anonymama je běžný, že si lidi začnou honit triko na krávovině.
Přesný vyjadřování je potřeba, ale ne samoúčelně a ne proto, aby člověk ukojil fašisty. Viz:
Každá monáda má bind
Fakt? "Monáda
má bind"? Není to spíš tak, že monáda je nějaká struktura, která má nějaké vlastnosti a jedním ze způsobů, jak monádu definovat, je (kromě jiného) bind?
takže jde řetězit
Monáda "jde řetězit"? Fakt? V jakém smyslu? Co nejde řetězit? Opravdu jde řetězit
monáda?
ale nevím, jestli je vhodné ji takto definovat,
Já to vím: není vhodné ji takto definovat, protože to že "něco jde zřetězit" není žádná definice, natož monády.
tady jde spíš o zákonitosti, které to řetězení zachovává (především asociativita).
"Především"? Proč? "Monad laws" jsou (v obvyklém znění) tři a všechny musí být splněny. Proč by asociativita měla být důležitější než jiné?
Vidíš, honit si triko na kokotinách je fakt lehký
