Logs: liberachat/#haskell
| 2026-02-25 09:47:15 | × | fp quits (~Thunderbi@130.233.70.214) (Ping timeout: 245 seconds) |
| 2026-02-25 09:49:37 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-25 09:50:34 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-02-25 09:52:19 | × | vulpine quits (xfnw@user/meow/xfnw) (Server closed connection) |
| 2026-02-25 09:52:39 | → | vulpine joins (xfnw@user/meow/xfnw) |
| 2026-02-25 10:05:47 | → | Digit joins (~user@user/digit) |
| 2026-02-25 10:06:05 | × | prdak quits (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2026-02-25 10:06:24 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-02-25 10:10:39 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 2026-02-25 10:10:51 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2026-02-25 10:10:51 | prdak1 | is now known as prdak |
| 2026-02-25 10:14:23 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 2026-02-25 10:14:34 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2026-02-25 10:14:34 | prdak1 | is now known as prdak |
| 2026-02-25 10:16:29 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 2026-02-25 10:19:31 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-02-25 10:19:31 | prdak1 | is now known as prdak |
| 2026-02-25 10:23:42 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 246 seconds) |
| 2026-02-25 10:26:42 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-25 10:27:02 | × | natto17 quits (~natto@129.154.243.159) (Read error: Connection reset by peer) |
| 2026-02-25 10:27:03 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-02-25 10:28:18 | × | carbolymer quits (~carbolyme@delirium.systems) (Read error: Connection reset by peer) |
| 2026-02-25 10:28:24 | → | natto17 joins (~natto@129.154.243.159) |
| 2026-02-25 10:28:27 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-02-25 10:28:48 | → | carbolymer joins (~carbolyme@delirium.systems) |
| 2026-02-25 10:35:37 | × | mangoiv quits (~mangoiv@2a01:4f9:c012:6c0e::) (Changing host) |
| 2026-02-25 10:35:37 | → | mangoiv joins (~mangoiv@user/mangoiv) |
| 2026-02-25 10:38:21 | → | uli-fem joins (~uli-fem@118.210.1.123) |
| 2026-02-25 10:42:28 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2026-02-25 10:42:59 | × | systemfault quits (sid267009@about/typescript/member/systemfault) (Server closed connection) |
| 2026-02-25 10:43:14 | → | systemfault joins (sid267009@about/typescript/member/systemfault) |
| 2026-02-25 10:50:16 | × | Arsen quits (16abab341f@gentoo/developer/managarm.dev.Arsen) (Remote host closed the connection) |
| 2026-02-25 10:50:24 | → | Arsen joins (16abab341f@gentoo/developer/managarm.dev.Arsen) |
| 2026-02-25 10:51:38 | × | uli-fem quits (~uli-fem@118.210.1.123) (Ping timeout: 252 seconds) |
| 2026-02-25 10:53:36 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2026-02-25 10:56:57 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-25 10:57:39 | × | PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (Server closed connection) |
| 2026-02-25 10:58:05 | → | PotatoGim joins (sid99505@id-99505.lymington.irccloud.com) |
| 2026-02-25 11:00:16 | → | uli-fem joins (~uli-fem@118.210.1.123) |
| 2026-02-25 11:08:25 | × | uli-fem quits (~uli-fem@118.210.1.123) (Ping timeout: 248 seconds) |
| 2026-02-25 11:12:19 | × | Kamuela quits (sid111576@id-111576.tinside.irccloud.com) (Server closed connection) |
| 2026-02-25 11:12:34 | → | Kamuela joins (sid111576@id-111576.tinside.irccloud.com) |
| 2026-02-25 11:14:29 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2026-02-25 11:31:17 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-25 11:36:02 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-02-25 11:40:02 | → | uli-fem joins (~uli-fem@118.210.1.123) |
| 2026-02-25 11:43:55 | <chromoblob> | why can't the compiler itself choose the optimal representation for strings even when code uses String? |
| 2026-02-25 11:48:04 | <probie> | Without forcing "whole program compilation" that's pretty much impossible |
| 2026-02-25 12:01:08 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 2026-02-25 12:02:15 | → | spew joins (~spew@user/spew) |
| 2026-02-25 12:02:15 | × | uli-fem quits (~uli-fem@118.210.1.123) (Ping timeout: 255 seconds) |
| 2026-02-25 12:04:05 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-02-25 12:08:21 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 246 seconds) |
| 2026-02-25 12:12:01 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-25 12:14:49 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2026-02-25 12:15:00 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-25 12:17:16 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 2026-02-25 12:18:19 | × | berberman quits (~berberman@user/berberman) (Server closed connection) |
| 2026-02-25 12:18:29 | → | berberman joins (~berberman@user/berberman) |
| 2026-02-25 12:20:40 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-02-25 12:24:05 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-02-25 12:32:53 | → | uli-fem joins (~uli-fem@118.210.1.123) |
| 2026-02-25 12:34:31 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-02-25 12:35:54 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-02-25 12:36:26 | <merijn> | chromoblob: Because "optimal" is a hard thing to define :p |
| 2026-02-25 12:36:38 | <merijn> | chromoblob: That said, string literals aren't actually even [Char] in compiled code |
| 2026-02-25 12:36:52 | <merijn> | String literals are compiled to dense byte blobs that get lazily converted into [Char] |
| 2026-02-25 12:37:32 | × | uli-fem quits (~uli-fem@118.210.1.123) (Ping timeout: 256 seconds) |
| 2026-02-25 12:38:59 | × | Moyst quits (~moyst@user/moyst) (Server closed connection) |
| 2026-02-25 12:39:48 | <chromoblob> | well, no need to perfect things, but it'd be cool if Strings were stored as a UTF-8 buffer + a thunk for the rest of string |
| 2026-02-25 12:40:11 | <chromoblob> | yeah, Unicode complicated |
| 2026-02-25 12:40:14 | → | Moyst joins (~moyst@user/moyst) |
| 2026-02-25 12:40:17 | <chromoblob> | complicates * |
| 2026-02-25 12:40:23 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-02-25 12:40:48 | <chromoblob> | could use UTF-32 or "UTF-24" |
| 2026-02-25 12:41:41 | <merijn> | chromoblob: That's just Text? |
| 2026-02-25 12:41:45 | <merijn> | Rather |
| 2026-02-25 12:41:47 | <merijn> | Lazy Text |
| 2026-02-25 12:42:02 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-02-25 12:42:08 | <chromoblob> | well, the source code would be portable... |
| 2026-02-25 12:42:11 | <merijn> | chromoblob: Basically automatically deciding optimal layout is hard, if not impossible |
| 2026-02-25 12:42:42 | <merijn> | That's the reason why Haskell has like 5-8 string types (depending how you count :p) |
| 2026-02-25 12:42:55 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-02-25 12:43:03 | <chromoblob> | i mean, there are almost always very easy to decide optimizations |
| 2026-02-25 12:44:00 | → | poscat joins (~poscat@user/poscat) |
| 2026-02-25 12:44:19 | <merijn> | chromoblob: I mean, feel free to try it :> |
| 2026-02-25 12:44:57 | <chromoblob> | ;) |
| 2026-02-25 12:44:59 | × | comonad quits (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Server closed connection) |
| 2026-02-25 12:45:16 | → | comonad joins (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) |
| 2026-02-25 12:50:04 | × | Athas quits (athas@2a01:7c8:aaac:1cf:10a0:cce8:21cf:53aa) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2026-02-25 12:50:17 | → | Athas joins (athas@2a01:7c8:aaac:1cf:5b23:7d4e:8d70:47e1) |
| 2026-02-25 12:52:05 | → | uli-fem joins (~uli-fem@118.210.1.123) |
| 2026-02-25 12:52:37 | <__monty__> | chromoblob: Char is analogous to UTF-32 already, no? |
| 2026-02-25 12:53:27 | <__monty__> | So that leaves having a "buffer" instead of a list. And that just doesn't play as nice with functional idioms. |
| 2026-02-25 12:54:15 | <chromoblob> | speed and memory is "nicer" to me than "niceness" |
| 2026-02-25 12:55:05 | <__monty__> | That's the thing, it'd be slower for most of the code written to use String. |
| 2026-02-25 12:56:18 | × | uli-fem quits (~uli-fem@118.210.1.123) (Ping timeout: 246 seconds) |
| 2026-02-25 12:58:34 | → | chenjf joins (~chenjf@68.64.178.54) |
| 2026-02-25 13:02:57 | × | chenjf quits (~chenjf@68.64.178.54) (Client Quit) |
| 2026-02-25 13:08:09 | <merijn> | hiredman: Then just use Text everywhere :P |
All times are in UTC.