obua

4 ms·

1. 1.▲
   by obua 5y ago

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

   You seem to also not know what "not statically typed" means. It certainly does not mean "not properly scoped".
3. 3.▲
   by obua 5y ago

   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 based on how they look like, and
4. 4.▲
   A New Semantics for Local Lexing(obua.com)

   2 points by obua 5y ago|0 comments