Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 201 202 203 204 205 206 207 208 209 210 211 .. 17913
— 1,791,226 events total
2021-05-31 09:57:32 <opqdonut> I'd probably prefer fully destructuring the input Assign, and constructing a new Assign explicitly
2021-05-31 09:57:36 <opqdonut> yeah
2021-05-31 09:57:40 <disconsis> Yeah that's what I'm going with
2021-05-31 09:57:42 <disconsis> thanks!
2021-05-31 09:57:51 → hyiltiz joins (~quassel@31.220.5.250)
2021-05-31 09:58:20 <opqdonut> I wonder if you could get further with GADTs
2021-05-31 09:59:07 <opqdonut> data AstF a b where Assign :: Text -> ArithExpr -> a -> AstF a b, SomethingElse :: Text -> a -> b -> AstF a b
2021-05-31 09:59:30 <opqdonut> no, probably not, even they don't let you generalize an input that has been given a narrower type
2021-05-31 10:01:24 <disconsis> yeah, the problem really comes from the function signature
2021-05-31 10:01:35 <disconsis> but this is an okay solution
2021-05-31 10:01:43 × chomwitt quits (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) (Ping timeout: 268 seconds)
2021-05-31 10:01:48 <disconsis> it's pretty unexpected though
2021-05-31 10:01:58 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
2021-05-31 10:02:15 <opqdonut> https://gitlab.haskell.org/ghc/ghc/-/issues/7658 <-- related
2021-05-31 10:02:18 <disconsis> i feel like i've worked with other functional langs that let you do this, but i can't remember them
2021-05-31 10:04:33 × fabfianda quits (~fabfianda@mob-5-90-246-225.net.vodafone.it) (Ping timeout: 272 seconds)
2021-05-31 10:04:40 <disconsis> ah interesting
2021-05-31 10:04:44 → fabfianda joins (~fabfianda@net-93-148-125-174.cust.vodafonedsl.it)
2021-05-31 10:04:55 <disconsis> 'phantom types' is exactly what I was trying to think of
2021-05-31 10:07:11 → igghibu joins (~igghibu@37.120.201.126)
2021-05-31 10:07:59 → lavaman joins (~lavaman@98.38.249.169)
2021-05-31 10:08:56 <tdammers> I was going to say, the fact that the foralled "b" does not appear anywhere in the actual type can be problematic
2021-05-31 10:09:53 × sondre quits (~sondrelun@eduroam-193-157-245-37.wlan.uio.no) (Ping timeout: 264 seconds)
2021-05-31 10:12:35 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-05-31 10:13:11 → sondre joins (~sondrelun@eduroam-193-157-245-37.wlan.uio.no)
2021-05-31 10:14:48 → holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-31 10:15:16 × involans quits (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 268 seconds)
2021-05-31 10:16:09 × Guest417 quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1)
2021-05-31 10:18:03 × sondre quits (~sondrelun@eduroam-193-157-245-37.wlan.uio.no) (Ping timeout: 272 seconds)
2021-05-31 10:18:07 × Guest58 quits (~Guest58@125-227-78-46.HINET-IP.hinet.net) (Quit: Client closed)
2021-05-31 10:21:42 → rahguzar joins (~rahguzar@212.189.140.214)
2021-05-31 10:24:02 → ru0mad joins (~ruomad@176.164.105.224)
2021-05-31 10:26:21 → sondre joins (~sondrelun@eduroam-193-157-245-37.wlan.uio.no)
2021-05-31 10:26:26 × ru0mad quits (~ruomad@176.164.105.224) (Client Quit)
2021-05-31 10:26:55 → ru0mad joins (~ruomad@176.164.105.224)
2021-05-31 10:28:29 → orhan89 joins (~orhan89@151.91.188.35.bc.googleusercontent.com)
2021-05-31 10:31:18 × sondre quits (~sondrelun@eduroam-193-157-245-37.wlan.uio.no) (Ping timeout: 268 seconds)
2021-05-31 10:31:29 × ru0mad quits (~ruomad@176.164.105.224) (Client Quit)
2021-05-31 10:31:47 × kawzeg_ quits (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Quit: WeeChat 3.1)
2021-05-31 10:31:58 → kawzeg joins (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34)
2021-05-31 10:32:35 × ruomad quits (~ruomad@82-64-17-144.subs.proxad.net) (Quit: leaving)
2021-05-31 10:32:59 → atwm joins (~andrew@178.197.235.239)
2021-05-31 10:34:03 → ru0mad joins (~ru0mad@82-64-17-144.subs.proxad.net)
2021-05-31 10:34:46 × wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-05-31 10:36:27 × ukari quits (~ukari@user/ukari) (Remote host closed the connection)
2021-05-31 10:37:29 × shiraeeshi quits (~shiraeesh@109.166.58.176) (Ping timeout: 272 seconds)
2021-05-31 10:38:04 × ru0mad quits (~ru0mad@82-64-17-144.subs.proxad.net) (Client Quit)
2021-05-31 10:38:05 × xff0x quits (~xff0x@2001:1a81:528f:3900:ab23:5f87:bcb1:2783) (Ping timeout: 268 seconds)
2021-05-31 10:38:40 → xff0x joins (~xff0x@2001:1a81:528f:3900:63a6:c05a:b177:6450)
2021-05-31 10:38:44 → ru0mad joins (~ru0mad@82-64-17-144.subs.proxad.net)
2021-05-31 10:39:00 × aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-31 10:39:20 → aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de)
2021-05-31 10:39:59 → sondre joins (~sondrelun@eduroam-193-157-245-37.wlan.uio.no)
2021-05-31 10:40:06 → shiraeeshi joins (~shiraeesh@109.166.58.176)
2021-05-31 10:41:43 ← ru0mad parts (~ru0mad@82-64-17-144.subs.proxad.net) ()
2021-05-31 10:42:43 → ru0mad joins (~ru0mad@82-64-17-144.subs.proxad.net)
2021-05-31 10:43:14 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-05-31 10:44:50 × ru0mad quits (~ru0mad@82-64-17-144.subs.proxad.net) (Client Quit)
2021-05-31 10:44:51 → francesco_ joins (~francesco@host-80-180-196-134.pool80180.interbusiness.it)
2021-05-31 10:44:59 × Techcable quits (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in)
2021-05-31 10:45:18 × shiraeeshi quits (~shiraeesh@109.166.58.176) (Ping timeout: 264 seconds)
2021-05-31 10:45:33 × francesco_ quits (~francesco@host-80-180-196-134.pool80180.interbusiness.it) (Client Quit)
2021-05-31 10:47:43 → ru0mad joins (~ru0mad@82-64-17-144.subs.proxad.net)
2021-05-31 10:48:02 → Techcable joins (~Techcable@168.235.93.147)
2021-05-31 10:48:34 → ru0mad[m] joins (~ru0madmat@2001:470:69fc:105::9b2)
2021-05-31 10:48:46 → zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
2021-05-31 10:53:19 ← tcard parts (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Leaving)
2021-05-31 10:54:10 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:7d39:eb90:ba7d:df66)
2021-05-31 10:54:38 × ru0mad quits (~ru0mad@82-64-17-144.subs.proxad.net) (Quit: leaving)
2021-05-31 10:55:58 × hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.)
2021-05-31 10:55:59 × comerijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-05-31 10:56:35 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-31 10:56:49 → tcard joins (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp)
2021-05-31 10:57:01 × disconsis quits (~disconsis@103.212.147.213) (Quit: Disconnected by BOFL)
2021-05-31 10:57:49 × atwm quits (~andrew@178.197.235.239) (Ping timeout: 268 seconds)
2021-05-31 11:00:02 × favonia quits (~favonia@user/favonia) (Quit: The Lounge - https://thelounge.chat)
2021-05-31 11:01:26 × mc47 quits (~yecinem@89.246.239.190) (Quit: Leaving)
2021-05-31 11:01:32 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-31 11:01:37 × curiousgay quits (~quassel@178.217.208.8) (Read error: Connection reset by peer)
2021-05-31 11:01:46 → curiousgay joins (~quassel@178.217.208.8)
2021-05-31 11:02:20 × xsperry quits (~as@user/xsperry) (Ping timeout: 265 seconds)
2021-05-31 11:02:29 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-31 11:03:07 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:7549:f26f:981e:10ae)
2021-05-31 11:03:40 → mc47 joins (~yecinem@89.246.239.190)
2021-05-31 11:03:46 → danidiaz joins (~ESDPC@148.3.54.112)
2021-05-31 11:05:47 → whez joins (sid470288@id-470288.tooting.irccloud.com)
2021-05-31 11:07:42 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:7549:f26f:981e:10ae) (Ping timeout: 268 seconds)
2021-05-31 11:08:44 → argento joins (~argent0@168.227.96.53)
2021-05-31 11:08:50 × guest531 quits (~user@49.5.6.87) (Read error: Connection reset by peer)
2021-05-31 11:09:09 → sciencentistguy joins (~sciencent@194.110.13.3)
2021-05-31 11:10:47 × holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 268 seconds)
2021-05-31 11:12:05 × rahguzar quits (~rahguzar@212.189.140.214) (Quit: Connection closed)
2021-05-31 11:12:28 → rahguzar joins (~rahguzar@212.189.140.214)
2021-05-31 11:12:52 → favonia joins (~favonia@user/favonia)
2021-05-31 11:12:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-31 11:13:45 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-31 11:16:56 → smitop joins (uid328768@user/smitop)
2021-05-31 11:21:38 → neceve joins (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130)
2021-05-31 11:22:18 → ruomad joins (~ruomad@176.164.105.224)
2021-05-31 11:22:58 × ruomad quits (~ruomad@176.164.105.224) (Client Quit)
←Prev  Next→
Page 1 .. 201 202 203 204 205 206 207 208 209 210 211 .. 17913

All times are in UTC.