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 809
Rank Username WPM Accuracy Date
748. Greg (divisive2) 19.57 93% 2024-09-26
749. rooh (roohullah) 19.40 93% 2025-02-26
750. Marko (hawk691) 19.33 93.2% 2025-01-02
751. bentor TOA (gorengikan) 19.26 92% 2025-01-15
752. Kate (kieu115) 19.18 93% 2024-11-05
753. Alvaro Ricaldi Sanchez (alv... 19.14 93% 2025-04-06
754. Lily (lilsxx) 19.08 93% 2024-08-21
755. bander (8havya) 19.01 90% 2023-12-25
756. Dave (thewave91) 18.96 94% 2024-09-25
757. lmprpch (lmprpch) 18.57 92% 2024-09-12
758. astralalgortihm (astralalgo... 18.42 93% 2024-07-26
759. syna (syna51) 18.41 89% 2024-08-24
760. abhishek (abhishree_123) 18.37 95% 2024-07-12
761. demonlord (demonlord221) 18.35 87% 2024-06-19
762. 💀☠Typist👑Stone💍 ... 18.33 91% 2025-01-06
763. Shardulsenpai@ (shardulsenpai) 18.30 86% 2025-01-06
764. Salam Adel (salam1800) 18.24 90% 2024-01-23
765. 2411 (khew123) 18.22 89% 2025-01-15
766. Savio Milen Shaji (saviomilen) 18.21 94% 2024-08-19
767. Kamlesh (kamlesh504) 18.20 87% 2024-04-28
768. Mohamed massous (hamassous) 18.19 88% 2024-10-20
769. Pentametric (pentametric) 18.10 92% 2024-05-12
770. sina (sina123) 18.08 94% 2023-12-31
771. Sicario Gato (sicario_gato) 18.04 89% 2023-12-23
772. Bemin Dawoud (bemin_dawoud) 18.01 93% 2025-03-28
773. mohit bhawnani (mohitbhawnani) 17.81 93% 2024-12-22
774. dallari (dallari7) 17.71 94% 2023-12-29
775. Hunter (hunter_hunter67) 17.39 91% 2024-01-29
776. igor k. (pythonhack) 17.30 93% 2024-06-22
777. Pato7337 (pato7337) 17.09 94% 2024-10-02

Universes

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