Logs: liberachat/#haskell
| 2021-08-02 13:02:41 | × | mastarija_ quits (~mastarija@31.217.8.174) (Ping timeout: 252 seconds) |
| 2021-08-02 13:03:10 | → | acidjnk_new joins (~acidjnk@p5487d90a.dip0.t-ipconnect.de) |
| 2021-08-02 13:03:42 | <kritzefitz> | merijn, the way you describe it I think the default should be old and the file should be new. But I guess it depends on what exactly the default is used for. |
| 2021-08-02 13:03:44 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-02 13:03:59 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-08-02 13:04:40 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-02 13:04:50 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:4a3f:fe34:92c5:875c) (Ping timeout: 272 seconds) |
| 2021-08-02 13:05:07 | × | Alex_test quits (~al_test@178.34.150.193) (Quit: ;-) |
| 2021-08-02 13:05:28 | × | AlexZenon quits (~alzenon@178.34.150.193) (Quit: ;-) |
| 2021-08-02 13:05:31 | × | AlexNoo quits (~AlexNoo@178.34.150.193) (Quit: Leaving) |
| 2021-08-02 13:06:28 | → | Igor joins (~Igor@109.252.65.176) |
| 2021-08-02 13:06:50 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-08-02 13:07:18 | → | shailangsa joins (~shailangs@host86-186-196-233.range86-186.btcentralplus.com) |
| 2021-08-02 13:07:22 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b95041d34620f200961c0.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-08-02 13:08:11 | → | tungki joins (~tngk@subs30-116-206-14-0.three.co.id) |
| 2021-08-02 13:12:14 | × | Igor quits (~Igor@109.252.65.176) (Quit: Client closed) |
| 2021-08-02 13:13:02 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 265 seconds) |
| 2021-08-02 13:15:03 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-02 13:16:48 | → | AlexZenon joins (~alzenon@178.34.150.193) |
| 2021-08-02 13:20:20 | → | markpythonicbitc joins (~textual@50.228.44.6) |
| 2021-08-02 13:21:11 | → | Alex_test joins (~al_test@178.34.150.193) |
| 2021-08-02 13:21:22 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 240 seconds) |
| 2021-08-02 13:21:50 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-02 13:22:13 | × | deejaytee quits (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) (Remote host closed the connection) |
| 2021-08-02 13:22:42 | → | deejaytee joins (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) |
| 2021-08-02 13:22:45 | → | AlexNoo joins (~AlexNoo@178.34.150.193) |
| 2021-08-02 13:23:43 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-02 13:25:44 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2021-08-02 13:25:57 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-02 13:26:34 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-08-02 13:27:52 | → | tngk joins (~tngk@subs30-116-206-14-53.three.co.id) |
| 2021-08-02 13:28:33 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 276 seconds) |
| 2021-08-02 13:28:54 | × | tungki quits (~tngk@subs30-116-206-14-0.three.co.id) (Ping timeout: 272 seconds) |
| 2021-08-02 13:29:11 | → | mastarija_ joins (~mastarija@31.217.8.174) |
| 2021-08-02 13:33:49 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 2021-08-02 13:33:54 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 272 seconds) |
| 2021-08-02 13:35:45 | × | kuribas quits (~user@ptr-25vy0i94rzok8s66yz2.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-08-02 13:36:28 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-08-02 13:36:33 | → | pesada joins (~agua@2804:14c:8793:8e2f:64f8:45c2:2056:5625) |
| 2021-08-02 13:36:52 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-02 13:37:30 | × | anandprabhu quits (~anandprab@94.202.243.198) (Quit: Leaving) |
| 2021-08-02 13:38:26 | × | agua quits (~agua@2804:18:7d:7d0f:1:0:789f:b031) (Ping timeout: 252 seconds) |
| 2021-08-02 13:39:42 | tngk | is now known as tungki |
| 2021-08-02 13:46:38 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 272 seconds) |
| 2021-08-02 13:47:03 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-02 13:48:20 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-08-02 13:48:32 | × | tungki quits (~tngk@subs30-116-206-14-53.three.co.id) (Ping timeout: 272 seconds) |
| 2021-08-02 13:51:06 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-02 13:51:24 | → | nvmd joins (~nvmd@user/nvmd) |
| 2021-08-02 13:56:11 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-08-02 13:57:14 | <boxscape> | is there a canonical word for "value of a singleton type"? |
| 2021-08-02 13:57:38 | <boxscape> | ..."singleton"? |
| 2021-08-02 13:58:43 | <boxscape> | looking at the documentation of singletons is looks like yes. Somehow I didn't think of that until just now |
| 2021-08-02 13:59:08 | <boxscape> | (of using the word "singleton" for it I mean) |
| 2021-08-02 13:59:26 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-02 14:06:16 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 272 seconds) |
| 2021-08-02 14:07:04 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-02 14:07:13 | → | tungki joins (~tngk@subs30-116-206-14-53.three.co.id) |
| 2021-08-02 14:07:32 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 272 seconds) |
| 2021-08-02 14:08:10 | × | gambpang quits (~ian@207.181.230.156) (Ping timeout: 272 seconds) |
| 2021-08-02 14:09:03 | <sshine> | boxscape, "unit"? |
| 2021-08-02 14:10:17 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2) |
| 2021-08-02 14:10:18 | <boxscape> | sshine, hm, perhaps. In the particular case I have (writing a comment explaining something about the value) I prefer something that evokes some relationship to singleton types |
| 2021-08-02 14:10:32 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 14:10:32 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-08-02 14:14:29 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-08-02 14:15:49 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 14:16:15 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-08-02 14:17:35 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 14:20:36 | <Athas> | boxscape: "the value"! |
| 2021-08-02 14:20:41 | <Athas> | There is only one, after all. |
| 2021-08-02 14:21:17 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-08-02 14:21:49 | <boxscape> | hm, yes I suppose I could just "the value of a singleton type for <some type variable>" instead of insisting on a single word |
| 2021-08-02 14:21:56 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-02 14:22:59 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 14:23:05 | <deejaytee> | "inhabitant" comes to mind |
| 2021-08-02 14:24:08 | <Athas> | Suddenly Bob Harper appears and points out that in Haskell, every type is also inhabited by bottom. |
| 2021-08-02 14:25:14 | <deejaytee> | *forms a T with fingers, like a cross without its top* back, back to where you came from, foul bottom! |
| 2021-08-02 14:25:34 | <boxscape> | except we now have -XUnliftedData |
| 2021-08-02 14:25:35 | <boxscape> | I don't think I've seen anyone use it for singletons though |
| 2021-08-02 14:26:00 | <deejaytee> | back to the realm you inhabi-- oh... |
| 2021-08-02 14:26:11 | <boxscape> | (actually -XUnliftedDatatypes) |
| 2021-08-02 14:26:32 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-08-02 14:26:59 | × | jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Quit: Connection closed) |
| 2021-08-02 14:27:53 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-08-02 14:28:16 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 14:28:30 | <boxscape> | seems to work just fine with singletons though, maybe it's not even a bad idea to do that |
| 2021-08-02 14:28:45 | <merijn> | Athas: Bob Harper is the "Um, Actually..." of FP :p |
| 2021-08-02 14:28:56 | <Athas> | merijn: more like the "Objection!" |
| 2021-08-02 14:29:01 | → | mastarija__ joins (~mastarija@31.217.8.174) |
| 2021-08-02 14:30:28 | <boxscape> | er hold up |
| 2021-08-02 14:30:30 | <boxscape> | I got a seg fault trying to do that |
| 2021-08-02 14:30:30 | <boxscape> | that's not good |
| 2021-08-02 14:30:42 | <boxscape> | should probably recompile from HEAD and see if that still happens |
| 2021-08-02 14:31:36 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-08-02 14:31:56 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-02 14:32:28 | <raehik> | generic-lens has a really cool typeclass hasType that I can use to make generic statements about required context in a MonadReader. But it doesn't go through multiple layers of records. Is there a method for me to achieve that (while using generic-lens where possible)? |
| 2021-08-02 14:32:34 | × | mastarija_ quits (~mastarija@31.217.8.174) (Ping timeout: 256 seconds) |
| 2021-08-02 14:32:39 | <raehik> | MWE here https://paste.tomsmeding.com/wemNYUPl |
| 2021-08-02 14:33:01 | × | rond_ quits (~Guest72@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Ping timeout: 246 seconds) |
All times are in UTC.