Regarding goals, from a quick check on both, the essential difference is Cure has dependent types with SMT-backed validation. So, as mentioned in homepage, is oriented towards domains requiring correctness over convenience, whereas Gleam targets general development. (Beyond goals for anyone that hasn't heard Gleam before, Cure appeared out of nowhere recently and seems like AI slop, Gleam exists for few years and people are using it to make actual projects.)