Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 .. 18037
— 1,803,602 events total
2021-07-26 10:33:38 → _bin joins (~bin@user/bin/x-1583188)
2021-07-26 10:37:58 → burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk)
2021-07-26 10:37:59 × sm2n quits (~sm2n@user/sm2n) (Ping timeout: 255 seconds)
2021-07-26 10:39:55 × dunkeln quits (~dunkeln@94.129.69.87) (Ping timeout: 258 seconds)
2021-07-26 10:40:19 → peterhil joins (~peterhil@mobile-access-5d6af6-209.dhcp.inet.fi)
2021-07-26 10:41:23 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 252 seconds)
2021-07-26 10:41:50 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-26 10:43:02 × burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Ping timeout: 245 seconds)
2021-07-26 10:45:15 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-26 10:45:41 → dunkeln joins (~dunkeln@94.129.69.87)
2021-07-26 10:46:58 × dunkeln quits (~dunkeln@94.129.69.87) (Client Quit)
2021-07-26 10:47:13 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-26 10:50:54 → dunkeln joins (~dunkeln@94.129.69.87)
2021-07-26 10:51:30 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-07-26 10:51:58 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-26 10:56:47 × raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds)
2021-07-26 10:58:29 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-07-26 11:00:37 × vsiddharth quits (~user@23.252.50.92) (Ping timeout: 258 seconds)
2021-07-26 11:03:52 × gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving)
2021-07-26 11:04:18 <Arahael> What's does it mean when we do: `data Foo foo where ...`?
2021-07-26 11:04:30 <Arahael> I've not really come across that syntax for data types.
2021-07-26 11:04:47 <Arahael> Example: https://hackage.haskell.org/package/proto-lens-0.7.0.0/docs/src/Data.ProtoLens.Message.html#FieldDescriptor
2021-07-26 11:06:03 <kritzefitz> Arahael, that's called a generalized algebraic data type (or GADT for short)
2021-07-26 11:06:09 <Taneb> Arahael: they're GADTs (or at least using the GADT syntax)
2021-07-26 11:06:10 <Taneb> https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/gadt.html
2021-07-26 11:06:38 <Arahael> Taneb: Thanks.
2021-07-26 11:06:42 <Arahael> That helps heaps!
2021-07-26 11:07:33 → jippiedoe joins (~david@2a02-a44c-e14e-1-71e9-bb56-c41b-9e9d.fixed6.kpn.net)
2021-07-26 11:10:45 → lavaman joins (~lavaman@98.38.249.169)
2021-07-26 11:12:56 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:4d31:e765:567c:8f88)
2021-07-26 11:13:58 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-26 11:14:42 × peterhil quits (~peterhil@mobile-access-5d6af6-209.dhcp.inet.fi) (Ping timeout: 245 seconds)
2021-07-26 11:17:29 × Morrow quits (~Morrow@147.161.8.32) (Read error: Connection reset by peer)
2021-07-26 11:18:02 → agua joins (~agua@2804:14c:8793:8e2f:39e9:c5a8:c532:7498)
2021-07-26 11:18:29 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds)
2021-07-26 11:19:00 → kenran joins (~kenran@b2b-37-24-119-190.unitymedia.biz)
2021-07-26 11:20:02 × pesada quits (~agua@2804:18:4f:4b5e:1:0:5480:48f9) (Ping timeout: 256 seconds)
2021-07-26 11:20:30 × ubert quits (~Thunderbi@77.119.205.108.wireless.dyn.drei.com) (Quit: ubert)
2021-07-26 11:24:23 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 252 seconds)
2021-07-26 11:24:47 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-07-26 11:25:10 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-26 11:28:15 × azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-07-26 11:29:25 → peterhil joins (~peterhil@mobile-access-5d6af6-209.dhcp.inet.fi)
2021-07-26 11:31:01 → azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it)
2021-07-26 11:32:35 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-07-26 11:33:35 × dunkeln quits (~dunkeln@94.129.69.87) (Ping timeout: 258 seconds)
2021-07-26 11:34:48 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-26 11:35:31 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-26 11:35:46 → dunkeln joins (~dunkeln@94.129.69.87)
2021-07-26 11:39:26 × Reyu[M] quits (~reyureyuz@matrix.reyuzenfold.com) (Remote host closed the connection)
2021-07-26 11:39:54 → acidjnk_new joins (~acidjnk@p200300d0c72b9530a5bcc5cf9bf6f5b6.dip0.t-ipconnect.de)
2021-07-26 11:40:16 → Reyu[M] joins (~reyureyuz@matrix.reyuzenfold.com)
2021-07-26 11:41:08 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-26 11:43:00 × acidjnk quits (~acidjnk@p200300d0c72b9549b83720658b9c4b74.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-07-26 11:43:15 → burnsidesLlama joins (~burnsides@client-8-87.eduroam.oxuni.org.uk)
2021-07-26 11:45:30 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-07-26 11:46:52 tomsmeding was wondering what X is in the correspondence: sequence (map f l) == mapM f l ; sequenceA (map f l) == X
2021-07-26 11:46:58 tomsmeding realised that it's all traverse
2021-07-26 11:47:46 × burnsidesLlama quits (~burnsides@client-8-87.eduroam.oxuni.org.uk) (Ping timeout: 250 seconds)
2021-07-26 11:49:50 <jippiedoe> It's always traverse :)
2021-07-26 11:53:32 ← jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
2021-07-26 12:01:13 shane_ is now known as shane
2021-07-26 12:05:03 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-26 12:06:25 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 265 seconds)
2021-07-26 12:07:09 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-26 12:10:02 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-07-26 12:11:42 → jakalx joins (~jakalx@base.jakalx.net)
2021-07-26 12:13:17 × sander quits (~sander@user/sander) (Quit: So long! :))
2021-07-26 12:13:26 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-26 12:13:35 → sander joins (~sander@user/sander)
2021-07-26 12:13:46 → favonia joins (~favonia@user/favonia)
2021-07-26 12:16:38 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-26 12:16:51 × Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 276 seconds)
2021-07-26 12:17:11 → lavaman joins (~lavaman@98.38.249.169)
2021-07-26 12:17:53 × jespada quits (~jespada@90.254.247.46) (Ping timeout: 255 seconds)
2021-07-26 12:18:31 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-07-26 12:19:17 → shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-07-26 12:19:57 → jespada joins (~jespada@90.254.247.46)
2021-07-26 12:20:08 → Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es)
2021-07-26 12:21:00 → raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-26 12:21:48 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-07-26 12:24:06 × delYsid quits (~user@nt-a222.wlcli.tugraz.at) (Remote host closed the connection)
2021-07-26 12:31:15 → sm2n joins (~sm2n@user/sm2n)
2021-07-26 12:32:24 × peterhil quits (~peterhil@mobile-access-5d6af6-209.dhcp.inet.fi) (Ping timeout: 250 seconds)
2021-07-26 12:33:56 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-26 12:36:27 → peterhil joins (~peterhil@mobile-access-5d6af6-209.dhcp.inet.fi)
2021-07-26 12:38:48 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-07-26 12:42:27 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-26 12:43:12 × liskin quits (~liskin@xmonad/liskin) (Quit: liskin)
2021-07-26 12:43:58 → pe200012 joins (~pe200012@113.105.10.33)
2021-07-26 12:44:49 → liskin joins (~liskin@xmonad/liskin)
2021-07-26 12:44:58 → arthurxavierx joins (~arthurxav@201.17.157.69)
2021-07-26 12:45:55 × arthurxavierx quits (~arthurxav@201.17.157.69) (Remote host closed the connection)
2021-07-26 12:47:21 → arthurxavierx joins (~arthurxav@201.17.157.69)
2021-07-26 12:49:38 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 252 seconds)
2021-07-26 12:50:13 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-26 12:52:17 → Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-07-26 12:52:47 × andreabedini quits (~andreabed@ec2-3-25-98-120.ap-southeast-2.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat)
2021-07-26 12:53:35 → andreabedini joins (~andreabed@ec2-3-25-98-120.ap-southeast-2.compute.amazonaws.com)
2021-07-26 12:53:40 → gehmehgeh joins (~user@user/gehmehgeh)
←Prev  Next→
Page 1 .. 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 .. 18037

All times are in UTC.