ENCODE
-
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.

