2/ Feature #1: Type safety / static type checks.
It’s very important to catch programming errors at the compilation stage to prevent financial losses. #Rell is much more type-safe than #SQL, and it makes sure that types returned by queries match types used in procedural code.
2/ 特点