Logs: liberachat/#haskell
| 2025-10-10 21:52:25 | → | Pixi__ joins (~Pixi@user/pixi) |
| 2025-10-10 21:53:34 | → | peterbecich1 joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com) |
| 2025-10-10 21:53:47 | → | vetkat2 joins (~vetkat@user/vetkat) |
| 2025-10-10 21:55:57 | → | tccq` joins (~user@71.227.230.155) |
| 2025-10-10 21:56:52 | × | tccq` quits (~user@71.227.230.155) (Client Quit) |
| 2025-10-10 21:57:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 21:57:36 | → | tessier_ joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2025-10-10 21:59:25 | × | peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-10-10 21:59:25 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-10 21:59:26 | × | Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-10-10 21:59:26 | × | AlexNoo quits (~AlexNoo@178.34.151.169) (Ping timeout: 256 seconds) |
| 2025-10-10 21:59:26 | × | FANTOM quits (~fantom@87.75.184.126) (Ping timeout: 256 seconds) |
| 2025-10-10 21:59:26 | × | tccq quits (~user@user/tccq) (Ping timeout: 256 seconds) |
| 2025-10-10 21:59:26 | × | vetkat quits (~vetkat@user/vetkat) (Ping timeout: 256 seconds) |
| 2025-10-10 21:59:26 | × | Pixi` quits (~Pixi@user/pixi) (Ping timeout: 256 seconds) |
| 2025-10-10 21:59:26 | × | tessier quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 256 seconds) |
| 2025-10-10 21:59:26 | → | FANTOM joins (~fantom@87.75.184.126) |
| 2025-10-10 21:59:26 | × | ft quits (~ft@p4fc2a207.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-10-10 21:59:26 | vetkat2 | is now known as vetkat |
| 2025-10-10 21:59:27 | peterbecich1 | is now known as peterbecich |
| 2025-10-10 21:59:46 | → | ft joins (~ft@p4fc2a207.dip0.t-ipconnect.de) |
| 2025-10-10 22:02:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-10 22:04:10 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-10 22:05:15 | × | ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 244 seconds) |
| 2025-10-10 22:07:56 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-10-10 22:09:36 | → | Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 2025-10-10 22:11:22 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-10 22:12:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 22:18:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-10 22:24:37 | × | peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-10-10 22:28:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 22:33:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-10 22:34:00 | <haskellbridge> | <Kyle Butt> Tri: It would be more normal to connect and then pass the connection to "testGetRow" |
| 2025-10-10 22:34:42 | <haskellbridge> | <Kyle Butt> Tri: If you want the connection to be in a helper, you could do something like "conn <- testConnect" |
| 2025-10-10 22:35:43 | <EvanR> | Tri, yes there are standard ways to make your code more modular and useful in more places. Stuff takes a conn as an argument for example |
| 2025-10-10 22:37:07 | <EvanR> | any database access is relative to a database connection after all |
| 2025-10-10 22:38:08 | <EvanR> | worst case scenario you need a top level helper for a test that access then same code your main app uses |
| 2025-10-10 22:39:27 | <haskellbridge> | <Kyle Butt> Tri You could use "bracket" to write a "withConnection" helper that keeps the connection open only inside the body function that accepts the connection as an argument. Similar to "with" in python. |
| 2025-10-10 22:39:33 | <EvanR> | as a defacto rule, many programming styles that work in imperative languages or side effecting languages don't work in haskell. Because laziness would make that insane |
| 2025-10-10 22:40:09 | <EvanR> | yeah bracket pattern is great, i.e. withConnection |
| 2025-10-10 22:44:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 22:48:41 | × | Tri quits (~Tri@69.74.159.34) (Ping timeout: 250 seconds) |
| 2025-10-10 22:48:43 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-10 22:48:49 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-10-10 22:49:08 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-10-10 22:49:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-10 23:00:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 23:03:08 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 2025-10-10 23:07:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-10 23:10:36 | → | Googulator16 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-10 23:10:38 | × | Googulator29 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-10 23:12:20 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-10-10 23:24:34 | × | malte quits (~malte@mal.tc) (Ping timeout: 260 seconds) |
| 2025-10-10 23:33:47 | → | malte joins (~malte@mal.tc) |
| 2025-10-10 23:33:53 | × | 040AAE6OC quits (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2025-10-10 23:34:46 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 2025-10-10 23:51:34 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-10 23:54:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 23:59:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-11 00:01:54 | × | Inline quits (~inline@2a02:8071:57a1:1260:249e:867e:200a:1fb1) (Quit: Leaving) |
| 2025-10-11 00:06:56 | <haskellbridge> | <dxtr> Is it possible to move the head of a NonEmpty to the end without too much hassle? |
| 2025-10-11 00:10:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 00:13:46 | <geekosaur> | it's still a list underneath, so not really. maybe you want a Seq? |
| 2025-10-11 00:14:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-11 00:15:37 | × | Googulator16 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-11 00:15:50 | → | Googulator16 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-11 00:15:58 | × | acidjnk quits (~acidjnk@p200300d6e71719813d7e95faed4791ef.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-10-11 00:16:09 | <Leary> | % (\(x:|xs) -> prependList xs (singleton x)) (0:|[1,2,3]) |
| 2025-10-11 00:16:09 | <yahb2> | 1 :| [2,3,0] |
| 2025-10-11 00:16:41 | <Leary> | O(n), but can't be helped. |
| 2025-10-11 00:17:09 | <geekosaur> | that's essentially what I meant by "not really" |
| 2025-10-11 00:17:15 | <Leary> | I figured. |
| 2025-10-11 00:25:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 00:28:55 | × | Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Remote host closed the connection) |
| 2025-10-11 00:29:26 | <haskellbridge> | <iqubic (she/her)> Seq can be empty, but I think there are NonEmpty versions on Hackage |
| 2025-10-11 00:29:44 | → | Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 2025-10-11 00:29:57 | <haskellbridge> | <iqubic (she/her)> https://hackage.haskell.org/package/nonempty-containers |
| 2025-10-11 00:30:16 | <haskellbridge> | <iqubic (she/her)> jle` wrote that! |
| 2025-10-11 00:30:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-11 00:32:25 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-11 00:35:26 | × | Googulator16 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-11 00:35:40 | → | Googulator16 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-11 00:41:04 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-10-11 00:43:30 | → | califax joins (~califax@user/califx) |
| 2025-10-11 00:43:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 00:45:03 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-10-11 00:45:06 | ljdarj1 | is now known as ljdarj |
| 2025-10-11 00:48:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-11 00:51:19 | × | otto_s quits (~user@p5b044f57.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2025-10-11 00:53:20 | → | otto_s joins (~user@p4ff276b1.dip0.t-ipconnect.de) |
| 2025-10-11 00:59:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 01:05:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-11 01:08:35 | → | Zemy_ joins (~Zemy@2600:100c:b034:f314:bcd2:e8ff:fec9:ee2f) |
| 2025-10-11 01:08:41 | × | Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-10-11 01:09:25 | → | Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 2025-10-11 01:09:59 | → | chenjf joins (~chenjf@vmi2417424.contaboserver.net) |
| 2025-10-11 01:10:35 | → | Googulator32 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-11 01:10:42 | × | Googulator16 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-11 01:12:49 | × | Zemy_ quits (~Zemy@2600:100c:b034:f314:bcd2:e8ff:fec9:ee2f) (Ping timeout: 255 seconds) |
| 2025-10-11 01:15:06 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
All times are in UTC.