ENCODE

  1. FLAT uses formal languages to type strings
    FLAT uses context-free grammars as type definitions to distinguish semantically different string encodings, enabling type-safe handling of URLs, file paths, and other structured data.