[幻想] In the spirit of FRP, I should be able to specify a constexpr function (maybe add a surjective keyword), and expect the interpreter to automatically convert it to an index lookup table

對嘛！Do it please
www.cse.psu.edu/~pxy125/zhang-date10.pdf