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 866
Rank Username WPM Accuracy Date
714. Luis Rodrigo Ramos Martinez... 23.24 92% 2024-06-09
715. Riaan (theofficialplayer) 23.19 91% 2024-11-11
716. Armando (jos3ar) 23.18 90% 2024-10-14
717. Jhonny Condori (jhonny_ct) 23.15 95% 2025-05-30
718. Medhansh (medhansh0907) 23.15 89% 2024-04-21
719. Novadeluxe (fuccboy420) 23.13 91% 2024-12-15
720. Mohammad Mahmudul Kabir Fah... 23.08 97% 2025-02-04
721. SoweakSoslow (soweaksoslow) 23.04 100% 2025-01-23
722. Ehs (racer_ehs) 23.01 90% 2024-08-07
723. Mokhtar (mukhktar) 23.01 92% 2024-04-28
724. Kenny (k3wi0908) 22.97 90% 2025-04-23
725. dmcnimpo (nimpo) 22.97 92% 2024-09-19
726. this is my instagram: ethan... 22.96 94% 2024-12-11
727. genieghost (genieghost) 22.96 93% 2024-02-16
728. Soumil Mukhopadhyay (random... 22.94 96% 2024-08-19
729. gabriel flores (gabogood) 22.92 92.9% 2025-04-01
730. ADITYA (adityatype) 22.85 93% 2024-05-11
731. Rincewind (gato_ninja) 22.76 94.5% 2024-03-19
732. uniquestar (uniquestar121) 22.74 94% 2024-09-07
733. AshuraArata (ashura_arata) 22.71 96% 2023-12-15
734. Liononfire04 (liononfire) 22.67 92% 2024-04-10
735. sya (cha2) 22.67 92% 2024-06-17
736. Hasan Berkant (prediger) 22.64 89% 2024-02-16
737. riyasa_2301020003 (riyasa) 22.63 93% 2024-03-21
738. matthew (tanim19955) 22.62 92% 2025-04-29
739. I like frogs (luluthegreat) 22.56 94% 2024-01-29
740. alvaro ricaldi sanchez (alv... 22.49 91% 2025-05-08
741. Damien (damien___) 22.46 93% 2025-03-28
742. CrappyDino (crappydino) 22.46 96% 2024-07-23
743. Thao (peooo) 22.42 92% 2024-11-05

Universes

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