End-to-End Type-Safety ​

End-to-end type-safety refers to a system in which every component of the system is checked for type consistency, meaning that data is passed between components only if the types of the data are compatible.

This can help prevent bugs and errors by catching type mismatches early in the development process, rather than at runtime.

Ensure that the system is working in a predictable way, thus reducing the risk of unexpected behavior.

Elysia support End-to-End Type-Safety between client-server with the Eden.

Elysia allows you change type on server and reflect the type definitions on the client, helping with auto-completion and type-enforcement.

With End-to-End Type-Safety, migrating from old to new type also reflect which path of the codebase need to be migrate by line-of-code level.

See Eden for more example.