Finally! Higher-order functions and lambdas coming to Aptos Move. They come through the backdoor via “inlined” functions, avoiding any VM extensions and related security concerns. Happy filter/map/foreach #MoveLang programming on #Aptos_Network ✍️!
Conversation
Replying to
In fact all the work around this Move extension started much earlier, about one year ago at Meta. The Move Prover team determined that in order to deal with the notorious challenges of loop invariants, the best would be to avoid loops in the first place! And here we are…
1
6
But there is a lot more work to do to leverage this new feature in the Move prover! The lambda expressions used in functions like `for_each` can modify state in the context, and those modifications need to be made explicit in the spec language.
5
Replying to
Amazing how all the news comes out when you need your bags pumped to offload the ridiculously high percentage of tokens held by the teams and VCs