fork download
  1. open System
  2.  
  3. printfn "UNDOCUMENTED Decimal (NOT Octal) \\DDD requires 3 digits: TAB\9TAB\09TAB\009TAB";
  4. printfn "\\DDD notation is ISO-8859-1 (U+0000 - U+00FF): {\128-\129-\144-\152-\160-\161}";
  5. printfn "CHAR for \\DDD = (DDD %% 256); Max = \\999 (U+00E7): {\365-\621-\6210-\176-\100-\999-\1000}";
  6. printfn "---------------------";
  7.  
  8. printfn "UNDOCUMENTED \\x only works with two hex digits: TAB\x9TAB\x090TAB";
  9. printfn "\\x is ISO-8859-1: 0x80 = \x80, 0x81 = \x81, 0x90 = \x90, 0x9A = \x9A, 0x9F = \x9F";
  10. printfn "\\x is _not_ creating UTF-8: \xE0\xBC\x82"; // UTF-8 bytes for U+0F02
  11. printfn "---------------------";
  12.  
  13. printfn "UTF-16 via \\u: \u0F02"; // ༂
  14. printfn "UTF-16 Surrogate Pair via \\u: \uD83D\uDC7E"; // 👾 ( U+1F47E )
  15. printfn "---------------------";
  16.  
  17. printfn "Code Point / UTF-32 via \\U: \U00000F02"; // ༂
  18. printfn "Code Point / UTF-32 via \\U: \U0001F47E"; // 👾
  19.  
Success #stdin #stdout 0.01s 132544KB
stdin
Standard input is empty
stdout
UNDOCUMENTED Decimal (NOT Octal) \DDD requires 3 digits: TAB\9TAB\09TAB	TAB
\DDD notation is ISO-8859-1 (U+0000 - U+00FF): {€---˜- -¡}
CHAR for \DDD = (DDD % 256); Max = \999 (U+00E7): {m-m-m0-°-d-ç-d0}
---------------------
UNDOCUMENTED \x only works with two hex digits: TAB\x9TAB	0TAB
\x is ISO-8859-1: 0x80 = €, 0x81 = , 0x90 = , 0x9A = š, 0x9F = Ÿ
\x is _not_ creating UTF-8: ༂
---------------------
UTF-16 via \u: ༂
UTF-16 Surrogate Pair via \u: 👾
---------------------
Code Point / UTF-32 via \U: ༂
Code Point / UTF-32 via \U: 👾