Pytania otagowane jako proof

5
Konkretny przykład pokazujący, że monady nie są zamknięte w kompozycji (z dowodem)?
Powszechnie wiadomo, że funktory aplikacyjne są zamknięte w kompozycji, ale monady nie. Jednak mam problem ze znalezieniem konkretnego kontrprzykładu pokazującego, że monady nie zawsze komponują. Ta odpowiedź daje [String -> a]jako przykład nie-monady. Po trochę zabawie z tym, wierzę w to intuicyjnie, ale ta odpowiedź mówi tylko, że „złączenia nie …
9
Co to jest lemat pompowania w kategoriach laika?
Widziałem to pytanie i byłem zaciekawiony, jaki był lemat o pompowaniu ( Wikipedia niewiele pomogła). Rozumiem, że jest to w zasadzie teoretyczny dowód, który musi być prawdziwy, aby język był w określonej klasie, ale poza tym tak naprawdę go nie rozumiem. Czy ktoś chciałby spróbować wyjaśnić to na dość szczegółowym …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.