Bottom Type--Type Theory

[Walter Bright]

On 1/16/2019 3:11 PM, luckoverthere wrote:
> So you want to add something you don't fully understand and aren't sure if there 
> is even any benefit at all. You just presume there to be a benefit? I don't 
> think you should think of void and void* as the same thing. Pointers are their 
> own type, if all you have is a void* and no other information, you might as well 
> be pointing at nothing. I suggest you figure out what it is you actually want to 
> implement, this is no better than cowboy programming. Hell might even be worse 
> than a pilot wearing a blindfold with someone whispering in his ear that he is 
> going the right direction. Don't implement something you obviously don't know 
> enough about. I can only imagine what kind of disaster this is going to be in 
> comparison to auto-encoding.

A fair point, though the rudeness is disappointing. I'd appreciate help with it. 
I hope this DIP stimulates something more positive than excoriation. Consider it 
a challenge!