I mean the semantics of the language and the experience of working with it. Elixir and Gleam are rather conventional programming languages, while Cure’s feature set would make it very different.
It’s hard to say as Cure isn’t documented yet, but the stated features could make it a good deal more sophisticated than languages like Idris, and potentially even more challenging to understand and to write.
I agree syntax is important (I believe Gleam’s syntax was a key part of it’s success), but the challenge of learning to use dependant types and SMT-validation are dramatically greater than the complexities found in other programming languages, so in this specific case I think syntax is comparatively unimportant. To replicate the functionality of a trivial program in Elixir or JavaScript in a language with these features would be quite an accomplishment, and indicate the programmer has invested a great deal of time and effort into studying advanced type theory and its application.
