Hacker News Reader

this is cool How does the MVM avoid paradoxes with Types as Values and Expressions as Values?

having been work with both json and pb, and i'd say pb is pretty solid.

how is this better than PB?

I'm not sure which paradoxes you are referring to. Type systems are used for a lot of things, in Mycelium a Type is an encoding strategy for it's Values. And just like I could explain the encoding strategy to you in text, the Type can be stored as bits representing that strategy, so a machine can read the Type and know how to decode Values using the strategy. Eventually this ends with predefined constants at the Type of a Type of a Value level, so there's a fixed point instead of an infinity.

Reply on news.ycombinator.com