ERC-1900 proposes a decentralized Type System for Ethereum, an on-chain type registry, and using these resources in order to separate definitions & rules from data in smart contracts.
Aside from the type libraries and storage contracts, developers can create contracts or libraries with pure functions , that know how to interact with the chosen types. We are separating business logic from the state. And this is the first step to a general functional programming system on Ethereum.
If you register these pure functions in the dType Registry and tell the Registry what type of inputs and outputs the function has, you can start doing some awesome things. You can have automation in the system.
And the implications are big considering possible future inter-op with the proposed Libra network, and finding commonality with Libra’s smart contracts (known as “Move Modules”).