pixelherodev, 1 year ago

@RL_Dane @benjaminhollon

• Sets of X can implicitly cast to sets of Y if X can cast to Y
• The shell has full knowledge of the type graph at all times; it remains in memory
• This is fairly cheap, and makes a lot of otherwise unreasonable things really easy and blazing fast

Shell state [including the type graph] persists even on power loss; it's backed by disk in whatever format I find is optimal

[2/N]