Logs: freenode/#haskell
| 2021-05-06 19:14:55 | → | mathlover2 joins (~mathlover@cpe-67-248-97-14.nycap.res.rr.com) |
| 2021-05-06 19:14:55 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-06 19:16:45 | → | ji joins (896e4b9e@137.110.75.158) |
| 2021-05-06 19:17:04 | × | ji quits (896e4b9e@137.110.75.158) (Client Quit) |
| 2021-05-06 19:18:12 | <hyperisco> | :t cotraverse |
| 2021-05-06 19:18:13 | <lambdabot> | error: |
| 2021-05-06 19:18:13 | <lambdabot> | • Variable not in scope: cotraverse |
| 2021-05-06 19:18:13 | <lambdabot> | • Perhaps you meant one of these: |
| 2021-05-06 19:19:38 | × | cdsmith quits (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Quit: Connection closed) |
| 2021-05-06 19:22:11 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-05-06 19:22:36 | → | cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-05-06 19:26:56 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Remote host closed the connection) |
| 2021-05-06 19:27:11 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 2021-05-06 19:28:22 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-06 19:29:33 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Remote host closed the connection) |
| 2021-05-06 19:30:32 | × | chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Remote host closed the connection) |
| 2021-05-06 19:31:32 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 2021-05-06 19:32:53 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds) |
| 2021-05-06 19:33:14 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-06 19:33:16 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-05-06 19:34:49 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-06 19:35:09 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-06 19:35:53 | <joel135> | @hoogle cotraverse |
| 2021-05-06 19:35:54 | <lambdabot> | Data.Distributive cotraverse :: (Distributive g, Functor f) => (f a -> b) -> f (g a) -> g b |
| 2021-05-06 19:35:54 | <lambdabot> | Rank2 cotraverse :: (Distributive g, Functor m) => (forall a . m (p a) -> q a) -> m (g p) -> g q |
| 2021-05-06 19:35:54 | <lambdabot> | Data.Cotraversable cotraverse :: (Cotraversable f, Functor g) => (g a -> b) -> g (f a) -> f b |
| 2021-05-06 19:37:49 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-05-06 19:38:26 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-06 19:39:31 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 2021-05-06 19:39:40 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-06 19:42:01 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-06 19:44:10 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-06 19:44:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-06 19:46:50 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-06 19:47:08 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-06 19:48:44 | → | m_shiraeeshi joins (~shiraeesh@5.101.59.123) |
| 2021-05-06 19:50:44 | × | shiraeeshi quits (~shiraeesh@109.166.56.68) (Ping timeout: 246 seconds) |
| 2021-05-06 19:51:15 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-05-06 19:54:03 | ← | sajith parts (~sajith@fsf/member/nonzen) () |
| 2021-05-06 19:55:25 | <zzz> | i'm starting to look into the DataKinds extention. are there any general pointers on reasoning about performance with type level stuff? |
| 2021-05-06 19:55:32 | → | ADG1089 joins (~aditya@27.58.164.109) |
| 2021-05-06 19:56:37 | × | nisstyre quits (~wes@python-zero/conduct-committee/nisstyre) (Quit: WeeChat 3.1) |
| 2021-05-06 19:57:15 | → | nisstyre joins (~wes@python-zero/conduct-committee/nisstyre) |
| 2021-05-06 19:57:59 | × | kum0 quits (~kumo@139.180.144.166) (Ping timeout: 260 seconds) |
| 2021-05-06 20:01:23 | × | kiltzman quits (~k1ltzman@5.206.224.243) (Ping timeout: 248 seconds) |
| 2021-05-06 20:01:33 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-06 20:02:33 | → | kiltzman joins (~k1ltzman@195.189.99.96) |
| 2021-05-06 20:03:39 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-05-06 20:04:37 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-06 20:04:43 | × | ADG1089 quits (~aditya@27.58.164.109) (Remote host closed the connection) |
| 2021-05-06 20:05:11 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 2021-05-06 20:07:06 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-06 20:07:37 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-05-06 20:07:39 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-05-06 20:07:45 | → | ADG1089 joins (~aditya@27.58.164.109) |
| 2021-05-06 20:08:03 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-06 20:11:25 | → | kum0 joins (~kumo@139.180.144.166) |
| 2021-05-06 20:12:57 | × | roconnor quits (~roconnor@host-45-58-195-183.dyn.295.ca) (Ping timeout: 260 seconds) |
| 2021-05-06 20:14:37 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-06 20:14:48 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-06 20:15:10 | → | jneira joins (4f9b01f9@gateway/web/cgi-irc/kiwiirc.com/ip.79.155.1.249) |
| 2021-05-06 20:15:43 | × | NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 260 seconds) |
| 2021-05-06 20:16:12 | → | NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur) |
| 2021-05-06 20:16:34 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-05-06 20:17:20 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-06 20:17:23 | → | roconnor joins (~roconnor@host-45-58-195-183.dyn.295.ca) |
| 2021-05-06 20:18:10 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-06 20:18:14 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-05-06 20:18:54 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-06 20:19:42 | → | gitgood joins (~gitgood@80-44-12-75.dynamic.dsl.as9105.com) |
| 2021-05-06 20:20:33 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-05-06 20:20:48 | → | xcmw joins (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 2021-05-06 20:21:46 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-06 20:22:15 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-06 20:22:28 | <nut> | are there any examples showing how to use template haskell to auto generate new data types? |
| 2021-05-06 20:22:32 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-06 20:23:01 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-05-06 20:23:03 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-06 20:23:26 | <nut> | my use case is: a function returns a list of countries, and I want to make a new data type where each country is a field |
| 2021-05-06 20:23:56 | → | s00pcan joins (~chris@107.181.165.217) |
| 2021-05-06 20:25:44 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-06 20:25:57 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 2021-05-06 20:26:16 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 2021-05-06 20:26:51 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) |
| 2021-05-06 20:28:11 | × | rekahsoft quits (~rekahsoft@38.29.28.2) (Ping timeout: 260 seconds) |
| 2021-05-06 20:29:19 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) (Client Quit) |
| 2021-05-06 20:29:58 | <sm[m]> | g'day all |
| 2021-05-06 20:30:00 | × | carldd quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Quit: Ping timeout (120 seconds)) |
| 2021-05-06 20:30:07 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-06 20:30:15 | <maerwald> | sm[m]: namaste |
| 2021-05-06 20:30:26 | → | carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2021-05-06 20:30:59 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-06 20:31:14 | <sm[m]> | two how-do-I-learn-haskell threads, almost the same, hours apart: |
| 2021-05-06 20:31:14 | <sm[m]> | https://www.reddit.com/r/haskell/comments/n5gkax/less_than_a_week_til_my_haskell_exams_and_i_feel/ |
| 2021-05-06 20:31:14 | <sm[m]> | https://www.reddit.com/r/haskell/comments/n5pl48/i_want_to_learn_haskell/ |
| 2021-05-06 20:31:15 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-06 20:31:46 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-05-06 20:31:58 | <sm[m]> | surely we could do better in gathering and highlighting the best resources in one place. But what's the cheap effective way ? Any thoughts ? |
| 2021-05-06 20:32:23 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-05-06 20:32:26 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) |
All times are in UTC.