Text #10023

auto monad = [](auto v) { return [=] { return v; }; }; auto bind = [](auto m) { return [=](auto fvm) { return fvm(m()); }; }; static_assert(bind(monad(2))(monad)() == monad(2)());

—from C++26 Standard Draft N4964 - Lambdas in C++ Constant Expressions, a software by C++ Committee

Active since December 6, 2023.
179 total characters in this text.

View Pit Stop page for this text

Leaders

View ranks through of 863
Rank Username WPM Accuracy Date
802. Lily (lilsxx) 19.08 93% 2024-08-21
803. Cube_123 (cube_123) 19.07 92% 2025-05-25
804. bander (8havya) 19.01 90% 2023-12-25
805. Dave (thewave91) 18.96 94.3% 2024-09-25
806. JAVI (javimadrid5) 18.66 96% 2025-02-16
807. lmprpch (lmprpch) 18.57 92% 2024-09-12
808. astralalgortihm (astralalgo... 18.42 93% 2024-07-26
809. syna (syna51) 18.41 89% 2024-08-24
810. abhishek (abhishree_123) 18.37 95% 2024-07-12
811. demonlord (demonlord221) 18.35 87% 2024-06-19
812. 💀☠Typist👑Stone💍 ... 18.33 91% 2025-01-06
813. Shardulsenpai@ (shardulsenpai) 18.30 86% 2025-01-06
814. Salam Adel (salam1800) 18.24 90% 2024-01-23
815. 2411 (khew123) 18.22 89% 2025-01-15
816. Savio Milen Shaji (saviomilen) 18.21 94% 2024-08-19
817. Kamlesh (kamlesh504) 18.20 87% 2024-04-28
818. NSM101 (nsm101) 18.19 90% 2025-06-03
819. Mohamed massous (hamassous) 18.19 88% 2024-10-20
820. Pentametric (pentametric) 18.10 92% 2024-05-12
821. sina (sina123) 18.08 94% 2023-12-31
822. Sicario Gato (sicario_gato) 18.04 89% 2023-12-23
823. Bemin Dawoud (bemin_dawoud) 18.01 93% 2025-03-28
824. mohit bhawnani (mohitbhawnani) 17.81 93% 2024-12-22
825. dallari (dallari7) 17.71 94% 2023-12-29
826. Hunter (hunter_hunter67) 17.39 91% 2024-01-29
827. igor k. (pythonhack) 17.30 93% 2024-06-22
828. Pato7337 (pato7337) 17.09 94% 2024-10-02
829. Damian Alain Oyola Gutierre... 16.99 92% 2024-09-08
830. godspeed (rajgodspeed) 16.89 91% 2023-12-27
831. lth (lth314) 16.80 89% 2024-09-24

Universes

Universe Races Average WPM First Race
Coder Edition 2,283 37.05 December 6, 2023