2025/10/19

Newest at the top

2025-10-19 23:08:34 +0200jreicher(~user@user/jreicher) jreicher
2025-10-19 23:07:57 +0200inline_(~inline@2a02:8071:57a1:1260:d6a:132:a003:3008) Inline
2025-10-19 23:07:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-19 23:07:21 +0200 <monochrom> The other option is to use GHC.Generics or Template Haskell to make the computer write those 12 lines for you.
2025-10-19 23:04:13 +0200fp1fp
2025-10-19 23:04:13 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 246 seconds)
2025-10-19 23:02:46 +0200Lycurgus(~juan@user/Lycurgus) ()
2025-10-19 23:02:26 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-10-19 23:01:33 +0200fp1(~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp
2025-10-19 23:01:31 +0200 <nihilazo> although given that this is also how all the instances of fromRow in the library's own code are structured: https://github.com/nurpax/sqlite-simple/blob/master/Database/SQLite/Simple/FromRow.hs I'm unsure if there is a better way
2025-10-19 22:57:58 +0200 <nihilazo> (the approach of doing it that way for 12 columns does work but feels notably messy. It seems to be what all other tutorials online for the library do though)
2025-10-19 22:57:26 +0200 <nihilazo> way?
2025-10-19 22:57:26 +0200 <nihilazo> examples on the hackage docs and their github (https://github.com/nurpax/sqlite-simple) use an applicative style for this, fromRow = TestField <$> field <*> field. But if the row contains eg. 12 columns (like in my project) would the best way to do this still be like, CustomType <$> field <*> field <*> field... (for 12 lines) or is there a better
2025-10-19 22:57:25 +0200 <nihilazo> hi, I'm trying to use the sqlite-simple library to interface with a sqlite database from a haskell program (currently in the experimentation phase) and I'd like to convert from SQLite rows into my own types. The library provides a FromRow typeclass with a function that defines how to do this, using the `field` function to get each field. The
2025-10-19 22:54:51 +0200 <geekosaur> although I just realized that the only possible test for which context to use is to see if something is typeable within it, which can't be done at runtime (no type information) nor at compile time (may be dynamic)
2025-10-19 22:54:43 +0200halloy9957(~halloy995@ip72-208-127-103.ph.ph.cox.net)
2025-10-19 22:54:13 +0200nihilazo(~nihilazo@host86-150-176-16.range86-150.btcentralplus.com) nihilazo
2025-10-19 22:52:01 +0200qqe(~qqq@185.54.23.200)
2025-10-19 22:51:56 +0200SlackCoder(~SlackCode@208.26.91.234) SlackCoder
2025-10-19 22:47:46 +0200SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) (Ping timeout: 246 seconds)
2025-10-19 22:47:27 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-10-19 22:41:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-19 22:40:36 +0200pavonia(~user@user/siracusa) siracusa
2025-10-19 22:40:18 +0200malte(~malte@mal.tc) malte
2025-10-19 22:38:29 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Read error: Connection reset by peer)
2025-10-19 22:38:19 +0200flipflops(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-19 22:36:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-19 22:32:23 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-10-19 22:32:09 +0200fp(~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Client Quit)
2025-10-19 22:31:34 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-10-19 22:31:19 +0200fp(~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp
2025-10-19 22:31:10 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-10-19 22:30:01 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 264 seconds)
2025-10-19 22:29:10 +0200karenw(~karenw@user/karenw) karenw
2025-10-19 22:28:31 +0200malte(~malte@mal.tc) (Ping timeout: 246 seconds)
2025-10-19 22:22:58 +0200 <geekosaur> meaning any mechanism to access outer contexts will be some form of liftST (viz. liftIO), which isnt flexible enough
2025-10-19 22:22:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-19 22:21:48 +0200esph(~weechat@user/esph) esph
2025-10-19 22:21:36 +0200 <geekosaur> but ST in GHC is based on IO
2025-10-19 22:21:21 +0200 <geekosaur> btgw I am getting a strong sense of "an effects system-based ST might be able to do this"
2025-10-19 22:20:24 +0200 <geekosaur> so maybe it wasn't crawlers, just something that got missed during the recent move or sth
2025-10-19 22:20:05 +0200 <geekosaur> mm, also working here now
2025-10-19 22:19:33 +0200 <Lycurgus> confirmed
2025-10-19 22:19:21 +0200 <geekosaur> if it's crawler overload, it probably depends on whether you can sneak in between the load
2025-10-19 22:18:51 +0200 <int-e> looks like the wiki is better now?
2025-10-19 22:18:36 +0200fp1fp
2025-10-19 22:18:36 +0200fp(~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Ping timeout: 252 seconds)
2025-10-19 22:18:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-19 22:17:22 +0200fp1(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-10-19 22:15:26 +0200 <Lycurgus> *noun