I think you have to specify a bit more what "modern" means in terms of language design. Most languages have a C-like syntax today, which is very old, but I don'

I think you have to specify a bit more what "modern" means in terms of language design. Most languages have a C-like syntax today, which is very old, but I don't think you're thinking about "age" but rather something like features we use in newly created languages? The only reason I could see ReasonML being called "modern" compared to OCaml would be because of the C-like syntax, but that syntax is very old and would be the opposite of "modern" considering age only.