Logs: liberachat/#haskell
| 2021-08-17 23:34:27 | <lambdabot> | Alternative f => Bool -> f () |
| 2021-08-17 23:35:00 | <hpc> | there's a language extension that makes list comprehensions work for more than just lists, but it's a bit of a gimmick |
| 2021-08-17 23:35:06 | <monochrom> | or at least, s/the generated asm code/after optimizations, the generated asm code/ |
| 2021-08-17 23:35:17 | <hpc> | i like do notation better, personally |
| 2021-08-17 23:35:58 | <monochrom> | s/how to compiler/how the compiler/ |
| 2021-08-17 23:35:58 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 2021-08-17 23:37:10 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2021-08-17 23:41:43 | → | polyphem joins (~polyphem@ip5f5ac3ae.dynamic.kabel-deutschland.de) |
| 2021-08-17 23:45:55 | × | slack1256 quits (~slack1256@181.203.101.233) (Ping timeout: 268 seconds) |
| 2021-08-17 23:48:10 | × | pompez quits (~martin@user/pompez) (Ping timeout: 240 seconds) |
| 2021-08-17 23:50:57 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 245 seconds) |
| 2021-08-17 23:57:02 | → | superbil joins (~superbil@1-34-176-171.HINET-IP.hinet.net) |
| 2021-08-17 23:57:25 | → | Matthias1 joins (~Matthias1@2603-8001-b545-4900-0d81-0ba2-5923-c2fb.res6.spectrum.com) |
| 2021-08-17 23:59:46 | → | fernand joins (~fernand@179.156.35.4) |
| 2021-08-17 23:59:56 | → | thyriaen joins (~thyriaen@x4dbf521a.dyn.telefonica.de) |
| 2021-08-18 00:00:24 | × | Matthias1 quits (~Matthias1@2603-8001-b545-4900-0d81-0ba2-5923-c2fb.res6.spectrum.com) (Remote host closed the connection) |
| 2021-08-18 00:00:27 | × | fabfianda quits (~fabfianda@mob-5-91-112-128.net.vodafone.it) (Remote host closed the connection) |
| 2021-08-18 00:00:57 | × | polyphem quits (~polyphem@ip5f5ac3ae.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2021-08-18 00:01:47 | → | Matthias1 joins (~Matthias1@2603-8001-b545-4900-0d81-0ba2-5923-c2fb.res6.spectrum.com) |
| 2021-08-18 00:03:46 | → | polyphem joins (~polyphem@2a00:20:c044:9066:4432:d689:6451:b719) |
| 2021-08-18 00:07:13 | → | fabfianda joins (~fabfianda@mob-5-91-112-128.net.vodafone.it) |
| 2021-08-18 00:10:48 | × | Guest84 quits (~Guest84@2406:3003:2006:447e:a859:4a56:2629:b84e) (Quit: Client closed) |
| 2021-08-18 00:12:12 | × | polyphem quits (~polyphem@2a00:20:c044:9066:4432:d689:6451:b719) (Ping timeout: 245 seconds) |
| 2021-08-18 00:13:02 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-18 00:16:40 | × | aarvar quits (~aaron@2601:602:a080:fa0:2492:1e35:77f6:26e2) (Ping timeout: 240 seconds) |
| 2021-08-18 00:16:48 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-18 00:20:40 | × | fernand quits (~fernand@179.156.35.4) (Ping timeout: 240 seconds) |
| 2021-08-18 00:20:56 | × | Xnuk quits (~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in) |
| 2021-08-18 00:21:12 | → | Xnuk joins (~xnuk@vultr.xnu.kr) |
| 2021-08-18 00:22:41 | <lechner> | Hi, i can't find much documentation or many examples for here/heredoc. Do any of them support the pipe-less syntax shown here? https://www.reddit.com/r/haskell/comments/8ereh/a_here_document_syntax/c091t96 |
| 2021-08-18 00:23:11 | × | chomwitt quits (~chomwitt@ppp-94-67-193-240.home.otenet.gr) (Remote host closed the connection) |
| 2021-08-18 00:24:12 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 245 seconds) |
| 2021-08-18 00:27:58 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-18 00:29:43 | <lechner> | never mind, i think Data.String.Here does! |
| 2021-08-18 00:31:25 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 244 seconds) |
| 2021-08-18 00:39:53 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 2021-08-18 00:46:40 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2021-08-18 00:47:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-08-18 01:04:19 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-18 01:09:12 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-08-18 01:15:36 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2021-08-18 01:16:57 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-18 01:18:46 | tabemann_ | is now known as tabemann |
| 2021-08-18 01:20:30 | → | Cajun joins (~Cajun@user/cajun) |
| 2021-08-18 01:24:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-18 01:26:32 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-08-18 01:36:53 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-08-18 01:41:10 | × | pbrisbin quits (~patrick@pool-108-16-214-93.phlapa.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-08-18 01:47:45 | → | keutoi joins (~keutoi@157.48.90.57) |
| 2021-08-18 01:47:55 | × | xff0x quits (~xff0x@2001:1a81:535d:2700:6b08:445c:db9b:4d20) (Ping timeout: 258 seconds) |
| 2021-08-18 01:48:00 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2021-08-18 01:49:38 | → | xff0x joins (~xff0x@2001:1a81:5394:ea00:e22:1073:dc28:9e41) |
| 2021-08-18 01:50:50 | → | polyphem joins (~polyphem@2a02:810d:640:776c:f4c0:a27a:540e:c15e) |
| 2021-08-18 01:58:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-18 01:59:40 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2021-08-18 02:00:53 | × | alx741 quits (~alx741@181.196.68.125) (Quit: alx741) |
| 2021-08-18 02:01:44 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-18 02:11:13 | × | td_ quits (~td@muedsl-82-207-238-133.citykom.de) (Ping timeout: 248 seconds) |
| 2021-08-18 02:12:16 | → | ahlk joins (~user@2600:1700:31c0:3a10::48) |
| 2021-08-18 02:13:11 | → | td_ joins (~td@94.134.91.158) |
| 2021-08-18 02:15:38 | → | thyriaen_ joins (~thyriaen@dynamic-077-013-081-232.77.13.pool.telefonica.de) |
| 2021-08-18 02:16:48 | → | sleblanc joins (~sleblanc@user/sleblanc) |
| 2021-08-18 02:17:18 | → | rubix joins (~user@2601:602:9502:c70:b7f7:ce5b:5e25:126d) |
| 2021-08-18 02:19:10 | × | thyriaen quits (~thyriaen@x4dbf521a.dyn.telefonica.de) (Ping timeout: 240 seconds) |
| 2021-08-18 02:22:05 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-08-18 02:22:05 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 2021-08-18 02:22:05 | finn_elija | is now known as FinnElija |
| 2021-08-18 02:23:05 | × | thyriaen_ quits (~thyriaen@dynamic-077-013-081-232.77.13.pool.telefonica.de) (Remote host closed the connection) |
| 2021-08-18 02:23:40 | × | benin036932 quits (~benin@183.82.178.142) (Ping timeout: 240 seconds) |
| 2021-08-18 02:27:25 | × | Matthias1 quits (~Matthias1@2603-8001-b545-4900-0d81-0ba2-5923-c2fb.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-08-18 02:28:03 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-08-18 02:30:24 | × | hiruji quits (~hiruji@user/hiruji) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-18 02:30:38 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-18 02:30:39 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-18 02:30:42 | allbery_b | is now known as geekosaur |
| 2021-08-18 02:36:27 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-18 02:38:18 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-08-18 02:41:33 | × | obs quits (~obscur1ty@user/obs/x-5924898) (Read error: Connection reset by peer) |
| 2021-08-18 02:46:25 | <lechner> | Hi, could someone please explain this error with postgres-simple? https://paste.debian.net/1208064/ |
| 2021-08-18 02:48:20 | <Axman6> | you probably need to add a type annotation so the compiler knows what type you actually want |
| 2021-08-18 02:48:38 | <lechner> | where, though? |
| 2021-08-18 02:49:01 | <c_wraith> | anywhere that specifies it |
| 2021-08-18 02:49:21 | <lechner> | output? |
| 2021-08-18 02:49:29 | <c_wraith> | type inference means you can mention the type anywhere and it will be plumbed through appropriately |
| 2021-08-18 02:49:33 | <Axman6> | (rows :: [Foo]) <- query... or something. that might need a language extension though |
| 2021-08-18 02:50:09 | <Axman6> | if you use `rows` somewhere, you can also add it there by replacing `rows` with `(rows :: [Foo])` |
| 2021-08-18 02:51:24 | → | Seby joins (~Seby@115.98.232.63) |
| 2021-08-18 02:51:40 | <lechner> | what's the easiest way to print rows? i think it's a [String] |
| 2021-08-18 02:52:06 | <c_wraith> | (mapM_ putStrLn) ? |
| 2021-08-18 02:52:25 | <c_wraith> | and... it's probably not a [String] |
| 2021-08-18 02:52:47 | <c_wraith> | I don't think that instance exists |
| 2021-08-18 02:53:49 | <c_wraith> | lechner: it's polymorphic in the return type. it can be anything that has an appropriate instance |
| 2021-08-18 02:54:08 | <lechner> | yeah, i get that |
| 2021-08-18 02:54:16 | <c_wraith> | though it will have runtime errors if the instance doesn't fit the returned data |
| 2021-08-18 02:54:42 | <lechner> | i just cant figure out what i will get back |
| 2021-08-18 02:55:24 | <c_wraith> | then how could the compiler? :P |
| 2021-08-18 02:56:04 | <c_wraith> | the fact is, we can't tell you. |
| 2021-08-18 02:56:10 | <c_wraith> | it depends on the query |
| 2021-08-18 02:56:34 | <lechner> | yeah it's my first time with pg-simple |
| 2021-08-18 02:56:56 | <c_wraith> | for quick'n'dirty, you probably want a tuple type |
All times are in UTC.