Logs: freenode/#haskell
| 2021-03-06 00:20:25 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 2021-03-06 00:24:06 | <mniip> | with data families is it possible to distinguish "indices" from "parameters"? |
| 2021-03-06 00:25:11 | <mniip> | say I want a data family F : A -> B -> *, where each (F x) is a concrete datatype B -> * |
| 2021-03-06 00:27:01 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:388b:b0a5:f74:a953) (Ping timeout: 272 seconds) |
| 2021-03-06 00:28:12 | × | hiroaki_ quits (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2021-03-06 00:29:58 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 2021-03-06 00:33:12 | × | Wezl quits (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) (Ping timeout: 260 seconds) |
| 2021-03-06 00:41:55 | → | hiroaki_ joins (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) |
| 2021-03-06 00:45:33 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds) |
| 2021-03-06 00:45:49 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-06 00:48:31 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-06 00:51:03 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 2021-03-06 00:55:44 | → | gitgood joins (~gitgood@82-132-219-92.dab.02.net) |
| 2021-03-06 00:59:11 | <mniip> | can one use TH/quasiquoters to generate a bunch of datatype declarations? |
| 2021-03-06 00:59:21 | <mniip> | looks like you can't splice construtor names? |
| 2021-03-06 01:02:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-06 01:06:37 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 276 seconds) |
| 2021-03-06 01:07:41 | → | Wezl joins (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) |
| 2021-03-06 01:07:50 | ← | Wezl parts (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) () |
| 2021-03-06 01:13:45 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 264 seconds) |
| 2021-03-06 01:14:47 | → | qih joins (~pi@210-54-120-166.adsl.xtra.co.nz) |
| 2021-03-06 01:15:00 | × | ozataman quits (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-03-06 01:15:32 | <__minoru__shirae> | mniip: what do you mean "splice constructor names"? concatenate? |
| 2021-03-06 01:15:46 | → | fissureman joins (~quassel@c-73-201-159-163.hsd1.dc.comcast.net) |
| 2021-03-06 01:16:41 | <mniip> | data D = $(code-generated constructor name) |
| 2021-03-06 01:17:21 | <qih> | o/ |
| 2021-03-06 01:19:04 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:b415:f422:4eeb:ecc6) |
| 2021-03-06 01:19:08 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-06 01:22:27 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-06 01:22:49 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-06 01:24:20 | → | redmp joins (~redmp@172.58.35.84) |
| 2021-03-06 01:26:12 | <c_wraith> | nope. You'd have to do $(code-generated "D" constructor name) |
| 2021-03-06 01:26:39 | <c_wraith> | splices can be expressions, patterns, types, or declarations. Constructors aren't actually any of those. |
| 2021-03-06 01:27:23 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-ihuasyfhsigzsydj) |
| 2021-03-06 01:27:59 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-06 01:28:38 | <koz_> | What's the canonical reference for list comprehensions? Haskell Report? |
| 2021-03-06 01:28:49 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 245 seconds) |
| 2021-03-06 01:30:40 | <mniip> | c_wraith, yea I feared that |
| 2021-03-06 01:34:30 | × | hiroaki_ quits (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2021-03-06 01:34:44 | <monochrom> | koz_: If one of Miranda or Gopher has it, then it is probably the earliest appearance of list comprehension. |
| 2021-03-06 01:34:59 | <koz_> | monochrom: Sorry, I wasn't clear. I meant 'in Haskell'. |
| 2021-03-06 01:35:03 | × | nineonine quits (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2021-03-06 01:35:39 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-03-06 01:35:51 | <monochrom> | Then I think Haskell Report would be it. |
| 2021-03-06 01:36:04 | <koz_> | monochrom: Thanks! |
| 2021-03-06 01:36:30 | → | pfurla_ joins (~pfurla@77.15.195.173.client.static.strong-in52.as13926.net) |
| 2021-03-06 01:36:46 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-06 01:36:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-06 01:39:14 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2021-03-06 01:39:18 | ← | hnOsmium0001 parts (uid453710@gateway/web/irccloud.com/x-hsfumururywifqcc) () |
| 2021-03-06 01:40:21 | <qih> | koz_: Nice weather today up there? |
| 2021-03-06 01:40:28 | <koz_> | qih: Yes, now that you ask. |
| 2021-03-06 01:40:48 | <qih> | Excellent, likewise, oddly enough 8-) |
| 2021-03-06 01:40:54 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-06 01:41:26 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:58cb) (Ping timeout: 264 seconds) |
| 2021-03-06 01:42:03 | <qih> | Got my DEV system back up and running, so I can grab a bunch of Haskell Packages, like Turtle 8-) |
| 2021-03-06 01:47:25 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-06 01:49:19 | → | ezrakilty joins (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-06 01:49:31 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-03-06 01:49:50 | <koz_> | :t (*>) |
| 2021-03-06 01:49:52 | <lambdabot> | Applicative f => f a -> f b -> f b |
| 2021-03-06 01:49:56 | <koz_> | :t (>>) |
| 2021-03-06 01:49:58 | <lambdabot> | Monad m => m a -> m b -> m b |
| 2021-03-06 01:50:06 | × | xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 246 seconds) |
| 2021-03-06 01:50:09 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-06 01:50:22 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds) |
| 2021-03-06 01:51:25 | <koz_> | Also, I saw this in MonadComprehensions: D[ e | e, Q ] = guard e >> \p -> D[ e | Q ] |
| 2021-03-06 01:51:48 | <koz_> | Why is the desugaring creating this lambda? |
| 2021-03-06 01:52:15 | <koz_> | Shouldn't it be 'guard e >> D[ e | Q ]? |
| 2021-03-06 01:52:23 | <koz_> | s/?/'?/ |
| 2021-03-06 01:54:22 | <qih> | Any chance there is a Google Bot enable for this channel? |
| 2021-03-06 01:57:32 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-06 02:02:57 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 264 seconds) |
| 2021-03-06 02:04:02 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-06 02:07:09 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-03-06 02:08:51 | <qih> | !google Easter Bunny |
| 2021-03-06 02:09:10 | <qih> | ... that's a no 8-) |
| 2021-03-06 02:09:20 | <swarmcollective> | @google Easter Bunny |
| 2021-03-06 02:09:22 | <lambdabot> | No Result Found. |
| 2021-03-06 02:10:47 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-03-06 02:11:19 | <qih> | ^..^ |
| 2021-03-06 02:11:28 | <qih> | swarmcollective: Ta |
| 2021-03-06 02:12:29 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-jznxrcvykoijbcuj) (Quit: Connection closed for inactivity) |
| 2021-03-06 02:14:36 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-06 02:19:04 | × | dunj3 quits (~dunj3@2001:16b8:30a0:1e00:e916:763f:8b57:452f) (Remote host closed the connection) |
| 2021-03-06 02:21:47 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 265 seconds) |
| 2021-03-06 02:22:26 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-06 02:22:49 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-06 02:24:12 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-06 02:24:39 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-06 02:28:09 | → | drbean joins (~drbean@TC210-63-209-55.static.apol.com.tw) |
| 2021-03-06 02:29:02 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-06 02:29:10 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-06 02:29:28 | → | ADG1089_ joins (~adg1089@171.76.153.167) |
| 2021-03-06 02:29:28 | × | ADG1089_ quits (~adg1089@171.76.153.167) (Read error: Connection reset by peer) |
| 2021-03-06 02:29:41 | × | gitgood quits (~gitgood@82-132-219-92.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-06 02:29:43 | → | ADG1089_ joins (~adg1089@171.79.107.148) |
| 2021-03-06 02:30:38 | <qih> | koz_: https://blockchain.org.nz/about/our-members/ <= I had no idea! |
| 2021-03-06 02:30:53 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 245 seconds) |
| 2021-03-06 02:31:01 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
All times are in UTC.