[Feature Request] Regex support in move

[zjma]

🚀 Feature Request

It would be great if allowed to do things like regex::match(b"^https://some.website/(?<user_id>\w+)$", b"https://some.website/user1") in move.

Motivation

It's supported in almost every programming language, by default :)

Pitch

A regex module with basic functionalities like below in aptos-stdlib would be good.

module regex {
  struct Match;
  struct Regex;
  public fun compile(pattern: vector<u8>): Regex;
  public fun match(regex: &Regex, s: vector<u8>): Match;
  public fun is_matched(match: &match): bool;
  public fun matched_group(match: &match, group_id: u64): vector<u8>;
}

better if implemented purely in Move.

Describe alternatives you've considered
Implementing in rust probably gives better performance, but can be complicated due to gas charging.
Advanced features like named group can come later in a v2.

Are you willing to open a pull request? (See CONTRIBUTING)
yes

Additional context