Race Updates Discord About Merch
Home Profile History Competitions Texts Messages Friends Upgrade

typeracer

Pit Stop

Record your races with a typeracer account:

Create Your Account
  • Save your race history and scores.
  • Customize your profile and racecar.
  • It’s free, why not?
Racer GAfan(dr34ml3nd) (gafan_dr34ml3nd)
Race Number 52
Date Fri, 31 Jan 2025 16:22:49 +0000
Universe code
Speed 29 WPM Try to beat?
Accuracy 89.6%
Rank 3rd place (out of 3)

Text typed:

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)());
C++26 Standard Draft N4964 - Lambdas in C++ Constant Expressions (software) by C++ Committee (see stats)

Typing Review:

Race text:
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)());
Time:
0:00
Speed:
Accuracy:
Typing replay:
Analysis:
Mistakes:
  1. auto
  2. monad
  3. [](auto
  4. {
  5. return
  6. bind
  7. [](auto
  8. return
  9. [=](auto
  10. fvm(m());
  11. };
  12. };
  13. static_assert(bind(monad(2))(monad)()