Newest at the top
2025-02-12 18:15:04 +0100 | <geekosaur> | (a compliant implementation should be free to choose UTF-8 or UTF-16 imo) |
2025-02-12 18:14:28 +0100 | <geekosaur> | hm. the Report doesn't specify what `Char` is beyond "a Unicode character" (IMO correctly), but the GHC manual doesn't explicitly state that its `Char` is a codepoint |
2025-02-12 18:09:22 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-02-12 18:08:11 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2025-02-12 18:04:04 +0100 | <geekosaur> | I think that should have been a detail of UCS-2/UTF-16, not polluting the core concept of "code point" |
2025-02-12 18:03:52 +0100 | yegorc | (~yegorc@user/yegorc) yegorc |
2025-02-12 18:02:51 +0100 | <geekosaur> | the business with surrogates in Unicode code points is rather bizarre, tbh |
2025-02-12 18:02:15 +0100 | <geekosaur> | :codepoint: is my understanding, yes |
2025-02-12 17:59:15 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-02-12 17:57:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-02-12 17:54:34 +0100 | sprotte24 | (~sprotte24@p200300d16f0a8e00790a95c75d7de89b.dip0.t-ipconnect.de) |
2025-02-12 17:54:06 +0100 | <c_wraith> | "Unicode contains 1,114,112 code points; currently, characters are assigned to more than 96,000 of them." If that sentence is fully accurate, that would make Char a code point. |
2025-02-12 17:53:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2025-02-12 17:53:30 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-02-12 17:51:01 +0100 | YaShhhh | (~YaShhhh@103.247.7.35) (Client Quit) |
2025-02-12 17:50:25 +0100 | <EvanR> | "a fancy integer between zero and 1114111"? |
2025-02-12 17:50:15 +0100 | YaShhhh | (~YaShhhh@103.247.7.35) |
2025-02-12 17:46:31 +0100 | <EvanR> | Char not only allows non-characters but utf-16 surrogates, private use area, |
2025-02-12 17:45:39 +0100 | <EvanR> | is there a good way to explain what Char is. Yeah it's a character, but what are all the possible elements. "unicode" is how it's described in the report, but |
2025-02-12 17:42:25 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2025-02-12 17:35:07 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
2025-02-12 17:26:29 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
2025-02-12 17:22:08 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
2025-02-12 17:20:54 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
2025-02-12 17:19:54 +0100 | user363627 | (~user@user/user363627) user363627 |
2025-02-12 17:16:14 +0100 | alp_ | (~alp@5.226.4.112) (Ping timeout: 260 seconds) |
2025-02-12 17:04:05 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-02-12 17:03:49 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Quit: ash3en) |
2025-02-12 17:00:26 +0100 | jespada | (~jespada@2800:a4:22f4:ae00:fc16:e598:5958:94e6) jespada |
2025-02-12 17:00:04 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-02-12 16:51:20 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-14-174-92-69-126.dsl.bell.ca) rekahsoft |
2025-02-12 16:49:25 +0100 | jrm | (~jrm@user/jrm) jrm |
2025-02-12 16:47:50 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
2025-02-12 16:43:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-02-12 16:38:58 +0100 | jespada | (~jespada@2800:a4:22f4:ae00:fc16:e598:5958:94e6) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-02-12 16:35:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-02-12 16:35:53 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
2025-02-12 16:32:02 +0100 | jrm | (~jrm@user/jrm) jrm |
2025-02-12 16:30:57 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2025-02-12 16:30:33 +0100 | jrm | (~jrm@user/jrm) (Remote host closed the connection) |
2025-02-12 16:30:17 +0100 | jrm | (~jrm@user/jrm) jrm |
2025-02-12 16:29:34 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 260 seconds) |
2025-02-12 16:24:43 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
2025-02-12 16:22:57 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-02-12 16:19:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-02-12 16:17:54 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
2025-02-12 16:16:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-02-12 16:12:18 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-02-12 16:10:33 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 276 seconds) |
2025-02-12 16:06:43 +0100 | Square | (~Square@user/square) Square |