Logs: liberachat/#haskell
| 2025-12-23 18:38:08 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-12-23 18:38:30 | <hololeap> | I _think_ you can already do that with OverloadedLists |
| 2025-12-23 18:38:56 | <hololeap> | but it shares the same syntax with list [1, 2, 3] |
| 2025-12-23 18:39:12 | → | Pixi joins (~Pixi@user/pixi) |
| 2025-12-23 18:39:25 | <hololeap> | and you have to be careful not to give it [] or else you get a runtime error |
| 2025-12-23 18:39:34 | <hololeap> | but I might be wrong on the details |
| 2025-12-23 18:40:46 | <haskellbridge> | <loonycyborg> Yes, I think if syntax is shared then there's more potential for ambiguity |
| 2025-12-23 18:40:46 | <hololeap> | also, I have no shame in throwing a `NonEmpty.fromList [1, 2, 3]` into my code |
| 2025-12-23 18:41:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 18:41:32 | <hololeap> | esp for tests and things where you control the input |
| 2025-12-23 18:43:05 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2025-12-23 18:43:34 | <hololeap> | but [1 | 2, 3] in theory makes sense, but it might overlap with list comprehension syntax |
| 2025-12-23 18:43:44 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-23 18:44:24 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2025-12-23 18:44:34 | <hololeap> | ghci> [1 | 2, 3] |
| 2025-12-23 18:44:42 | <hololeap> | Could not deduce ‘Num Bool’ arising from the literal ‘2’ |
| 2025-12-23 18:44:52 | <hololeap> | it's trying to process it as a list comprehension |
| 2025-12-23 18:45:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 18:46:42 | <int-e> | it keeps surprising me that people find the NonEmpty overhead worthwhile |
| 2025-12-23 18:46:55 | <monochrom> | Please don't bring in Prolog list syntax. :( |
| 2025-12-23 18:46:56 | <geekosaur> | it'll also potentially conflict with quasiquotations |
| 2025-12-23 18:47:06 | <geekosaur> | I'd consider keeping the `:|` |
| 2025-12-23 18:47:27 | → | gentauro joins (~gentauro@user/gentauro) |
| 2025-12-23 18:48:43 | <monochrom> | Oh missed a pun opportunity! Here: Please don't bring in Prolog list syntax. :| |
| 2025-12-23 18:48:49 | <monochrom> | (hehe) |
| 2025-12-23 18:49:04 | <hololeap> | int-e: I think it would be even more useful if they brought Traversable1 and Apply into base. it lets you traverse _into_ (as oppsed to over) Maps |
| 2025-12-23 18:49:50 | <hololeap> | traverse1 (\(x,y) -> Map.singleton x y) :: NonEmpty (x,y) -> Map x (NonEmpty y) |
| 2025-12-23 18:49:59 | <hololeap> | not the most illuminating example :) |
| 2025-12-23 18:50:15 | <monochrom> | What is Apply? |
| 2025-12-23 18:50:26 | <hololeap> | it's Applicative sans `pure` |
| 2025-12-23 18:50:34 | <monochrom> | Ah thanks. |
| 2025-12-23 18:50:44 | <hololeap> | which Map is a perfect example of |
| 2025-12-23 18:50:56 | <monochrom> | May I call it Applicable instead? >:) |
| 2025-12-23 18:51:18 | <hololeap> | sure thing |
| 2025-12-23 18:51:22 | <monochrom> | <-- uses dad jokes for meaningful names :) |
| 2025-12-23 18:52:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 18:56:44 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2025-12-23 18:57:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 18:57:56 | × | somemathguy quits (~somemathg@user/somemathguy) (Client Quit) |
| 2025-12-23 19:02:05 | <__monty__> | int-e: Is there actually extra overhead? Or does it come in the form of lack of fusion? |
| 2025-12-23 19:02:13 | → | cyphase joins (~cyphase@user/cyphase) |
| 2025-12-23 19:03:01 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 2025-12-23 19:04:25 | <int-e> | __monty__: I'm talking about programmer effort. Though replacing the top-level constructory by another one isn't free; I'm pretty sure that GHC won't reuse one for the other because the tags are different for different types. Even though it will, technically, work. |
| 2025-12-23 19:05:24 | <int-e> | Uh, or not since [] is the first constructor of [a]. So pointer tags would be wrong. |
| 2025-12-23 19:07:29 | <int-e> | "programmer effort" is hard to objectively quantify though because compared to just using lists, it includes both time spent on extraneous conversions and time saved on debugging empty list errors. |
| 2025-12-23 19:08:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 19:12:21 | × | iqubic quits (~sophia@2601:602:9203:1660:3bd8:1b23:71a3:5898) (Remote host closed the connection) |
| 2025-12-23 19:13:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 19:18:22 | × | shaeto quits (~Shaeto@94.25.234.244) (Quit: WeeChat 4.1.1) |
| 2025-12-23 19:19:14 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-23 19:20:11 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-12-23 19:24:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 19:30:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-23 19:31:29 | → | CipherLab joins (~NSA@2a0d:5600:24:1375::f1e) |
| 2025-12-23 19:33:38 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-23 19:33:41 | × | CryptLab quits (~NSA@2a0d:5600:24:1375::f1e) (Ping timeout: 244 seconds) |
| 2025-12-23 19:34:49 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-12-23 19:34:59 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-12-23 19:53:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 19:59:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 20:09:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 20:11:18 | × | trickard quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-23 20:11:31 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 20:14:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 20:18:59 | trickard_ | is now known as trickard |
| 2025-12-23 20:20:50 | × | tromp quits (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-23 20:25:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 20:26:40 | → | tromp joins (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) |
| 2025-12-23 20:27:17 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-23 20:30:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-23 20:33:56 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:e0a7:677c:4fbf:6fab) |
| 2025-12-23 20:38:15 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:e0a7:677c:4fbf:6fab) (Ping timeout: 245 seconds) |
| 2025-12-23 20:40:58 | × | tromp quits (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-23 20:41:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 20:44:58 | → | tromp joins (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) |
| 2025-12-23 20:45:43 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-23 20:46:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 20:54:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 20:58:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-23 20:59:36 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-23 21:01:25 | → | lockna_ joins (~lockna@193-81-168-132.hdsl.highway.telekom.at) |
| 2025-12-23 21:01:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-23 21:08:51 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-12-23 21:12:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 21:16:44 | → | tromp joins (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) |
| 2025-12-23 21:17:44 | _\_ | is now known as ___ |
| 2025-12-23 21:18:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-23 21:20:13 | → | aetepe joins (~aetepe@188.119.22.59) |
| 2025-12-23 21:20:25 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2025-12-23 21:28:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 21:32:46 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-12-23 21:33:07 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-12-23 21:33:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 21:34:36 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-12-23 21:35:43 | × | petrichor quits (~jez@user/petrichor) (Ping timeout: 240 seconds) |
| 2025-12-23 21:38:33 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 250 seconds) |
| 2025-12-23 21:44:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 21:46:01 | × | xff0x quits (~xff0x@2405:6580:b080:900:1f2a:d9f9:9fbc:2d4) (Ping timeout: 246 seconds) |
| 2025-12-23 21:47:00 | → | xff0x joins (~xff0x@2405:6580:b080:900:d9e4:809e:15d4:e168) |
| 2025-12-23 21:49:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
All times are in UTC.