Logs: liberachat/#haskell
| 2021-08-05 14:47:55 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 258 seconds) |
| 2021-08-05 14:48:54 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-05 14:49:16 | <adamCS> | merijn: I've not done that, but I do appreciate that Typeclasses have their uses. And once in a while the convenience is overwhelming. But I think my stance is now that great skepticism is warranted before locking myself into a one-implementation-per-type commitment. |
| 2021-08-05 14:49:46 | × | fendor quits (~fendor@91.141.48.200.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-08-05 14:50:07 | <merijn> | adamCS: Stuff like: https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/src/Sql/Core.hs#L130-L148 |
| 2021-08-05 14:50:56 | <merijn> | All my core logic for queries only uses those functions, so it's very easy to make all query-related boilerplate available in various contexts |
| 2021-08-05 14:51:11 | <merijn> | Similar things for logging, etc. |
| 2021-08-05 14:53:19 | <adamCS> | merijn: What makes typeclasses a better solution than records of functions there? |
| 2021-08-05 14:53:43 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-05 14:53:52 | <merijn> | adamCS: Laziness :p |
| 2021-08-05 14:54:10 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-05 14:54:11 | <merijn> | adamCS: If I'd use a record I'd have to carry that throughout my entire application |
| 2021-08-05 14:54:24 | <merijn> | Which is doable, but obnoxious |
| 2021-08-05 14:54:38 | × | ubert quits (~Thunderbi@91.141.45.149.wireless.dyn.drei.com) (Quit: ubert) |
| 2021-08-05 14:54:43 | <adamCS> | Yeah, I get that. |
| 2021-08-05 14:54:49 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 258 seconds) |
| 2021-08-05 14:56:55 | → | aman joins (~aman@user/aman) |
| 2021-08-05 14:57:27 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-08-05 14:58:41 | → | fendor joins (~fendor@178.115.49.9.wireless.dyn.drei.com) |
| 2021-08-05 15:00:43 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-05 15:02:12 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-05 15:02:19 | × | jushur quits (~human@user/jushur) (Quit: ¯\_(ツ)_/¯) |
| 2021-08-05 15:04:39 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 276 seconds) |
| 2021-08-05 15:05:19 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-05 15:05:49 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-05 15:07:36 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-05 15:09:47 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 2021-08-05 15:10:20 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-05 15:10:34 | × | hendursaga quits (~weechat@user/hendursaga) (Remote host closed the connection) |
| 2021-08-05 15:10:59 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-08-05 15:11:56 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 2021-08-05 15:12:58 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 2021-08-05 15:14:40 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-05 15:14:54 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-05 15:14:56 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-05 15:15:02 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-05 15:21:00 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 256 seconds) |
| 2021-08-05 15:21:24 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-05 15:22:53 | → | vysn joins (~vysn@user/vysn) |
| 2021-08-05 15:27:15 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-08-05 15:28:35 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:1b28:45fb:240d:9a03) (Quit: WeeChat 2.8) |
| 2021-08-05 15:40:21 | → | econo joins (uid147250@user/econo) |
| 2021-08-05 15:41:35 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 258 seconds) |
| 2021-08-05 15:41:38 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-08-05 15:42:03 | × | drlkf quits (~drlkf@2001:41d0:a:62bb::1) (Quit: q=) |
| 2021-08-05 15:42:12 | → | drlkf joins (~drlkf@2001:41d0:a:62bb::1) |
| 2021-08-05 15:43:53 | × | mastarija quits (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Ping timeout: 258 seconds) |
| 2021-08-05 15:47:20 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-05 15:48:25 | → | jao joins (jao@gateway/vpn/protonvpn/jao) |
| 2021-08-05 15:51:16 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-05 15:52:12 | × | meinside_ quits (uid24933@id-24933.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-05 15:56:16 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-05 15:56:32 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 258 seconds) |
| 2021-08-05 15:56:45 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-05 15:56:48 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-05 15:57:24 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-05 16:00:35 | × | peterhil quits (~peterhil@mobile-access-5d6aa6-103.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-08-05 16:01:06 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-05 16:03:02 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-08-05 16:03:02 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2021-08-05 16:03:36 | → | ukari joins (~ukari@user/ukari) |
| 2021-08-05 16:07:20 | → | sczar joins (~zed@49.36.176.147) |
| 2021-08-05 16:14:58 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Ping timeout: 240 seconds) |
| 2021-08-05 16:15:11 | × | aman quits (~aman@user/aman) (Quit: aman) |
| 2021-08-05 16:16:18 | × | pbrisbin quits (~patrick@50-196-56-254-static.hfc.comcastbusiness.net) (Ping timeout: 240 seconds) |
| 2021-08-05 16:17:03 | → | azeem joins (~azeem@176.200.247.52) |
| 2021-08-05 16:17:14 | × | agua_pesada quits (~agua_pesa@2804:14c:8793:8e2f:48b4:3d09:2f3b:552b) (Ping timeout: 258 seconds) |
| 2021-08-05 16:18:17 | → | son0p joins (~ff@181.136.122.143) |
| 2021-08-05 16:22:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-05 16:22:31 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-05 16:23:45 | × | azeem quits (~azeem@176.200.247.52) (Ping timeout: 258 seconds) |
| 2021-08-05 16:24:39 | → | azeem joins (~azeem@176.200.247.52) |
| 2021-08-05 16:27:05 | × | kuribas quits (~user@ptr-25vy0i9d6q57yj1bhvo.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-08-05 16:27:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-05 16:28:11 | → | agua_pesada joins (~agua_pesa@2804:14c:8793:8e2f:48b4:3d09:2f3b:552b) |
| 2021-08-05 16:31:33 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-05 16:31:36 | × | sczar quits (~zed@49.36.176.147) (Read error: Connection reset by peer) |
| 2021-08-05 16:37:52 | → | masked joins (~masked@202.14.121.94) |
| 2021-08-05 16:38:19 | × | azeem quits (~azeem@176.200.247.52) (Ping timeout: 258 seconds) |
| 2021-08-05 16:38:39 | → | azeem joins (~azeem@176.200.247.52) |
| 2021-08-05 16:40:29 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-05 16:42:09 | × | masked quits (~masked@202.14.121.94) (Ping timeout: 258 seconds) |
| 2021-08-05 16:45:52 | → | kayvank joins (~kayvank@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2021-08-05 16:46:59 | → | enoq joins (~enoq@194-208-179-35.lampert.tv) |
| 2021-08-05 16:47:59 | × | Guest1558 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-05 16:48:37 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-05 16:48:42 | chris | is now known as Guest2194 |
| 2021-08-05 16:49:26 | → | sczar joins (~zed@49.36.176.147) |
| 2021-08-05 16:50:58 | × | shailangsa quits (~shailangs@host86-186-142-59.range86-186.btcentralplus.com) (Ping timeout: 258 seconds) |
| 2021-08-05 16:52:53 | × | Guest2194 quits (~chris@81.96.113.213) (Ping timeout: 258 seconds) |
| 2021-08-05 16:53:30 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-05 16:53:34 | chris | is now known as Guest1284 |
| 2021-08-05 16:56:36 | × | Guest1284 quits (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 2021-08-05 16:57:03 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-05 16:57:06 | chris | is now known as Guest5953 |
| 2021-08-05 16:58:25 | × | Guest5953 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-05 16:59:02 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-05 16:59:05 | chris | is now known as Guest6960 |
| 2021-08-05 16:59:28 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-05 16:59:34 | × | sczar quits (~zed@49.36.176.147) (Read error: Connection reset by peer) |
All times are in UTC.