Viewing profile — obua

I know you don't believe in formal logic, but maybe give this paper a chance: https://obua.com/publications/philosophy-of-abstraction-logi...

You seem to also not know what "not statically typed" means. It certainly does not mean "not properly scoped".

I am trying to formalise this with Cosmopolitan Identifiers ( https://obua.com/publications/cosmo-id/3/ ). These identifiers consist of words and symbols. Symbols are normalised ba…