Logs: liberachat/#haskell
| 2021-06-24 16:05:12 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 16:06:23 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-24 16:07:02 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-06-24 16:07:15 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-24 16:07:33 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 258 seconds) |
| 2021-06-24 16:07:55 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 16:09:28 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 16:09:59 | × | julyanna quits (~julyanna@180.190.158.122) (Ping timeout: 265 seconds) |
| 2021-06-24 16:10:12 | <TheCommieDuck> | Whilst I'm here: so right now, I have a collection of components (records of a few fields), then I use TH to generate one big record type of many Maps from IDs to components, where one ID has potential;ly many different components (i.e. it's an entity component system). because it's an open sum (I want to add more types of components and more combinations of components..) I can't just have a |
| 2021-06-24 16:10:14 | <TheCommieDuck> | single Map |
| 2021-06-24 16:10:17 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-24 16:10:46 | <TheCommieDuck> | can I somehow have a heterogenous map that doesn't lose type information? |
| 2021-06-24 16:12:30 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 16:13:56 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 268 seconds) |
| 2021-06-24 16:14:03 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 16:14:20 | × | sekun quits (~sekun@180.190.208.125) (Ping timeout: 265 seconds) |
| 2021-06-24 16:15:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-06-24 16:16:58 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 16:17:24 | → | Cena joins (~textual@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2021-06-24 16:17:34 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-06-24 16:18:18 | <raehik> | TheCommieDuck: there's some work done on type-level sets and lists that should be relevant https://hackage.haskell.org/package/type-sets |
| 2021-06-24 16:18:31 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 16:18:59 | <raehik> | ah, here's the one I remembered better: https://hackage.haskell.org/package/type-level-sets |
| 2021-06-24 16:19:10 | × | learner-monad quits (~ehanneken@user/learner-monad) (Ping timeout: 265 seconds) |
| 2021-06-24 16:19:21 | <TheCommieDuck> | ooh neat, ty |
| 2021-06-24 16:21:18 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 16:22:10 | × | warnz quits (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Remote host closed the connection) |
| 2021-06-24 16:22:47 | × | zeenk quits (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
| 2021-06-24 16:22:53 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 16:22:59 | → | shapr joins (~user@2601:7c0:8180:89d0:3c53:2ec5:af3c:a8ff) |
| 2021-06-24 16:25:04 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-06-24 16:25:36 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 16:26:23 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-06-24 16:27:10 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 16:28:42 | → | warnz joins (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) |
| 2021-06-24 16:29:10 | × | chomwitt quits (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 246 seconds) |
| 2021-06-24 16:29:51 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 16:31:23 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 16:31:24 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2021-06-24 16:31:40 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-24 16:33:11 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 16:33:27 | → | ecameron[m] joins (~ecameronm@2001:470:69fc:105::35df) |
| 2021-06-24 16:33:44 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 16:34:12 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 16:34:29 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-24 16:35:24 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-24 16:35:45 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 16:37:22 | × | nvmd quits (~nvmd@user/nvmd) (Quit: Later, nerds.) |
| 2021-06-24 16:38:23 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 16:39:37 | × | nrr quits (sid20938@id-20938.tooting.irccloud.com) () |
| 2021-06-24 16:39:48 | → | nrr joins (sid20938@id-20938.tooting.irccloud.com) |
| 2021-06-24 16:39:57 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 16:40:19 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-24 16:42:42 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 16:43:21 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-24 16:44:16 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 16:44:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 16:45:16 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 265 seconds) |
| 2021-06-24 16:46:00 | shredder | is now known as nbsp |
| 2021-06-24 16:46:43 | × | dunkeln_ quits (~dunkeln@188.71.193.140) (Ping timeout: 265 seconds) |
| 2021-06-24 16:47:00 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 16:47:53 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 16:48:33 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 16:48:59 | Athas_ | is now known as Athas |
| 2021-06-24 16:49:31 | × | jlou2u quits (~justin@151.197.213.39) (Quit: WeeChat 3.1) |
| 2021-06-24 16:50:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-06-24 16:50:00 | → | ixlun joins (~ixlun@2001:470:69fc:105::41b3) |
| 2021-06-24 16:50:00 | → | Aleci[m] joins (~alecilibr@2001:470:69fc:105::32e7) |
| 2021-06-24 16:50:03 | nbsp | is now known as shredder |
| 2021-06-24 16:50:43 | × | kuribas quits (~user@ptr-25vy0i7u4pc88k7ao93.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-06-24 16:50:45 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-24 16:51:24 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 16:52:58 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 16:54:22 | × | xff0x quits (~xff0x@2001:1a81:528e:9600:537c:8f79:34f1:e6a6) (Ping timeout: 246 seconds) |
| 2021-06-24 16:55:23 | → | crazazy joins (~user@130.89.171.203) |
| 2021-06-24 16:55:46 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 16:56:17 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-24 16:56:20 | → | xff0x joins (~xff0x@185.65.135.235) |
| 2021-06-24 16:56:24 | <crazazy> | hey guys I have a problem: |
| 2021-06-24 16:56:42 | <crazazy> | i have a library that, when running things, prints things using putStrLn |
| 2021-06-24 16:56:54 | <crazazy> | can I somehow intercept these messages? |
| 2021-06-24 16:57:05 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-24 16:57:20 | <crazazy> | so that I can then parse these putStrLn messages and do other stuff with it? |
| 2021-06-24 16:57:20 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 16:58:07 | × | warnz quits (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Remote host closed the connection) |
| 2021-06-24 16:58:56 | <geekosaur> | not easily. maybe reopen fd 1 on the write end of a pipe and have a thread reading and reacting to its read end |
| 2021-06-24 16:59:52 | <crazazy> | oof that sucks |
| 2021-06-24 16:59:59 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-06-24 17:00:02 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 17:00:23 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 17:00:29 | <crazazy> | thing is I have a project buddy who doesn't know too much about haskell, and I don't want to throw him *that* much into the deep end |
| 2021-06-24 17:01:38 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 17:02:02 | × | Athas quits (athas@2a01:7c8:aaac:1cf:8045:ce82:8893:4981) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-24 17:02:11 | → | Athas joins (athas@2a01:7c8:aaac:1cf:8045:ce82:8893:4981) |
| 2021-06-24 17:02:22 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-06-24 17:02:28 | → | myShoggoth joins (~myShoggot@75.164.29.44) |
| 2021-06-24 17:02:42 | × | peterhil_ quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-06-24 17:03:43 | → | arjun joins (~user@user/arjun) |
| 2021-06-24 17:04:19 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 17:05:05 | × | Morrow quits (~MorrowM_@147.161.12.76) (Ping timeout: 265 seconds) |
All times are in UTC.