Logs on 2021-05-07 (freenode/#haskell)
| 00:00:57 | <tempate_> | I have updated the git (https://github.com/Tempate/8puzzle), in case any of you are interested |
| 00:01:11 | <tempate_> | Thank you both, cdsmith and jackdk, for your help |
| 00:01:34 | <cdsmith> | tempate_: Awesome. |
| 00:01:58 | → | tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 00:02:02 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 00:02:59 | ← | cdsmith parts (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) () |
| 00:03:36 | → | cdsmith joins (~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net) |
| 00:04:45 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 00:06:00 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 00:06:15 | × | tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 00:07:42 | <cdsmith> | Slightly ranting here, but Haskell really needs a feature to derive not only this instance, but any other instances needed to derive this one. I hate this 200 lines of stand-alone deriving that I'll have to update every time I update to a new template-haskell version. |
| 00:10:06 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 00:10:06 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 00:10:06 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 00:11:19 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 00:12:04 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:14:19 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b954650e5c2c931fd0d8a.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 00:14:37 | → | zmijunkie joins (~Adium@87.122.209.149) |
| 00:16:05 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 00:16:06 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 00:16:10 | × | zmijunkie1 quits (~Adium@87.123.53.7) (Ping timeout: 252 seconds) |
| 00:17:25 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 00:18:50 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 00:20:35 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 00:23:45 | → | bennofs_ joins (~quassel@dynamic-089-012-144-143.89.12.pool.telefonica.de) |
| 00:24:19 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 00:25:27 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 00:26:07 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) (Remote host closed the connection) |
| 00:27:09 | → | kderme joins (2e675c7c@46-92-124.adsl.cyta.gr) |
| 00:27:12 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 00:27:17 | → | jgt_ joins (~jgt@87.227.221.129) |
| 00:27:42 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) |
| 00:27:53 | × | bennofs__ quits (~quassel@dynamic-089-012-167-128.89.12.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 00:28:01 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 00:29:00 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds) |
| 00:29:42 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 00:32:05 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) (Ping timeout: 250 seconds) |
| 00:33:38 | <gnumonic> | So I'm doing some kind of complicated stuff with singletons and GADTs and I noticed that, inside a do-block, "let GadtThing x = mkGadt" often throws type errors whereas "GadtThing x <- pure mkGadt" doesn't. I thought they were equivalent? Why might the latter one work while the former doesn't? |
| 00:34:06 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 00:34:21 | <geekosaur> | MonoLocalBinds? |
| 00:36:42 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 00:36:50 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/let_generalisation.html |
| 00:39:28 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 00:41:27 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 252 seconds) |
| 00:43:12 | × | mathlover2 quits (~mathlover@cpe-67-248-97-14.nycap.res.rr.com) (Ping timeout: 240 seconds) |
| 00:43:19 | <gnumonic> | ooooh i didn't realize that was implied by TypeFamilies and GADTs (both of which I have on). welp now i know what that extension does, thanks |
| 00:46:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 00:46:44 | × | jgt_ quits (~jgt@87.227.221.129) (Ping timeout: 265 seconds) |
| 00:48:19 | → | pfurla_ joins (~pfurla@246.15.195.173.client.static.strong-in52.as13926.net) |
| 00:48:59 | <gnumonic> | somewhat related question i've had: How exactly does GHC determine that a case is unreachable? I've run into several instances where a case definitely is unreachable (I wrote out proofs in first order logic by hand to convince myself) and it *seems* like GHC should know that, but it doesn't. It does OK with a single type level predicate (something of kind :: k ~> Type) but when I use the predicate combinators in the |
| 00:48:59 | <gnumonic> | Data.Type.Predicate library GHC seems to lose the ability to infer unreachable cases completely |
| 00:49:38 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 00:49:57 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 00:50:07 | → | stree joins (~stree@68.36.8.116) |
| 00:50:37 | × | darjeeling_ quits (~darjeelin@122.245.123.138) (Ping timeout: 252 seconds) |
| 00:50:41 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 00:53:05 | × | epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 00:58:11 | × | notzmv- quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 01:02:08 | × | tempate_ quits (~alpha@90.167.203.12) (Quit: Leaving.) |
| 01:08:19 | → | jgt_ joins (~jgt@87.227.221.129) |
| 01:08:26 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 01:10:16 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 01:10:43 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:07 | <nshepperd2> | gnumonic: are you talking about the incomplete pattern match / exhaustiveness checker? it doesn't do proof search or anything. last i heard the latest thing it might use (not sure when/if it was merged) is https://dl.acm.org/doi/pdf/10.1145/3408989 |
| 01:11:31 | × | xff0x quits (~xff0x@2001:1a81:529c:3600:b6e:989c:229a:901a) (Ping timeout: 250 seconds) |
| 01:11:50 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:12:32 | × | jgt_ quits (~jgt@87.227.221.129) (Ping timeout: 240 seconds) |
| 01:12:49 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 01:13:07 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 01:13:26 | → | xff0x joins (~xff0x@2001:1a81:52b7:3500:6e89:c783:d968:1382) |
| 01:15:43 | <nshepperd2> | the algorithm is incomplete because of course the problem is undecidable, so i wouldn't be surprised if it doesn't handle dependently typed hasochism stuff that well |
| 01:17:45 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 01:19:19 | × | xcmw quits (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:21:12 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds) |
| 01:22:14 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 01:22:33 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 01:25:49 | × | twk- quits (~thewormki@unaffiliated/twk-) (Ping timeout: 250 seconds) |
| 01:26:31 | × | TheScoop quits (~TheScoop@unaffiliated/tryte) (Ping timeout: 260 seconds) |
| 01:26:31 | × | marek quits (~mmahut@209.250.249.245) (Ping timeout: 268 seconds) |
| 01:26:34 | × | Uma_ quits (~uma@umazalakain.info) (Ping timeout: 252 seconds) |
| 01:26:51 | × | caubert quits (~caubert@136.244.111.235) (Ping timeout: 265 seconds) |
| 01:29:33 | → | TheScoop joins (~TheScoop@unaffiliated/tryte) |
| 01:31:05 | → | Uma joins (~uma@umazalakain.info) |
| 01:32:37 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 01:32:55 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 01:34:50 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-bhsmxiudnaicoyri) (Quit: Connection closed for inactivity) |
| 01:35:50 | → | twk- joins (~thewormki@unaffiliated/twk-) |
| 01:35:52 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 01:37:07 | → | caubert joins (~caubert@136.244.111.235) |
| 01:37:46 | → | marek joins (~mmahut@209.250.249.245) |
| 01:39:40 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:40:12 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 01:43:22 | × | smerdyakov quits (~dan@5.146.195.164) (Read error: Connection reset by peer) |
| 01:43:28 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 01:43:52 | → | smerdyakov joins (~dan@5.146.195.164) |
| 01:44:11 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 01:44:52 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 01:46:10 | × | chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 01:46:33 | → | tsaka__ joins (~torstein@178-147-206-209.haap.dm.cosmote.net) |
| 01:46:55 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) |
| 01:47:31 | × | todda7 quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 01:49:43 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 01:51:40 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) (Ping timeout: 276 seconds) |
| 01:51:56 | × | pfurla_ quits (~pfurla@246.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 246 seconds) |
| 01:53:50 | → | thongpv87 joins (~thongpv87@27.76.236.94) |
| 01:55:05 | <thongpv87> | I'm getting this error when using haskell.nix (with flakes feature) to build my project: "error: Cannot find Git revision '725340d92f8109bf5ea620a224fe613df9fba8f1' in ref 'master' of repository 'https://github.com/brendanhay/amazonka.git'! Please make sure that the rev exists on the ref you've specified or add allRefs = true; to fetchGit." |
| 01:55:52 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 01:55:54 | <thongpv87> | That commit does exists on the repo but in `main` branch, not master branch |
| 01:56:05 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 01:56:45 | → | Guest87676 joins (~laudiacay@67.176.215.84) |
| 02:00:41 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 02:00:47 | → | drbean_ joins (~drbean@TC210-63-209-185.static.apol.com.tw) |
| 02:01:02 | × | Guest87676 quits (~laudiacay@67.176.215.84) (Ping timeout: 246 seconds) |
| 02:01:32 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) |
| 02:02:03 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 02:02:08 | → | xcmw joins (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 02:02:13 | × | xkapastel quits (uid17782@gateway/web/irccloud.com/x-jvobihoengxrpmye) (Quit: Connection closed for inactivity) |
| 02:03:27 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) (Remote host closed the connection) |
| 02:04:11 | × | caubert quits (~caubert@136.244.111.235) (Ping timeout: 240 seconds) |
| 02:04:19 | × | TheScoop quits (~TheScoop@unaffiliated/tryte) (Ping timeout: 260 seconds) |
| 02:04:46 | × | Uma quits (~uma@umazalakain.info) (Ping timeout: 268 seconds) |
| 02:04:54 | × | marek quits (~mmahut@209.250.249.245) (Ping timeout: 246 seconds) |
| 02:05:15 | × | twk- quits (~thewormki@unaffiliated/twk-) (Ping timeout: 260 seconds) |
| 02:05:25 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) |
| 02:06:41 | → | Uma joins (~uma@umazalakain.info) |
| 02:07:09 | → | twk- joins (~thewormki@unaffiliated/twk-) |
| 02:08:41 | → | caubert joins (~caubert@136.244.111.235) |
| 02:09:02 | → | Wuzzy joins (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) |
| 02:09:19 | × | Wuzzy quits (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 02:09:29 | → | TheScoop joins (~TheScoop@unaffiliated/tryte) |
| 02:10:01 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Ping timeout: 250 seconds) |
| 02:12:12 | × | Sgeo_ quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 02:12:45 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 02:13:06 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 02:13:06 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 02:15:45 | → | marek joins (~mmahut@209.250.249.245) |
| 02:18:49 | × | dorwna quits (~dorwna@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 02:20:06 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) |
| 02:21:17 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 02:21:21 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 02:22:46 | × | theDon quits (~td@muedsl-82-207-238-051.citykom.de) (Ping timeout: 240 seconds) |
| 02:24:50 | → | theDon joins (~td@muedsl-82-207-238-020.citykom.de) |
| 02:25:21 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 02:26:08 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 02:29:02 | × | kderme quits (2e675c7c@46-92-124.adsl.cyta.gr) (Ping timeout: 240 seconds) |
| 02:30:10 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 02:30:15 | → | eisen joins (~eisen@modemcable159.116-21-96.mc.videotron.ca) |
| 02:30:44 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 02:30:44 | finn_elija | is now known as Guest46933 |
| 02:30:44 | FinnElija | is now known as finn_elija |
| 02:33:09 | × | Guest46933 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 02:36:27 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 02:37:12 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 02:39:11 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 02:42:02 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 02:42:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:42:49 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 02:43:02 | × | pjb quits (~pjb@2a01cb04063ec500d847c6a20b966406.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:43:23 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 02:43:43 | → | sheepduck joins (~sheepduck@2607:fea8:2a62:9600::eab6) |
| 02:43:46 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 02:43:57 | → | Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 02:46:06 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 02:46:34 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 02:46:35 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) |
| 02:46:53 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 246 seconds) |
| 02:47:44 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 02:47:55 | × | Codaraxis quits (~Codaraxis@92.223.89.162) (Ping timeout: 268 seconds) |
| 02:48:22 | → | pjb joins (~pjb@2a01cb04063ec50060d83fce37963843.ipv6.abo.wanadoo.fr) |
| 02:50:24 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 02:50:43 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 02:51:16 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 02:51:28 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Ping timeout: 276 seconds) |
| 02:53:53 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:55:16 | × | sqrt2_ quits (~ben@unaffiliated/sqrt2) (Remote host closed the connection) |
| 02:56:04 | × | pavonia quits (~user@unaffiliated/siracusa) (Read error: Connection reset by peer) |
| 02:56:28 | → | jgt_ joins (~jgt@87.227.221.129) |
| 02:57:14 | → | proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 02:57:29 | → | sqrt2 joins (~ben@unaffiliated/sqrt2) |
| 02:57:46 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 02:58:30 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 02:58:35 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) |
| 03:00:14 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 03:00:47 | × | jgt_ quits (~jgt@87.227.221.129) (Ping timeout: 252 seconds) |
| 03:02:51 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:06:52 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 03:07:05 | → | dastomate joins (~dastomate@0543f40b.skybroadband.com) |
| 03:11:14 | → | stree joins (~stree@68.36.8.116) |
| 03:12:24 | → | Guest_78 joins (ae387357@c-174-56-115-87.hsd1.nm.comcast.net) |
| 03:12:26 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 03:13:44 | × | Guest_78 quits (ae387357@c-174-56-115-87.hsd1.nm.comcast.net) (Client Quit) |
| 03:15:36 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-gkfvaaewbzylzobi) |
| 03:16:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 03:17:09 | → | ebsen joins (~ebsene@64-33-113-59-dynamic.midco.net) |
| 03:17:30 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) |
| 03:17:43 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 03:17:57 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 03:21:04 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-tnnifmuuyqdjaowu) (Quit: Connection closed for inactivity) |
| 03:21:57 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Ping timeout: 250 seconds) |
| 03:22:36 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 03:24:09 | × | ebsen quits (~ebsene@64-33-113-59-dynamic.midco.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 03:25:41 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 03:25:51 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 03:28:11 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 03:30:07 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 03:30:22 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 03:30:31 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Quit: Leaving) |
| 03:32:25 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 276 seconds) |
| 03:36:23 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 03:42:59 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-qwfpakkgqlgnbdyf) () |
| 03:43:15 | × | eisen quits (~eisen@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 246 seconds) |
| 03:45:06 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 03:46:32 | × | undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Ping timeout: 265 seconds) |
| 03:46:56 | × | solidus-river quits (~mike@174.127.249.180) (Remote host closed the connection) |
| 03:55:06 | × | thongpv87 quits (~thongpv87@27.76.236.94) (Remote host closed the connection) |
| 03:57:10 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:59:34 | → | luke joins (4cba4096@cpe-76-186-64-150.tx.res.rr.com) |
| 03:59:58 | luke | is now known as Guest56089 |
| 04:01:26 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 04:03:08 | → | Guest87676 joins (~laudiacay@67.176.215.84) |
| 04:03:50 | → | undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 04:05:14 | × | Guest56089 quits (4cba4096@cpe-76-186-64-150.tx.res.rr.com) (Quit: Connection closed) |
| 04:07:43 | × | Guest87676 quits (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 04:13:06 | × | carlomagno quits (~cararell@148.87.23.8) (Quit: Leaving.) |
| 04:13:06 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 04:13:20 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 04:16:08 | × | m_shiraeeshi quits (~shiraeesh@5.101.59.123) (Ping timeout: 246 seconds) |
| 04:25:58 | × | newz2000 quits (~newz2000@185.163.110.100) (Remote host closed the connection) |
| 04:27:12 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 04:37:35 | × | sheepduck quits (~sheepduck@2607:fea8:2a62:9600::eab6) (Remote host closed the connection) |
| 04:39:04 | × | drbean_ quits (~drbean@TC210-63-209-185.static.apol.com.tw) (Ping timeout: 252 seconds) |
| 04:41:54 | → | tummy joins (~tummy@195.140.213.38) |
| 04:44:37 | → | jgt_ joins (~jgt@87.227.221.129) |
| 04:46:14 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 246 seconds) |
| 04:46:53 | × | leothrix quits (~leothrix@elastic/staff/leothrix) (Read error: Connection reset by peer) |
| 04:49:11 | × | jgt_ quits (~jgt@87.227.221.129) (Ping timeout: 240 seconds) |
| 04:51:25 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) |
| 04:51:27 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 04:55:59 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Ping timeout: 250 seconds) |
| 04:56:11 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 05:00:17 | → | mathlover2 joins (~mathlover@cpe-67-248-97-14.nycap.res.rr.com) |
| 05:00:44 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 05:00:48 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 05:01:03 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 05:02:53 | × | mathlover2 quits (~mathlover@cpe-67-248-97-14.nycap.res.rr.com) (Client Quit) |
| 05:03:19 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:05:36 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 260 seconds) |
| 05:08:59 | → | drbean_ joins (~drbean@210.63.209.179) |
| 05:13:22 | → | vicfred_ joins (~vicfred@unaffiliated/vicfred) |
| 05:14:17 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:15:41 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Ping timeout: 240 seconds) |
| 05:16:52 | → | jgt_ joins (~jgt@87.227.221.129) |
| 05:17:36 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 05:19:00 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 05:19:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 05:21:06 | × | jgt_ quits (~jgt@87.227.221.129) (Ping timeout: 240 seconds) |
| 05:21:46 | × | Shuppiluliuma quits (~shuppilul@153.33.68.161) (Ping timeout: 240 seconds) |
| 05:24:44 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 05:24:50 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 05:28:49 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:29:29 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 05:29:40 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 05:29:54 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:29:59 | → | leothrix joins (~leothrix@elastic/staff/leothrix) |
| 05:30:20 | → | Feuermagier joins (~Feuermagi@213.178.26.41) |
| 05:30:35 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 05:31:04 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:31:43 | → | stree joins (~stree@68.36.8.116) |
| 05:31:44 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 05:32:31 | → | tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:32:34 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 05:33:51 | × | renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 260 seconds) |
| 05:34:02 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Remote host closed the connection) |
| 05:34:40 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) |
| 05:37:00 | × | xcmw quits (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:37:30 | × | tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 05:42:45 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 05:43:00 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 05:44:06 | × | electricityZZZZ quits (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 05:46:26 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Ping timeout: 260 seconds) |
| 05:47:15 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-udyzskrqxqzkzbjc) (Quit: Connection closed for inactivity) |
| 05:47:16 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 05:51:04 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 05:51:30 | × | vicfred_ quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 05:53:21 | → | CMCDragonkai2 joins (~Thunderbi@60-242-118-130.tpgi.com.au) |
| 05:53:39 | <boxscape> | Is there a way to get the Maybe monoidal behavior for Either, i.e. so that (Right [1,2] <> Right [3]) is Right [1,2,3]? |
| 05:55:27 | × | tummy quits (~tummy@195.140.213.38) (Remote host closed the connection) |
| 05:55:47 | <boxscape> | hm I guess there'd still be ambiguity about what to do with multiple lefts |
| 05:55:59 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 05:56:17 | <dibblego> | liftA2 (<>) |
| 05:56:21 | × | mounty quits (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 260 seconds) |
| 05:57:28 | <boxscape> | dibblego nice, thanks |
| 05:57:47 | → | xmj1 joins (~xmj@185.163.110.100) |
| 05:57:58 | <gnumonic> | I understand the practical differences between the typelevel (==) / %== and (:~:) / %~ from Singletons, but I kind of need to mix and match typelevel boolean equality and propositional equality for something. If a %== b evaluates to STrue, it is possible for a %~ b to evaluate to Disproved {}? If so, in what circumstances might that happen? |
| 05:58:45 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 06:00:48 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 06:02:04 | → | darjeeling_ joins (~darjeelin@112.16.171.10) |
| 06:05:13 | → | sedeki joins (~textual@unaffiliated/sedeki) |
| 06:06:31 | × | darjeeling_ quits (~darjeelin@112.16.171.10) (Ping timeout: 252 seconds) |
| 06:07:45 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 06:13:07 | × | proofofkeags quits (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 252 seconds) |
| 06:13:19 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 06:16:12 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 06:16:26 | × | CMCDragonkai2 quits (~Thunderbi@60-242-118-130.tpgi.com.au) (Ping timeout: 240 seconds) |
| 06:16:35 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 06:16:49 | → | malumore joins (~malumore@151.62.113.163) |
| 06:22:04 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 276 seconds) |
| 06:22:26 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 06:22:31 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 06:23:26 | × | tsaka__ quits (~torstein@178-147-206-209.haap.dm.cosmote.net) (Ping timeout: 240 seconds) |
| 06:24:42 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 06:25:00 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 06:26:51 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 06:27:16 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:28:46 | × | thunderrd quits (~thunderrd@183.182.114.223) (*.net *.split) |
| 06:30:08 | → | alexander joins (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
| 06:30:38 | alexander | is now known as Guest89063 |
| 06:32:14 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 06:32:27 | → | jgt_ joins (~jgt@87.227.221.129) |
| 06:32:40 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:33:37 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:38:15 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 06:39:28 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 06:39:35 | → | michalz joins (~user@185.246.204.43) |
| 06:41:04 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:42:49 | × | sudden quits (~lax@unaffiliated/laxask) (Ping timeout: 252 seconds) |
| 06:43:38 | → | sudden joins (~lax@unaffiliated/laxask) |
| 06:43:57 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 06:45:57 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 06:49:26 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds) |
| 06:51:51 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 07:00:11 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 07:00:55 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed) |
| 07:02:52 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 07:06:21 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 07:06:27 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 07:07:24 | → | zmijunkie1 joins (~Adium@b2b-109-90-32-89.unitymedia.biz) |
| 07:07:37 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 07:08:06 | × | zmijunkie quits (~Adium@87.122.209.149) (Ping timeout: 240 seconds) |
| 07:09:00 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 07:10:01 | → | pmj joins (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
| 07:10:23 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 07:10:26 | × | jgt_ quits (~jgt@87.227.221.129) (Ping timeout: 240 seconds) |
| 07:10:43 | → | boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 07:13:47 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 252 seconds) |
| 07:14:14 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 07:15:17 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 07:15:53 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 07:18:33 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 07:18:35 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 07:21:08 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 265 seconds) |
| 07:21:48 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 07:22:14 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 07:23:25 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 07:24:00 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 07:26:43 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 07:32:06 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 07:32:19 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 07:33:58 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 07:35:09 | → | zmijunkie joins (~Adium@87.122.209.149) |
| 07:35:46 | × | zmijunkie1 quits (~Adium@b2b-109-90-32-89.unitymedia.biz) (Ping timeout: 240 seconds) |
| 07:39:11 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 07:40:01 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 07:40:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:45:09 | × | sedeki quits (~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 07:49:28 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 07:50:04 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 07:50:57 | × | Wamanuz quits (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Read error: Connection reset by peer) |
| 07:51:19 | → | Wamanuz joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com) |
| 07:52:29 | → | stree joins (~stree@68.36.8.116) |
| 07:55:46 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 07:57:20 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 07:59:42 | → | cub3s_ joins (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 08:00:15 | → | ClaudiusMaximus joins (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 08:00:23 | × | ClaudiusMaximus quits (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 08:00:23 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 08:01:44 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 08:02:53 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 08:03:18 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 08:04:08 | <cub3s_> | To not be marked as broken in nixpkgs, does a Haskell package in nixpkgs only have to compile with haskellPackages (haskell.packages.ghc8104) or also the other two compilers? |
| 08:05:00 | → | LKoen joins (~LKoen@140.170.9.109.rev.sfr.net) |
| 08:05:13 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 08:05:42 | <boxscape> | I'm not sure but wouldn't derivations for different compilers count as different packages, that could individually be marked as broken? |
| 08:06:00 | <dminuoso> | ^- |
| 08:06:26 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) |
| 08:06:36 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 08:07:04 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 08:07:15 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 08:08:59 | × | shachaf quits (~shachaf@unaffiliated/shachaf) (Ping timeout: 265 seconds) |
| 08:09:09 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 08:09:12 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 240 seconds) |
| 08:09:41 | → | jgt_ joins (~jgt@37.63.16.154) |
| 08:10:35 | → | shachaf joins (~shachaf@unaffiliated/shachaf) |
| 08:10:51 | × | sm quits (~user@li229-222.members.linode.com) (Remote host closed the connection) |
| 08:10:56 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 08:11:10 | × | jamestmartin quits (~james@jtmar.me) (Remote host closed the connection) |
| 08:11:11 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 08:11:26 | → | jtmar joins (james@jtmar.me) |
| 08:11:31 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 08:11:34 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 08:11:34 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 08:11:34 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 08:11:37 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 08:11:44 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 08:11:49 | jtmar | is now known as jamestmartin |
| 08:12:04 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 08:12:25 | → | sm joins (~user@li229-222.members.linode.com) |
| 08:13:00 | <dminuoso> | Oh, perhaps not |
| 08:14:01 | × | gitgood quits (~gitgood@80-44-12-75.dynamic.dsl.as9105.com) (Quit: Probably away to do something really awesome) |
| 08:14:42 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 08:14:54 | <cub3s_> | boxscape, dminuoso, well If I checkout branch "haskell-updates" on https://github.com/nixos/nixpkgs, and search for some package like "antlr-haskell", I can see it only two places: listed under "broken packages" and in the haskell-packages.nix |
| 08:15:07 | <cub3s_> | So if I wanted to fix this broken package, would I have to fix it with all three compilers? |
| 08:15:32 | <cub3s_> | s/haskell-packages.nix/hackage-packages.nix |
| 08:16:28 | <boxscape> | cub3s_ I don't know but if you don't get a better answer here make sure to ask in #nixos |
| 08:16:31 | <dminuoso> | cub3s_: That's a good question, you should ask peti |
| 08:16:58 | <dminuoso> | cub3s_: looking at it right now, Id say just the standard ghc is fine |
| 08:17:13 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
| 08:20:55 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds) |
| 08:21:26 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 08:21:27 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 08:24:33 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 08:25:57 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds) |
| 08:26:52 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 276 seconds) |
| 08:26:58 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 08:28:00 | → | zaquest joins (~notzaques@5.128.210.178) |
| 08:31:49 | → | tsaka__ joins (~torstein@178-147-0-216.haap.nym.cosmote.net) |
| 08:33:20 | × | tsaka__ quits (~torstein@178-147-0-216.haap.nym.cosmote.net) (Read error: Connection reset by peer) |
| 08:39:33 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 08:41:53 | → | GZJ0X_ joins (~gzj@unaffiliated/gzj) |
| 08:42:04 | × | GZJ0X_ quits (~gzj@unaffiliated/gzj) (Client Quit) |
| 08:43:20 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 08:46:06 | → | vilpan joins (~0@212.117.1.172) |
| 08:46:07 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 08:46:45 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 08:47:35 | → | fendor joins (~fendor@178.165.131.207.wireless.dyn.drei.com) |
| 08:47:44 | × | monochrom quits (~trebla@216.138.220.146) (Quit: NO CARRIER) |
| 08:47:54 | → | monochrom joins (trebla@216.138.220.146) |
| 08:48:15 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 08:49:22 | <cub3s_> | dminuoso, how did you draw that conclusion |
| 08:50:18 | → | tempate_ joins (~alpha@84.78.243.220) |
| 08:50:53 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 08:51:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 08:51:13 | <cub3s_> | Indeed something like "nix-build --no-out-link -A haskell.packages.ghc901.antlr-haskell" also complains about broken package. So somehow they are applying the "broken" concept to ghc901 too |
| 08:51:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:53:17 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) |
| 08:55:33 | × | malumore quits (~malumore@151.62.113.163) (Remote host closed the connection) |
| 08:57:19 | × | fendor quits (~fendor@178.165.131.207.wireless.dyn.drei.com) (Remote host closed the connection) |
| 08:57:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 08:57:24 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 08:57:47 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Ping timeout: 250 seconds) |
| 08:58:01 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:00:04 | × | slycelote[m] quits (slycelotem@gateway/shell/matrix.org/x-qxtrzkpokvfkhlib) (Quit: Idle for 30+ days) |
| 09:00:08 | × | Poyo[m] quits (stikynotha@gateway/shell/matrix.org/x-iltsnonsgfwlcdhp) (Quit: Idle for 30+ days) |
| 09:01:39 | → | thunderrd joins (~thunderrd@183.182.114.223) |
| 09:02:12 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 09:05:15 | × | drbean_ quits (~drbean@210.63.209.179) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 09:07:19 | × | ph88^ quits (~ph88@2a02:8109:9e00:7e5c:f445:5d21:63ff:8e5e) (Quit: Leaving) |
| 09:07:45 | → | malumore joins (~malumore@151.62.113.163) |
| 09:08:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 09:08:33 | × | Jonno_FTW quits (~come@api.carswap.me) (Ping timeout: 252 seconds) |
| 09:09:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:10:02 | <dminuoso> | cub3s_: A package is, unconditionally, considered broken if its marked broken in haskell-packages.nix |
| 09:10:24 | <dminuoso> | Roughly what happens is this |
| 09:11:17 | <dminuoso> | Every day there's a job that tries to compile the entirety of hackage (by running cabal2nix on every package found). |
| 09:11:37 | <dminuoso> | If it cant compile that package, it's marked broken (this is for your convenience, so you dont have to wait 20 minutes to find out yourself) |
| 09:11:43 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 09:12:07 | <cub3s_> | dminuoso, let me interrupt a bit. does it try to compile it with all three recent compilers? |
| 09:13:16 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 265 seconds) |
| 09:14:04 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 09:14:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 09:14:44 | <dminuoso> | cub3s_: So I draw this conclusion based on how it is expected to test unbreaking packages. It's sufficient to just build haskellPackages.foo |
| 09:15:25 | <dminuoso> | But ask in #nixos or on discourse if you want an accurate answer |
| 09:15:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:15:43 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 09:16:05 | <dminuoso> | Plus, this would create for a more complicated test matrix. The fact that we cant mark them as broken per GHC would drastically reduce available packages if they had to build with all GHC versions |
| 09:17:04 | → | Jonno_FTW joins (~come@api.carswap.me) |
| 09:17:33 | <DigitalKiwi> | there are compiler specific files |
| 09:17:40 | <cub3s_> | dminuoso, do I understand you correctly that this "broken convenience" is only useful for haskellPackages (the default ghc)? |
| 09:17:47 | <cub3s_> | (and ignored for the other two compilers)? |
| 09:18:11 | <cub3s_> | s/compilers/compiler versions |
| 09:18:25 | <dminuoso> | DigitalKiwi: since when? |
| 09:19:13 | <DigitalKiwi> | https://dpaste.com/9BRTGQR7E |
| 09:19:42 | <dminuoso> | That's something else |
| 09:20:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 09:20:36 | × | mikeplus64 quits (~mike@unaffiliated/mikeplus64) (Ping timeout: 246 seconds) |
| 09:20:37 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 09:20:48 | <dminuoso> | You cant unbreak that way |
| 09:21:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:21:25 | <bitonic> | tomjaguarpaw: hey, does opaleye support the binary format in `libpq`? |
| 09:21:52 | <__monty__> | cub3s_: The haskell infra is really focused on supporting haskell things packaged in nixpkgs. Haskell.nix is a much nicer experience in some ways, though there's far less caching. |
| 09:21:58 | × | Jonno_FTW quits (~come@api.carswap.me) (Ping timeout: 268 seconds) |
| 09:22:02 | <DigitalKiwi> | should be able to jailbreak/patch as needed |
| 09:22:21 | → | Jonno_FTW joins (~come@api.carswap.me) |
| 09:23:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 09:23:28 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 09:24:17 | <dminuoso> | DigitalKiwi: Right, so that's useful for applying GHC specific patches (say dontCheck for a particular GHC version) |
| 09:25:19 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) (Remote host closed the connection) |
| 09:25:46 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 09:25:55 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) |
| 09:26:10 | <DigitalKiwi> | isn't that what cub3s_ is trying to do |
| 09:26:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 09:27:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:27:41 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 09:27:42 | → | mikeplus64 joins (~mike@unaffiliated/mikeplus64) |
| 09:28:49 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 09:28:53 | <cub3s_> | DigitalKiwi, for now i just want to know if "broken=true" means it was only compiled against haskellPackages (haskell.packages.ghc8104) or also the other two compiler versions. |
| 09:29:26 | <cub3s_> | (i don't really care about the other, non-default, compiler versions) |
| 09:31:34 | <cub3s_> | in particular, to unbreak a broken haskell package in nixpkgs, is it enough for me to get it to compile on haskellPackages or do i also have to get it compile on the other compiler versions? |
| 09:31:46 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 09:31:51 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) (Ping timeout: 260 seconds) |
| 09:32:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 09:32:11 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 260 seconds) |
| 09:32:33 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 09:32:45 | <dminuoso> | cub3s_: ask in #nixos or on discourse. |
| 09:32:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:32:54 | × | mikeplus64 quits (~mike@unaffiliated/mikeplus64) (Ping timeout: 245 seconds) |
| 09:34:01 | → | antoniotrkdz joins (2d8b63d4@gateway/web/cgi-irc/kiwiirc.com/ip.45.139.99.212) |
| 09:34:11 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 09:34:19 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 09:34:57 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 09:35:08 | <cub3s_> | dminuoso, thanks i'll do that |
| 09:35:44 | <antoniotrkdz> | hi. |
| 09:36:00 | <boxscape> | hey |
| 09:37:18 | <antoniotrkdz> | I know this could not be related to haskell, but does anybody managed to make the workspaces clickable in the xmonad log applet for Gnome/mate/xfce ? |
| 09:37:19 | → | zmijunkie1 joins (~Adium@b2b-109-90-32-89.unitymedia.biz) |
| 09:37:27 | × | pmj quits (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 09:38:00 | × | zmijunkie quits (~Adium@87.122.209.149) (Ping timeout: 268 seconds) |
| 09:38:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 09:38:27 | → | dhil joins (~dhil@195.213.192.4) |
| 09:39:04 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:40:25 | <DigitalKiwi> | cub3s_: if you can get it to be not broke on just haskellPackages make a PR and we'll find out lol |
| 09:40:45 | <dminuoso> | And, to be fair, if you're unbreaking something, you might as well unbreak it for all. |
| 09:40:48 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b9546b8782f113d81ff07.dip0.t-ipconnect.de) |
| 09:40:53 | <dminuoso> | Even if its not needed, Id consider it better style :p |
| 09:41:27 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 09:44:52 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 09:45:39 | × | gzj quits (~gzj@unaffiliated/gzj) (Ping timeout: 265 seconds) |
| 09:45:40 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 09:45:45 | <DigitalKiwi> | some things are just a pita to fix |
| 09:45:53 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 09:46:21 | × | tempate_ quits (~alpha@84.78.243.220) (Quit: Leaving.) |
| 09:48:07 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 09:48:23 | × | jgt_ quits (~jgt@37.63.16.154) (Read error: Connection reset by peer) |
| 09:48:41 | <DigitalKiwi> | like half of my prs for nixpkgs are haskell package fixes >.> |
| 09:49:05 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 09:49:06 | <DigitalKiwi> | and a few dozen more i never get around to ;_; |
| 09:50:20 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 09:50:23 | × | xmj1 quits (~xmj@185.163.110.100) (Remote host closed the connection) |
| 09:50:35 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 09:52:14 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 09:52:28 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 09:53:20 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 09:54:02 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 09:56:36 | × | NieDzejkob quits (~quassel@195.149.98.3) (Remote host closed the connection) |
| 09:56:38 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 09:57:24 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 09:57:33 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 09:57:45 | dminuoso | longs for a way to alterF a nested map with lens style |
| 09:57:47 | → | NieDzejkob joins (~quassel@195.149.98.3) |
| 09:58:01 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 09:58:22 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 09:59:30 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 10:00:08 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 10:00:36 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 10:00:43 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 10:01:26 | <boxscape> | if the evaluation of a value does not diverge, is it "convergent"? |
| 10:01:31 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 10:01:32 | <boxscape> | s/value/expression |
| 10:02:10 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 10:02:39 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 10:02:53 | <Taneb> | dminuoso: how do you mean? |
| 10:04:43 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 10:04:59 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 10:06:13 | → | iMast777 joins (~iMast777@185.204.1.185) |
| 10:09:03 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 10:09:13 | → | mikeplus32 joins (~mike@103.25.58.152) |
| 10:09:23 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 10:10:21 | <dminuoso> | % Map.empty & at "hello" . non Map.empty . at "world" ?~ "!!!" |
| 10:10:21 | <yahb> | dminuoso: ; <interactive>:69:1: error:; Not in scope: `Map.empty'; Perhaps you meant `M.empty' (imported from Data.Map); No module named `Map' is imported.; <interactive>:69:30: error:; Not in scope: `Map.empty'; Perhaps you meant `M.empty' (imported from Data.Map); No module named `Map' is imported. |
| 10:10:54 | <dminuoso> | Uh. Well I can do the above with just plain map. But I want to have a version of it, that uses alterF underneath to throw some arbitrary exception on a duplicate key |
| 10:11:05 | ← | vilpan parts (~0@212.117.1.172) () |
| 10:11:16 | → | Codaraxis__ joins (~Codaraxis@92.223.89.164) |
| 10:11:22 | <Taneb> | In recent versions of lens, at is defined in terms of alterF |
| 10:12:05 | <Taneb> | They have basically the same type signature (there's a flip needed but other than that...) |
| 10:12:26 | <dminuoso> | Right, but I dont even know how to communicate say IO effects through lens itself. |
| 10:12:44 | <dminuoso> | Consider: |
| 10:12:50 | <dminuoso> | % :t (?~) |
| 10:12:50 | <yahb> | dminuoso: ASetter s t a (Maybe b) -> b -> s -> t |
| 10:13:10 | → | stree joins (~stree@68.36.8.116) |
| 10:14:11 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 10:15:21 | × | Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 260 seconds) |
| 10:20:02 | → | kderme joins (2e675c7c@46-92-124.adsl.cyta.gr) |
| 10:23:03 | → | Benzi-Junior joins (~BenziJuni@88-149-64-251.du.xdsl.is) |
| 10:24:28 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 252 seconds) |
| 10:24:40 | → | darjeeling_ joins (~darjeelin@122.245.123.138) |
| 10:24:47 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 10:26:05 | → | knupfer joins (~Thunderbi@200116b82b63890078292d1cefc44e89.dip.versatel-1u1.de) |
| 10:27:13 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 10:27:43 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) |
| 10:29:26 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 10:29:42 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 10:30:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 10:31:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:32:07 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) (Ping timeout: 258 seconds) |
| 10:33:36 | → | fendor joins (~fendor@178.165.131.207.wireless.dyn.drei.com) |
| 10:34:32 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds) |
| 10:36:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 10:37:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:42:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 10:43:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:44:58 | <dminuoso> | Taneb: Does this make sense? Something like `set` has no way to communicate failure. |
| 10:46:12 | <Taneb> | dminuoso: it's not a neat fit into the lens heirarchy but I'm sure it's possible with a lens to a maybe value |
| 10:47:22 | <dminuoso> | I guess that's possible, but it'd be very adhoc - with nested maps this doesn't autoamtically propagate |
| 10:49:35 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b9546b8782f113d81ff07.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 10:53:24 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 246 seconds) |
| 10:55:30 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 10:59:40 | × | roconnor quits (~roconnor@host-45-58-195-183.dyn.295.ca) (Ping timeout: 252 seconds) |
| 11:09:19 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 11:10:46 | × | SoF quits (~SoF@unaffiliated/skillyonfire) (Ping timeout: 260 seconds) |
| 11:11:13 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 11:11:27 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-mlofrvtxcaynugov) |
| 11:11:33 | → | roconnor joins (~roconnor@host-23-91-186-24.dyn.295.ca) |
| 11:13:41 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 11:14:45 | → | thongpv87 joins (~thongpv87@27.76.236.94) |
| 11:14:58 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 11:15:17 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 11:18:15 | <cub3s_> | How often does cabal hell happen in practice nowadays with the "nix-style" cabal builds? |
| 11:18:39 | <cub3s_> | merijn, thanks for the suggestions yesterday btw. it turns out cabal with nix-style builds is working for me fine and i have no need for nix |
| 11:18:58 | <dminuoso> | cub3s_: not at all, it's the point of nix-style builds. |
| 11:19:38 | <dminuoso> | (though you should probably define what you mean by "cabal hell") |
| 11:19:42 | <cub3s_> | dminuoso, ok, so one particular piece of program can be using multiple versions of a package if that solves the "hell" |
| 11:20:08 | <__monty__> | It still happens if you use v2-install afaik? So just don't. |
| 11:20:11 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 11:20:16 | <__monty__> | (Less frequently though.) |
| 11:20:44 | <dminuoso> | cub3s_: No, generally you need a coherent build plan. |
| 11:22:13 | <dminuoso> | Arguably, you should want this anyway. Having inconsistent versions simultaenously quickly leads to a lot of problems. |
| 11:22:38 | <dminuoso> | https://www.well-typed.com/blog/2014/09/how-we-might-abolish-cabal-hell-part-1/ is perhaps an interesting read |
| 11:22:55 | <dminuoso> | (There's also parts 2 and 3 on the blog) |
| 11:23:21 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 11:24:04 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 11:27:13 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 11:30:54 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 11:32:07 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 252 seconds) |
| 11:34:09 | <cub3s_> | dminuoso, i will read this, thank you |
| 11:34:18 | <cub3s_> | (although it seems they never got around to part 3) |
| 11:34:30 | → | indomitable joins (~indomitab@gateway/tor-sasl/indomitable) |
| 11:34:41 | <cub3s_> | part 2 covers the nix-style stuff. this will be good to know |
| 11:35:15 | → | _xft0 joins (~jaroslawj@185.234.208.208.r.toneticgroup.pl) |
| 11:35:17 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 11:38:30 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 11:39:38 | <indomitable> | is there a common sense explanation for a monad i might actually remember the next time i try to do functional things |
| 11:39:47 | <indomitable> | and yes i know the joke |
| 11:40:13 | <merijn> | Depending on your definition of "common sense": no |
| 11:40:31 | <merijn> | The laws *are* the explanation, but understanding that is the tricky part |
| 11:41:08 | <merijn> | indomitable: It's like trying to explain math abstractions (well it *is* explaining abstractions) |
| 11:41:18 | <indomitable> | yes, i do that all the time |
| 11:41:45 | <indomitable> | i don't see why monads are some magical exception to this rule, there has to be a better way of remembering what it is than memorizing it |
| 11:42:00 | <merijn> | indomitable: You can't "explain" "an associative operation", because the definition *is* the explanation "a + (b + c) = (a + b) + c" |
| 11:42:01 | <indomitable> | is it less intuitive than quantum theory? i mean come on |
| 11:42:07 | <indomitable> | you definitely can |
| 11:42:14 | <indomitable> | but not without a pedagogical background i guess |
| 11:42:26 | <indomitable> | dumbing things down is an art unto itself |
| 11:42:34 | <merijn> | indomitable: You can't, but you don't teach things from the abstraction |
| 11:42:48 | <merijn> | you instead show examples and then show how those represent the abstraction |
| 11:43:02 | <merijn> | The abstraction can, by definition, not be made less abstract |
| 11:43:15 | <indomitable> | depending on your definition of abstract |
| 11:43:16 | <indomitable> | :P |
| 11:43:18 | <merijn> | The way you explain monads is "show a bunch of things, then show that they're monads" |
| 11:43:24 | <merijn> | indomitable: The math definition |
| 11:43:29 | <indomitable> | that that seems futile |
| 11:43:35 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 265 seconds) |
| 11:43:40 | <merijn> | indomitable: Any specific example is necessarily more specific than the actual thing |
| 11:44:01 | <indomitable> | an example doesn't have to be specific, and often an abstract example can show how things relate better than a specific one |
| 11:44:05 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 11:44:11 | <indomitable> | human brains do not necessarily act logically in their learning process |
| 11:44:18 | <merijn> | indomitable: See my favourite quote: |
| 11:44:20 | <merijn> | Suppose that you want to teach the 'cat' concept to a very young child. Do you explain that a cat is a relatively small, primarily carnivorous mammal with retractible claws, a distinctive sonic output, etc.? I'll bet not. You probably show the kid a lot of different cats, saying 'kitty' each time, until it gets the idea. To put it more generally, generalizations are best made by abstraction from |
| 11:44:26 | <merijn> | experience. |
| 11:44:26 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 11:44:28 | <merijn> | - R. P. Boas (Can we make mathematics intelligible?, American Mathematical Monthly 88 (1981), pp. 727-731) |
| 11:44:39 | <indomitable> | i'm going to assume his end-answer was "no" |
| 11:44:41 | × | mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 240 seconds) |
| 11:45:29 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) |
| 11:45:53 | <merijn> | indomitable: You ask "is there a common sense explanation", I say no, because even absolutely confusing, nonsensical things can be monads (see the Tardis monad). Anything that is more concrete/specific than the laws hides those parts of the definition. |
| 11:45:57 | → | Xraell joins (~xraell@45.157.15.145) |
| 11:46:24 | <indomitable> | i'm going to interpret that as "I don't know a way to do so" and leave the assumptions out of it |
| 11:46:27 | <merijn> | indomitable: You can certainly study more specific examples first and then form your own intuitions from there. But any specific example will not be the thing |
| 11:46:32 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) (Client Quit) |
| 11:46:57 | <indomitable> | i've explained more complicated things (and had them explained to me) in nice abstract but still relatable ways, i find it hard to believe that this is an exception to the rule |
| 11:47:00 | <merijn> | indomitable: It's not "I don't know a way to do so" this is a matter of "the map is not the territory" |
| 11:47:13 | <indomitable> | no one said the map is the territory |
| 11:47:43 | <indomitable> | this is a straw-man. it's ok not to know a way to do a thing. it's not a criticism of you or your skills that you can't solve this and as a result have taken a rather aggressive stance on its... doability |
| 11:48:05 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 250 seconds) |
| 11:48:22 | <indomitable> | i will endeavour to find ways of easily explaining it and perhaps eliminating the word from my vocabulary entirely to better encourage its usage |
| 11:48:31 | <indomitable> | (except in cases of reference) |
| 11:49:01 | <lortabac> | indomitable: are you asking because you want to learn monads or because you are looking for a good way of teaching them? |
| 11:49:07 | <indomitable> | lortabac, yes |
| 11:49:19 | <indomitable> | two sides of the same coin as it were |
| 11:49:28 | <indomitable> | my brain does not like super-abstract concepts it can't link to other concepts |
| 11:49:44 | <indomitable> | i can memorize things but that's not a good thing to do, because my brain is not a hard drive, it is a neural network |
| 11:49:51 | <indomitable> | and neural networks do not excel at memorizing definitions |
| 11:49:58 | <lortabac> | ok so IIUC you don't know what monads are and you want to learn them |
| 11:50:13 | <indomitable> | yes, but i only learn things properly when i can link them to other similar concepts |
| 11:50:29 | <indomitable> | i find it hard to believe monads are as difficult to grasp as quantum theory |
| 11:50:58 | <lortabac> | it's not that they are difficult |
| 11:51:16 | <lortabac> | it's that the explanation is indeed the definition |
| 11:51:20 | <indomitable> | i'm sure i've looked up and known the definition about 90 times |
| 11:51:23 | <indomitable> | and none of those times has it stuck |
| 11:51:25 | <indomitable> | it clearly isn't wrking |
| 11:51:29 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 246 seconds) |
| 11:51:46 | <indomitable> | pattern recognition is failing because there's no other pattern in any aspect of my day to day life to link it to and enhance the signal for those neurons |
| 11:51:52 | <lortabac> | Monad in Haskell is a type-class with a bunch of methods and some laws |
| 11:52:18 | <lortabac> | if a type is an instance of the Monad class and respects the monad laws, it is a monad |
| 11:52:38 | <indomitable> | yes, i am familiar with ducks and their many ways of identification |
| 11:52:47 | <lortabac> | I guess what you are looking for is an intuition for when they are useful |
| 11:52:58 | <indomitable> | hmm, that would be a more advanced point, but yes, part of the journey |
| 11:53:07 | <indomitable> | first i want to be able to identify them |
| 11:53:22 | <indomitable> | and i want to be able to easily explain to someone how to identify them |
| 11:53:26 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 11:53:27 | <indomitable> | if i can't teach it to a 6 year old i probably don't know it well |
| 11:54:08 | <boxscape> | indomitable one concept you can link them to is function composition - with regular function composition, you can combine (b -> c) and (a -> b) to get (a -> c), but if m is a monad, you can take (b -> m c) and (a -> m b) and get (a -> m c), so it allows you to compose functions of the form (a -> m b) |
| 11:54:58 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer) |
| 11:54:59 | → | Stanley|00 joins (~stanley00@unaffiliated/stanley00) |
| 11:55:04 | <boxscape> | % :t (<=<) |
| 11:55:04 | <yahb> | boxscape: Monad m => (b -> m c) -> (a -> m b) -> a -> m c |
| 11:55:13 | <_xft0> | indomitable: have you seen a video where Graham Hutton is explaining this concept? it's available on YT (computerphile), maybe it will make things easier... |
| 11:57:10 | <lortabac> | also, IMHO part of the confusion comes from the fact that monad is also a thing in category theory |
| 11:57:31 | <lortabac> | but, unless you are specifically interested in maths, I would not bother with the mathematical definition for the moment |
| 11:58:13 | × | cub3s_ quits (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving) |
| 11:59:02 | <indomitable> | xff0x, doesn't ring a bell, i'll go check it out later, thanks, might be instructive |
| 11:59:12 | × | Stanley|00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 11:59:55 | <indomitable> | i don't have a strong math background, so some of the concepts take a long time to grasp well |
| 11:59:59 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 12:00:16 | <indomitable> | imagine if those 2500 hours of dota i played (terribly) were spent on reading maths or literally anything productive... oh how foolish the young are |
| 12:00:25 | <lortabac> | personally the way I got an intuition for monads was by playing with the different instances (Maybe is probably the best one to start) |
| 12:00:45 | <indomitable> | my motivation for figuring out monads better is to get started with railway oriented programming |
| 12:00:48 | <indomitable> | and various other functional concepts |
| 12:00:52 | <indomitable> | because now that i am old i recognize their value |
| 12:00:59 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 12:01:34 | <indomitable> | even javascript is an ok language if you apply (reasonably simple) functional principles to it |
| 12:02:11 | <lortabac> | also, in practice you almost never write your own monads in application code, so in practice all you need to learn is what each monad instance does |
| 12:03:18 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 12:03:36 | <indomitable> | lortabac, well, if you want to apply those functions in languages that don't natively support them, then you kind of have to |
| 12:03:42 | <indomitable> | ie, c#, which is my poison of choice |
| 12:03:51 | <joel135> | best video i have seen on monads for programming https://www.youtube.com/watch?v=srQt1NAHYC0 |
| 12:05:04 | <lortabac> | indomitable: oh I thought the question was about Haskell |
| 12:05:33 | <indomitable> | lortabac, haskell is a very functional language, so it's a good place to ask question about functional things. also, one of the few channels i'm not banned from (yet) |
| 12:05:36 | <__monty__> | I prefer Brian Beckman's crack at it, https://youtu.be/ZhuHCtR3xq8 |
| 12:05:43 | <joel135> | other than that, it is true that a monad is a monoid, and it is true that every monad comes from a (not endo-) adjunction in two canonical ways |
| 12:06:03 | <indomitable> | joel135, lol. i believe it, i just space out when i read it :-) |
| 12:06:40 | <joel135> | i am not good at using monads for programming though |
| 12:06:42 | <indomitable> | in some ways it's good to go "wat?" at things, because that's how non-developers feel when i try to explain coding stuff to them |
| 12:06:46 | × | dhil quits (~dhil@195.213.192.4) (Ping timeout: 240 seconds) |
| 12:07:07 | <indomitable> | joel135, you might enjoy the F# video about railway oriented programming then (it might be applicable to haskell too, but i don't know - haskell is a lot purer than f# in the functional sense) |
| 12:07:56 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 12:07:57 | <joel135> | i think i linked to the railway video? |
| 12:08:05 | <lortabac> | indomitable: if your question is about monads as a concept in category theory, well... I guess you have to learn category theory |
| 12:09:46 | <joel135> | the notion of adjunction is more symmetric than the notion of monoid. it comes with some nice geometry and logic too. i like adjunctions... |
| 12:10:04 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 12:10:16 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 12:10:24 | <indomitable> | lortabac, you're a category-theory infiltrator, aren't you, trying to spread the gospel to the unwashed masses! |
| 12:10:39 | <lortabac> | haha no, I know zero category theory |
| 12:10:47 | <indomitable> | that's just what a phd in category theory would say |
| 12:10:48 | <indomitable> | !!! |
| 12:12:11 | → | shurick joins (~shurick@2a00:f480:6::9) |
| 12:12:30 | <indomitable> | joel135, i'm checking out your video, thanks, might be a good place to start. i'll check out that computerphile video someone recommended also. |
| 12:13:04 | <indomitable> | i'm gonna go before i get myself banned for one reason or another. |
| 12:13:08 | ← | indomitable parts (~indomitab@gateway/tor-sasl/indomitable) ("Leaving") |
| 12:14:40 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b9546b8782f113d81ff07.dip0.t-ipconnect.de) |
| 12:14:46 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 12:16:46 | × | Guest276 quits (~textual@2603-7000-3040-0000-51c8-115a-6a5b-a292.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:16:59 | ← | shurick parts (~shurick@2a00:f480:6::9) () |
| 12:17:12 | → | drbean_ joins (~drbean@TC210-63-209-98.static.apol.com.tw) |
| 12:17:25 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 12:20:10 | → | dhil joins (~dhil@80.208.56.181) |
| 12:20:54 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 12:21:16 | → | peterx112 joins (8ba26143@139.162.97.67) |
| 12:24:29 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 12:25:59 | × | jonathanx_ quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 12:27:12 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 12:27:59 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 12:29:26 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) |
| 12:29:53 | <Gurkenglas> | Can you recommend software for inspecting types like 2 = {0,1}, 2²={(0,0),(0,1),(1,0),(1,1)}, 2->2 = {(0,0),(0,1),(1,1)}, 2²->2 and (2²->2)->2? I'd like to see graphs. |
| 12:30:40 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) |
| 12:32:53 | → | carlomagno joins (~cararell@148.87.23.11) |
| 12:33:17 | → | EvilMagix joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 12:33:49 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 12:34:01 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) (Ping timeout: 250 seconds) |
| 12:34:11 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 12:34:28 | → | stree joins (~stree@68.36.8.116) |
| 12:35:04 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 12:35:22 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 12:36:25 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 12:43:11 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 12:44:23 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 12:47:42 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
| 12:54:04 | <boxscape> | shouldn't 2^2 and 2->2 be the same type? |
| 12:54:10 | <nut> | what is Pattern in TH? is it the same as pattern matching, that pattern? |
| 12:55:38 | <Taneb> | boxscape: they should be isomorphic but not necessarily implemented in the same way |
| 12:55:53 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 12:56:08 | <boxscape> | right, Gurkenglas wrote {(0,0),(0,1),(1,0),(1,1)} and {(0,0),(0,1),(1,1)}, which does not look isomorphic |
| 12:56:35 | <Taneb> | Oh, I see |
| 12:56:53 | <Taneb> | Ah, I get it, that second one is kind of 2 <= 2 |
| 12:57:14 | <Taneb> | It's the set of monotonic maps |
| 12:57:20 | <Taneb> | No, monotonic pairs |
| 12:57:24 | <Taneb> | Something like that |
| 12:57:31 | <boxscape> | hmm |
| 12:57:48 | <Gurkenglas> | Yea it's supposed to be monotonic maps from 2 to 3. |
| 12:57:50 | <Gurkenglas> | *2 to 2 |
| 12:57:55 | <boxscape> | I see |
| 12:59:08 | <Gurkenglas> | every -> is supposed to be the monotonic functions (so every type is supposed to define some partial order) |
| 12:59:41 | <Gurkenglas> | I suppose posing my questions like this, the obvious software is "write some code to define what you mean, then use graph libraries to define and draw some graphs" |
| 13:01:37 | <Gurkenglas> | Is there something that is to Haskell as Google Colab is to Python? |
| 13:01:41 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Remote host closed the connection) |
| 13:01:51 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:5226:d695:8fe3:b090) (Ping timeout: 260 seconds) |
| 13:01:57 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) |
| 13:04:01 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 13:07:15 | → | SoF joins (~SoF@unaffiliated/skillyonfire) |
| 13:08:00 | → | fkjc joins (52d3c378@52d3c378.dynamic-ip.k-net.dk) |
| 13:08:36 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 13:11:07 | <fkjc> | Does anyone know any resources on writing custom Cabal build scripts? I need to generate some library code before building, but it is not really obvious to me how to do this and the documentation is pretty sparse... |
| 13:12:55 | → | Guest18158 joins (~joseph@2603-7000-7607-112b-351c-7687-8787-1bee.res6.spectrum.com) |
| 13:13:15 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) |
| 13:13:20 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 13:13:38 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 13:13:48 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:26bd:1b9c:1bb0:c59b) |
| 13:17:59 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 13:18:14 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 13:21:28 | <Gurkenglas> | Should I define my partially ordered sets on the type level or the value level? |
| 13:21:56 | × | petersen quits (~petersen@redhat/juhp) (Read error: Connection reset by peer) |
| 13:21:57 | <boxscape> | probably depends on what you want to do with them |
| 13:22:05 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 13:22:26 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 13:22:45 | <Gurkenglas> | Hmm if I'm gonna have a bunch of typeclasses defined on them and calculate one graph per type I should probably do the value level instead. |
| 13:23:05 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Quit: leaving) |
| 13:23:23 | <Gurkenglas> | (There's probably some language out there where the type and value level are the same) |
| 13:24:07 | <__monty__> | Most dependently typed languages. |
| 13:28:02 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:28:20 | → | m_shiraeeshi joins (~shiraeesh@5.101.59.1) |
| 13:28:25 | <boxscape> | Haskell is moving in that direction with -XDataKinds |
| 13:29:18 | <boxscape> | and at least the type and kind level (and everything higher) is unified |
| 13:29:31 | <merijn> | Gurkenglas: Idris |
| 13:29:34 | → | shad0w_ joins (a0ca25b5@160.202.37.181) |
| 13:29:39 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) |
| 13:29:39 | <merijn> | Gurkenglas: Agda and Coq too :p |
| 13:30:12 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 13:30:55 | <boxscape> | set theory |
| 13:31:18 | <__monty__> | The language up until this point known as Coq. |
| 13:32:14 | × | seven_three quits (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 13:32:29 | → | seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 13:32:43 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:32:44 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 13:33:06 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 13:34:53 | <gentauro> | does anybody know if this actually downloads the body (or just the `headers`)? https://hackage.haskell.org/package/http-client-0.7.8/docs/src/Network.HTTP.Client.Core.html#httpNoBody |
| 13:35:05 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 246 seconds) |
| 13:35:26 | ← | seven_three parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
| 13:35:33 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 13:38:50 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 13:41:09 | → | hexfive joins (~hexfive@50.35.83.177) |
| 13:43:29 | × | LKoen quits (~LKoen@140.170.9.109.rev.sfr.net) (Remote host closed the connection) |
| 13:45:18 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 13:45:40 | × | shad0w_ quits (a0ca25b5@160.202.37.181) (Quit: Connection closed) |
| 13:45:48 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 13:45:49 | → | fendor_ joins (~fendor@91.141.1.48.wireless.dyn.drei.com) |
| 13:46:29 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:48:22 | × | fendor quits (~fendor@178.165.131.207.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 13:50:02 | × | drbean_ quits (~drbean@TC210-63-209-98.static.apol.com.tw) (Ping timeout: 260 seconds) |
| 13:50:03 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 13:50:18 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:51:11 | → | zmijunkie joins (~Adium@87.122.209.149) |
| 13:52:23 | × | fkjc quits (52d3c378@52d3c378.dynamic-ip.k-net.dk) (Quit: Connection closed) |
| 13:52:55 | × | zmijunkie1 quits (~Adium@b2b-109-90-32-89.unitymedia.biz) (Ping timeout: 252 seconds) |
| 13:54:02 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 13:57:15 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 13:58:44 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:9c42:c645:9089:b564) |
| 13:59:50 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 14:00:14 | Alleria | is now known as Guest32623 |
| 14:00:19 | × | EvilMagix quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 276 seconds) |
| 14:01:32 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 14:03:11 | → | dmytrish_ joins (~mitra@2a02:8084:a82:d900:e9e8:ba34:2f7c:4708) |
| 14:04:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 14:06:40 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 14:07:11 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:9c42:c645:9089:b564) (Ping timeout: 260 seconds) |
| 14:07:32 | × | Xraell quits (~xraell@45.157.15.145) (Remote host closed the connection) |
| 14:08:51 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 14:10:26 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 14:10:48 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 14:11:00 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 265 seconds) |
| 14:12:07 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 14:12:41 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:471:637e:cf6a:1782) |
| 14:16:58 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 14:16:59 | × | dmytrish_ quits (~mitra@2a02:8084:a82:d900:e9e8:ba34:2f7c:4708) (Ping timeout: 260 seconds) |
| 14:17:46 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 14:17:46 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:471:637e:cf6a:1782) (Quit: Konversation terminated!) |
| 14:18:03 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:471:637e:cf6a:1782) |
| 14:19:22 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 14:20:39 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:22:17 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 14:24:12 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 14:24:32 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 14:26:00 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 14:26:10 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:26:13 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 14:26:39 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 14:27:22 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 14:27:40 | fendor_ | is now known as fendor |
| 14:28:10 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) |
| 14:28:38 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 14:31:08 | × | peterx112 quits (8ba26143@139.162.97.67) (Quit: Connection closed) |
| 14:33:17 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 14:33:55 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 14:37:53 | → | zmijunkie1 joins (~Adium@b2b-109-90-32-89.unitymedia.biz) |
| 14:38:07 | → | LKoen joins (~LKoen@140.170.9.109.rev.sfr.net) |
| 14:38:24 | <tomsmeding> | Gurkenglas: IHaskell exists, not sure how good or up to date it is? |
| 14:38:55 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:471:637e:cf6a:1782) (Ping timeout: 260 seconds) |
| 14:39:05 | <boxscape> | github repo appears to be active at least |
| 14:39:07 | × | zmijunkie quits (~Adium@87.122.209.149) (Ping timeout: 252 seconds) |
| 14:41:27 | <hc> | cucumber glass? |
| 14:42:12 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 14:42:12 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 14:42:15 | → | sedeki joins (~textual@unaffiliated/sedeki) |
| 14:42:26 | → | zmijunkie joins (~Adium@87.122.209.149) |
| 14:42:38 | × | zmijunkie1 quits (~Adium@b2b-109-90-32-89.unitymedia.biz) (Ping timeout: 268 seconds) |
| 14:43:36 | <[exa]> | hc: a rare variety. |
| 14:44:00 | <boxscape> | better translation would be a glass filled with pickles |
| 14:44:21 | <hc> | thanks |
| 14:44:27 | <hc> | :) |
| 14:45:54 | <boxscape> | (s/glass/jar/, actually) |
| 14:47:26 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:49:28 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) |
| 14:52:54 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 14:53:18 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 14:53:30 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) (Remote host closed the connection) |
| 14:53:46 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) |
| 14:53:47 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) (Remote host closed the connection) |
| 14:54:24 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) |
| 14:54:47 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:9c28:d6f1:420e:a485) (Ping timeout: 260 seconds) |
| 14:55:27 | <c_wraith> | gentauro: it's TCP. It sort of has to accept everything the server sends, unless it wants to break the connection. Also, the docs explicitly say that function is useful when making HEAD requests. That sounds to me like it just ignores any body that's sent. |
| 14:55:41 | → | stree joins (~stree@68.36.8.116) |
| 14:56:35 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b9546b8782f113d81ff07.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 14:57:14 | <c_wraith> | gentauro: if you want to tell the server not to send the body, make a HEAD request instead of a GET request |
| 14:58:15 | → | kingmaker joins (2edfa3b9@HSI-KBW-46-223-163-185.hsi.kabel-badenwuerttemberg.de) |
| 14:58:39 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 14:59:34 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) (Ping timeout: 245 seconds) |
| 15:00:49 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 15:04:49 | × | xff0x quits (~xff0x@2001:1a81:52b7:3500:6e89:c783:d968:1382) (Ping timeout: 250 seconds) |
| 15:04:54 | × | LKoen quits (~LKoen@140.170.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 15:05:38 | → | xff0x joins (~xff0x@2001:1a81:52b7:3500:20e6:b70c:2300:26bf) |
| 15:06:46 | → | bitmagie joins (~Thunderbi@200116b806c56c0045ed386f214d08f0.dip.versatel-1u1.de) |
| 15:08:12 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 15:09:17 | × | sdressel_ quits (~sdressel@pwning.de) (Quit: leaving) |
| 15:09:48 | → | LKoen joins (~LKoen@140.170.9.109.rev.sfr.net) |
| 15:10:17 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 15:10:34 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:12:34 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 15:13:03 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 15:14:58 | → | Shuppiluliuma joins (~shuppilul@153.33.68.161) |
| 15:16:58 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 15:18:45 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:98d9:9567:ec99:15ba) |
| 15:20:21 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 15:20:56 | × | bitmagie quits (~Thunderbi@200116b806c56c0045ed386f214d08f0.dip.versatel-1u1.de) (Quit: bitmagie) |
| 15:21:15 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 15:21:37 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:22:06 | × | malumore quits (~malumore@151.62.113.163) (Ping timeout: 240 seconds) |
| 15:28:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 15:32:20 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 15:33:15 | × | knupfer quits (~Thunderbi@200116b82b63890078292d1cefc44e89.dip.versatel-1u1.de) (Quit: knupfer) |
| 15:33:31 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 15:34:15 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 15:36:53 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 15:37:12 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 15:37:15 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 15:39:23 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Remote host closed the connection) |
| 15:39:29 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 250 seconds) |
| 15:41:48 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 15:43:04 | × | xprl-gjf quits (~gavin@98.154.147.147.dyn.plus.net) (Remote host closed the connection) |
| 15:46:41 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 15:47:05 | → | proofofkeags joins (~proofofke@205.209.28.54) |
| 15:48:06 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 15:50:48 | <absence> | how does reportError fit with typed splices? the splice gives me Q (TExp (Either String Something)), but i want Q (TExp Something), and use reportError for the Left case |
| 15:50:58 | → | jamm__ joins (~jamm@unaffiliated/jamm) |
| 15:52:46 | × | letmein quits (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) (Ping timeout: 276 seconds) |
| 15:53:06 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 260 seconds) |
| 15:53:10 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 15:53:43 | × | kingmaker quits (2edfa3b9@HSI-KBW-46-223-163-185.hsi.kabel-badenwuerttemberg.de) (Ping timeout: 240 seconds) |
| 15:54:29 | → | letmein joins (~ircclient@c-71-59-221-7.hsd1.wa.comcast.net) |
| 15:54:39 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 15:54:58 | × | dhil quits (~dhil@80.208.56.181) (Quit: Leaving) |
| 15:55:18 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:57:12 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 15:57:42 | → | chisui joins (59f77ca1@i59F77CA1.versanet.de) |
| 15:59:46 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 16:01:32 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 16:02:53 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 16:03:41 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 16:04:07 | × | ajc quits (~ajc@c-98-246-92-128.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 16:04:36 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 16:06:02 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 16:07:10 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 16:07:19 | → | electricityZZZZ joins (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 16:07:53 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 16:08:10 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed) |
| 16:08:24 | × | _xft0 quits (~jaroslawj@185.234.208.208.r.toneticgroup.pl) (Quit: leaving) |
| 16:08:44 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 16:09:20 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:12:14 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 16:13:01 | × | sedeki quits (~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 16:13:52 | → | horatiohb joins (~horatiohb@104.131.188.69) |
| 16:14:12 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 16:15:00 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 16:15:09 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 16:18:25 | → | im590 joins (~im590@modemcable159.116-21-96.mc.videotron.ca) |
| 16:18:40 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 252 seconds) |
| 16:20:22 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 16:21:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 16:22:08 | × | thongpv87 quits (~thongpv87@27.76.236.94) (Remote host closed the connection) |
| 16:22:38 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 16:23:45 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 16:24:58 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 16:25:57 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds) |
| 16:26:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Client Quit) |
| 16:27:32 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 16:33:20 | → | seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 16:33:55 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 16:34:42 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 16:35:17 | <seven_three> | I want to modify the behavior of a function from an imported library. I am using stack for the project. I do not want to have to make a new module with a new version of this function, I instead would like to edit the existing one. How is it reccommended to do this? |
| 16:35:41 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 16:35:47 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:36:18 | → | patu5 joins (~u0_a179@154.228.149.197) |
| 16:36:39 | <patu5> | hello |
| 16:36:52 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 16:37:07 | <patu5> | are u there |
| 16:37:31 | <patu5> | i need to talk to someboody |
| 16:37:35 | × | son0p quits (~ff@181.136.122.143) (Read error: Connection reset by peer) |
| 16:37:47 | <patu5> | hello |
| 16:38:30 | <int-e> | seven_three: why don't you want to write your own module and what would it take for you to reconsider that option? |
| 16:39:32 | <patu5> | i have just joined tell me this channel all about??! |
| 16:39:58 | <seven_three> | int-e: It is really so I can just keep using the function like I do now with a qualified import, and so I don't need to import an extra module in a bunch of places. |
| 16:40:09 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
| 16:41:07 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 16:43:52 | <int-e> | seven_three: with qualified imports, you can import several modules under the same names. and you could reexport all of the original module too if you like. So it'd be more like a renamed module. |
| 16:44:09 | <sm[m]> | hello patu5! https://haskell.org will explain. |
| 16:44:17 | → | gitgood joins (~gitgood@80-44-12-75.dynamic.dsl.as9105.com) |
| 16:45:38 | → | proofofkeags_ joins (~proofofke@205.209.24.233) |
| 16:45:53 | <seven_three> | int-e: oh so I can just make the new module redefine the function, and export the new function along with the original library hiding the original function? |
| 16:47:22 | <int-e> | seven_three: Yes. |
| 16:47:37 | <seven_three> | ok that is a perfect solution thanks. |
| 16:47:57 | × | proofofkeags quits (~proofofke@205.209.28.54) (Ping timeout: 246 seconds) |
| 16:48:17 | × | landonf quits (landonf@mac68k.info) (Excess Flood) |
| 16:48:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:49:16 | → | landonf joins (landonf@mac68k.info) |
| 16:50:38 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) |
| 16:51:06 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 16:51:27 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 16:52:58 | → | ft joins (~ft@shell.chaostreff-dortmund.de) |
| 16:53:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 16:54:02 | → | shad0w_ joins (~shad0w_@160.202.37.181) |
| 16:54:09 | <shad0w_> | Hi |
| 16:55:02 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 16:55:20 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 16:57:38 | <seven_three> | Is it possible to hide functions when exporting another module? I basically want to say this: http://dpaste.com/DVSBQV3BB |
| 16:59:13 | × | Guest18158 quits (~joseph@2603-7000-7607-112b-351c-7687-8787-1bee.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 16:59:49 | × | gitgood quits (~gitgood@80-44-12-75.dynamic.dsl.as9105.com) (Quit: Probably away to do something really awesome) |
| 17:00:50 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 17:01:01 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection) |
| 17:01:15 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 17:03:32 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 17:03:51 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 17:06:09 | <monochrom> | Are you OK with: at the time of importing Other.FooBar you already do the hiding. |
| 17:06:13 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-pcfseicosyfeggbs) |
| 17:06:52 | <seven_three> | yes that is fine |
| 17:07:40 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 17:08:08 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 17:08:21 | <monochrom> | In general, see my http://www.vex.net/~trebla/haskell/module.xhtml#re-export for what "module" really means. (It has nothing to do with modules.) |
| 17:08:54 | <seven_three> | alright I will read this now |
| 17:09:33 | → | nineonine joins (~nineonine@S0106a0ff7073d5d5.vf.shawcable.net) |
| 17:09:35 | × | nineonine quits (~nineonine@S0106a0ff7073d5d5.vf.shawcable.net) (Remote host closed the connection) |
| 17:10:10 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 17:11:15 | → | Deide joins (~Deide@217.155.19.23) |
| 17:11:44 | <monochrom> | Hrm, I should improve the opening section "Terminology" to also explain why I say "long names" not "qualified names". |
| 17:13:12 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 17:13:44 | × | patu5 quits (~u0_a179@154.228.149.197) (Quit: Lost terminal) |
| 17:14:10 | → | proofofkeags__ joins (~proofofke@205.209.28.54) |
| 17:15:08 | × | shad0w_ quits (~shad0w_@160.202.37.181) (Quit: RAGE-QUIT) |
| 17:15:23 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 258 seconds) |
| 17:16:26 | × | proofofkeags_ quits (~proofofke@205.209.24.233) (Ping timeout: 240 seconds) |
| 17:17:16 | → | stree joins (~stree@68.36.8.116) |
| 17:18:32 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 17:21:40 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 17:22:08 | → | jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg) |
| 17:24:19 | → | knupfer joins (~Thunderbi@200116b82b638900b876a868553c62e5.dip.versatel-1u1.de) |
| 17:26:36 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 17:32:41 | <seven_three> | monochrom: I now understand how this works thanks. |
| 17:33:04 | <monochrom> | :) |
| 17:33:18 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 17:44:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:44:11 | × | xff0x quits (~xff0x@2001:1a81:52b7:3500:20e6:b70c:2300:26bf) (Ping timeout: 260 seconds) |
| 17:44:43 | → | shad0w_ joins (a0ca25b5@160.202.37.181) |
| 17:45:05 | shad0w_ | is now known as sphiz |
| 17:45:15 | → | xff0x joins (~xff0x@2001:1a81:52b7:3500:20e6:b70c:2300:26bf) |
| 17:45:22 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 17:45:26 | sphiz | is now known as sphy |
| 17:46:46 | sphy | is now known as sphi |
| 17:47:24 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 17:47:25 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Read error: Connection reset by peer) |
| 17:48:02 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 17:48:12 | → | sphi86 joins (a0ca25b5@160.202.37.181) |
| 17:48:23 | × | sphi86 quits (a0ca25b5@160.202.37.181) (Client Quit) |
| 17:48:54 | × | sphi quits (a0ca25b5@160.202.37.181) (Client Quit) |
| 17:49:12 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 17:50:06 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 17:52:49 | <tomsmeding> | TIL full-module re-exports only export names that are also available unqualified |
| 17:52:54 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds) |
| 17:53:10 | <tomsmeding> | I guess I haven't used full-module re-exports enough to notice that, which I guess is a good thing? |
| 17:53:18 | <monochrom> | >:) |
| 17:53:35 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 17:53:53 | → | sszark joins (~sszark@h-213-180.A392.priv.bahnhof.se) |
| 17:54:06 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 17:54:52 | ← | seven_three parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
| 17:54:54 | → | xcmw joins (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 17:55:02 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 17:55:21 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 17:56:10 | <chisui> | tomsmeding: I may be late to the party but where is the confusion about exported names? |
| 17:56:21 | → | sphi38 joins (a0ca25b5@160.202.37.181) |
| 17:56:23 | <sszark> | Are there any built in ways to read comments at runtime? Similar to other languages like Rust, which has access to doc comments. |
| 17:56:34 | <tomsmeding> | chisui: I just read monochrom's blog post and found out a thing I didn't know yet :p |
| 17:56:36 | → | eacameron joins (uid256985@gateway/web/irccloud.com/x-robbxgykzcgtbyzs) |
| 17:56:46 | <maerwald> | "comments at runtime"? |
| 17:57:23 | <monochrom> | chisui, when you write "module E(module I)" and the meaning of "module I" is not what you think. |
| 17:57:24 | tomsmeding | is doubtful you can access rust doc comments at runtime |
| 17:57:37 | <maerwald> | tomsmeding: I'm trying to imagine how that would look like |
| 17:57:39 | tomsmeding | is sure that python does do that, however |
| 17:57:45 | × | sphi38 quits (a0ca25b5@160.202.37.181) (Client Quit) |
| 17:57:55 | <sszark> | Essentially i would like to print a comment. But i wasn't able to find any information about this. So i'm guessing you can't do it. |
| 17:57:56 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Remote host closed the connection) |
| 17:57:59 | <sszark> | Also i meant at compile time, my bad. |
| 17:58:03 | <tomsmeding> | lol |
| 17:58:18 | <tomsmeding> | haskell has doc comments for generating documentation from |
| 17:58:23 | → | sphi joins (a0ca25b5@160.202.37.181) |
| 17:58:29 | <maerwald> | like, you run the binary and all comments that are along the callstack will be shown? |
| 17:58:36 | <tomsmeding> | what do you want to do with the text exactly? |
| 17:58:56 | <monochrom> | I don't know what "read doc comments at compile time" mean. |
| 17:59:09 | tomsmeding | neither, which is why I'm asking :) |
| 17:59:27 | <chisui> | Ah, so something like `module A{ module B ) where { import B(b) }` exports only `b` from `B` |
| 17:59:31 | <tomsmeding> | (for haskell doc comments, see "haddock") |
| 17:59:45 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:59:46 | → | nicholasbulka joins (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) |
| 18:00:01 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 18:00:04 | <monochrom> | And if you change to "import qualified B(b)" you export nothing. |
| 18:00:06 | <tomsmeding> | chisui: indeed, but more funnily, `module A(module B) where { import qualified B }` exports nothing |
| 18:00:10 | <tomsmeding> | that |
| 18:00:15 | × | nurupo quits (~nurupo.ga@unaffiliated/nurupo) (Quit: nurupo.ga) |
| 18:00:22 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:00:30 | → | nurupo joins (~nurupo.ga@unaffiliated/nurupo) |
| 18:00:57 | <monochrom> | and "import B as C(b)" it is now called C not B, you have to say "module C", bearing in mind that "C" is not a module. |
| 18:01:06 | × | sphi quits (a0ca25b5@160.202.37.181) (Client Quit) |
| 18:01:12 | <monochrom> | at least not in most people's mind. |
| 18:01:33 | <monochrom> | and Mr. Speaker doesn't speak |
| 18:01:44 | <monochrom> | and in the Commonwealth, wealth is not common. |
| 18:01:47 | <chisui> | tomsmeding ... yeah, of course. That's how namespaces work. Am I missing something? |
| 18:02:07 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-hzckqjwmuxbtspgy) |
| 18:02:27 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 18:02:31 | <sszark> | Essentially i just want to print doc strings for the user. This way you'd only need to update the documentation. Instead of storing them as both strings and doc comments. |
| 18:02:33 | <chisui> | ... Oh, of course |
| 18:02:38 | <tomsmeding> | chisui: previously I was under the mistaken assumption that exporting 'module M' everything available under the qualified 'M.' -- which is apparently not true :) |
| 18:02:39 | <sszark> | I'll have a look at Haddock and see how they do it. Thanks |
| 18:02:50 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 18:02:51 | <monochrom> | Well, I would be happier if the syntax were "module A(namespace B)" instead of "module A(module B)". |
| 18:03:18 | <tomsmeding> | sszark: oh you want to print a doc comment at runtime, like in python where you can do print(__doc__)? |
| 18:03:21 | → | jeanclaude[m] joins (jeanclaude@gateway/shell/matrix.org/x-mmihezdzzruufkof) |
| 18:03:24 | <tomsmeding> | no you can't do that in haskell |
| 18:03:32 | × | motersen quits (~motersen@gateway/tor-sasl/motersen) (Remote host closed the connection) |
| 18:03:39 | geekosaur | wonders about annotations |
| 18:03:48 | → | motersen joins (~motersen@gateway/tor-sasl/motersen) |
| 18:03:52 | <sszark> | I'm not familar with Python, But essentially yes. |
| 18:04:08 | <tomsmeding> | can you do that in rust? |
| 18:04:10 | <chisui> | CCP? |
| 18:04:14 | × | nicholasbulka quits (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 246 seconds) |
| 18:04:27 | <tomsmeding> | *CPP but yes, but please no |
| 18:04:56 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 18:04:58 | × | xcmw quits (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 18:05:13 | <chisui> | Yeah, DON'T USE CCP unless you REALLY know what you are doing. |
| 18:05:25 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 18:05:38 | <tomsmeding> | (it's "C PreProcessor") |
| 18:05:50 | <sszark> | yeah tomsmeding, libraries like structopt implements it. It's pretty clever. |
| 18:06:10 | → | OscarZ joins (~oscarz@95.175.104.236) |
| 18:06:31 | <monochrom> | Oh, command line arguments. |
| 18:06:32 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 18:07:16 | <tomsmeding> | fancy |
| 18:07:26 | <monochrom> | Don't put in "doc comments" at all. Use a library such as optparse-applicative or options. |
| 18:07:42 | <monochrom> | This is known as "XY problem". |
| 18:08:37 | <chisui> | You could use Symbols and `KnownSymbol` do generate some stuff at compile time |
| 18:09:07 | <sszark> | I wouldn't say so. I was just wondering if it was possible. It would streamline the program i'm currently writing. The arg parsing library i mentioned was just an example. |
| 18:09:30 | <tomsmeding> | sszark: what monochrom is saying is: reconsider if you really need that text in a doc comment, and maybe just put it in a string |
| 18:09:51 | <monochrom> | KnownSymbol would be https://hackage.haskell.org/package/commander-cli-0.10.1.2/docs/Options-Commander.html |
| 18:11:02 | <chisui> | monochrom Uh, cool. I didn't know about that library. |
| 18:11:04 | <thblt> | Hey #haskell, I've implemented the classic GADT example of the calc expression language that with Ints *and* Bools and GADT constructors that prevent adding one to the other. But I also have an Eq constructor that compares Bools xor Ints alike, and Haskell don't want to typecheck my eval if I don't add an explicit (Eq a) constraint that I don't think I *need*. Code is here: https://paste.thb.lt/1620410796.hs_src_.html |
| 18:11:25 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:11:30 | <geekosaur> | https://gitlab.haskell.org/ghc/ghc/-/wikis/annotations |
| 18:11:56 | → | sphi joins (~sphi@160.202.37.181) |
| 18:12:18 | <thblt> | My (probably naive) reasoning goes like this: since Calc is closed, it's impossible to construct a Calc a with an `a` that isn't Eq, and I'd expect the typechecker to know that. |
| 18:12:34 | <tomsmeding> | thblt: `undefined :: Calc String` |
| 18:12:50 | <tomsmeding> | that's not just a facetious answer, it's really the reason |
| 18:12:57 | <thblt> | tomsmeding: but can you *create* such a value? |
| 18:13:01 | <tomsmeding> | I just did :p |
| 18:13:13 | <tomsmeding> | you're not pattern matching on 'a' or 'b' so you don't know yet if it's undefined or not |
| 18:13:19 | <chisui> | thblt you need the constraint because you don't have the constraint on the function `eval` |
| 18:13:34 | <tomsmeding> | once you pattern match, the type is known, of course |
| 18:14:06 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 18:14:09 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 18:14:13 | <tomsmeding> | I believe the standard trick here is to have a separate data type, say 'data Type a where TInt :: Type Int ; TBool :: Type Bool', and including a 'Type a' within every arm of Calc |
| 18:15:06 | <tomsmeding> | then make a function 'typeOf :: Calc a -> Type a', and make a function 'eqValues :: Type a -> a -> a -> Bool' that pattern-matches on the Type and _then_ compares |
| 18:15:09 | <thblt> | chisui: I don't understand in which case it could not be satisfied by the very definition of the type. |
| 18:15:17 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-fwnywpfxxvlrvudf) |
| 18:15:20 | <chisui> | what about `eval :: Eq a -> Calc a -> a`? |
| 18:15:21 | <tomsmeding> | because only after the pattern match on Type do you know what types you have in hand, and thus what Eq dictionary you should use |
| 18:15:52 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 18:16:06 | <tomsmeding> | thblt: another way to think about it: how is GHC supposed to figure out which (==) it should use -- the one from Int or the one from Bool? |
| 18:16:09 | <sszark> | I'll drop it, But the benefit of what was thinking. Would allow for the program itself and documentation to share the same declarations. Putting it in as strings wouldn't generate anything in the docs. So you would need to identical summaries. |
| 18:16:14 | <tomsmeding> | it will have to pattern match on 'a' and 'b' to figure that out |
| 18:16:30 | <sszark> | two* |
| 18:16:41 | <tomsmeding> | sszark: true, but unfortunately that's not possible in haskell at the moment |
| 18:16:43 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 18:16:53 | <sszark> | That's good to know. thanks! |
| 18:17:31 | <chisui> | Ohhhhhh, It could be a naming conflict for `Eq`. Try naming the constructor `EQ` or something like that |
| 18:17:49 | <tomsmeding> | chisui: no that's not the problem :p |
| 18:17:56 | × | mrchampion quits (~mrchampio@38.18.109.23) (Remote host closed the connection) |
| 18:17:56 | <monochrom> | My perspective is that I don't want the user-facing explanation and the programmer-facing explanation to be in sync. |
| 18:18:17 | <monochrom> | Except for toy programs. (roast!) |
| 18:18:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 18:18:43 | <tomsmeding> | at some point deep in the ghc compilation pipeline, type classes become _values_. Using (==) on type 'a' means that you must have a _value_ (namely, a dictionary) of type 'Eq a' to get it from |
| 18:19:02 | <thblt> | tomsmeding: but the *current* code compiles with `test = eval (Eq (CInt 3) undefined)`. `undefined` inhabits every type, afaik. |
| 18:19:09 | <monochrom> | The user-facing explanation contains syntactic details that disappear in the internal, programmer-facing representation, for example. |
| 18:19:28 | <chisui> | Urgh, I though it was `Eq :: Eq a -> a -> Calc a`. Don't listen to me tomsmeding is the guy. |
| 18:19:32 | <tomsmeding> | if ghc knows what types you're comparing, it knows where to get the dictionary from at compile time; if you have an 'Eq a' constraint, then at runtime there will be a real dictionary passed around containing the right definition of (==) |
| 18:19:33 | <monochrom> | The programmer-facing representation has invariants that make no sense to the user. |
| 18:20:21 | <chisui> | `Eq :: Eq a => a -> a -> Calc a` I should go |
| 18:20:46 | × | robotmay quits (~beepboop@2001:8b0:7af0:2580:df9:a82d:b905:b9d2) (Remote host closed the connection) |
| 18:20:48 | <monochrom> | My https://github.com/treblacy/random-read is an example of the user-syntax-detail case. |
| 18:21:22 | <tomsmeding> | thblt: so the point is that if the type is not known, and there's no Eq constraint available, then ghc has nowhere to pull the (==) from :p |
| 18:21:28 | <thblt> | Ha, right, I can do `fail = eval (Eq (undefined :: Calc Truc) (undefined :: Calc Truc))` |
| 18:21:29 | <tomsmeding> | so that's why you need that constraint |
| 18:21:33 | <thblt> | tomsmeding: thanks. |
| 18:21:52 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 18:22:05 | → | robotmay joins (~beepboop@2001:8b0:7af0:2580:f0c2:ac37:d419:2dbf) |
| 18:22:20 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 18:22:48 | <monochrom> | The ideal of "write each fact once only" is plausible but it is not going to manifest in the form "write the same text and reuse verbatim in multiple contexts". |
| 18:23:22 | <thblt> | IOW, I cannot prevent the existence of a value of type "Calc X" for all x because of `undefined`, right? |
| 18:23:35 | <tomsmeding> | that's part of the problem indeed |
| 18:23:54 | <tomsmeding> | the other part is that even if there was no undefined at all, ghc would need to do _work_ to figure out which type is the right one |
| 18:24:28 | <tomsmeding> | because the types to compare depend on the _value_ at runtime |
| 18:24:33 | <monochrom> | Rather, it is more likely to manifest as writing in a structured, machine-readable format, and then for different contexts you apply a different filter and presenter. |
| 18:24:50 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 18:25:20 | <thblt> | tomsmeding: Ha right, Calc A and Calc B are both Calc. |
| 18:25:38 | <thblt> | tomsmeding: Thanks a lot :) |
| 18:25:59 | <tomsmeding> | the ghc developers could have decided to have the program do that work at runtime -- pattern match on the Calc in question to figure out which Eq dictionary to use -- but they decided not to |
| 18:26:03 | <tomsmeding> | thblt: cheers! |
| 18:26:49 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 18:28:28 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 18:29:27 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 18:30:11 | → | guriya joins (a0ee4b30@unaffiliated/guriya) |
| 18:30:17 | × | Firedancer quits (sid336191@gateway/web/irccloud.com/x-gcafzszhhwdyauva) (Read error: Connection reset by peer) |
| 18:30:39 | × | hamishmack quits (sid389057@gateway/web/irccloud.com/x-rpcgwizcoublvqlf) (Ping timeout: 250 seconds) |
| 18:30:40 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-nlcljrukqpuvrydw) |
| 18:30:51 | × | mpickering quits (sid78412@gateway/web/irccloud.com/x-tpskmsnkgjzzndkf) (Ping timeout: 260 seconds) |
| 18:31:05 | × | rann quits (sid175221@gateway/web/irccloud.com/x-kpzfexuzehrsrngu) (Ping timeout: 250 seconds) |
| 18:31:14 | × | nick_h quits (sid319833@gateway/web/irccloud.com/x-zusqmzasathspykj) (Ping timeout: 245 seconds) |
| 18:31:20 | × | joel135 quits (sid136450@gateway/web/irccloud.com/x-btpltzfcfgoqnjdk) (Read error: Connection reset by peer) |
| 18:31:25 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 18:31:32 | × | gluegadget quits (sid22336@gateway/web/irccloud.com/x-rvnpjowkbxcsxpry) (Read error: Connection reset by peer) |
| 18:31:32 | × | edwinb quits (sid69486@gateway/web/irccloud.com/x-sfvgflsmzchrdhrj) (Read error: Connection reset by peer) |
| 18:31:53 | × | sphi quits (~sphi@160.202.37.181) (Quit: Using Circe, the loveliest of all IRC clients) |
| 18:32:01 | × | PoliticsII______ quits (sid193551@gateway/web/irccloud.com/x-kmmdocnfhgdlkmie) (Ping timeout: 245 seconds) |
| 18:32:04 | × | dmj` quits (sid72307@gateway/web/irccloud.com/x-dxdffqeugfhdwmki) (Ping timeout: 245 seconds) |
| 18:32:13 | × | Tritlo quits (sid58727@gateway/web/irccloud.com/x-oepyiacuibpypgrx) (Read error: Connection reset by peer) |
| 18:32:17 | × | acertain quits (sid470584@gateway/web/irccloud.com/x-orzpfpabdksdtfgw) (Read error: Connection reset by peer) |
| 18:32:38 | × | jamm__ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 18:32:42 | × | affinespaces quits (sid327561@gateway/web/irccloud.com/x-ubclajppgjefvuak) (Ping timeout: 240 seconds) |
| 18:33:19 | × | SanchayanMaity quits (sid478177@gateway/web/irccloud.com/x-ggfrtzsywgaxgizs) (Ping timeout: 245 seconds) |
| 18:33:58 | × | dsturnbull quits (sid347899@gateway/web/irccloud.com/x-omsvvcpcwxsussbn) (Ping timeout: 276 seconds) |
| 18:34:49 | → | SanchayanMaity joins (sid478177@gateway/web/irccloud.com/x-chukfjcdrrnxfddu) |
| 18:34:49 | → | hamishmack joins (sid389057@gateway/web/irccloud.com/x-afrowrmbutgwqusu) |
| 18:34:50 | → | joel135 joins (sid136450@gateway/web/irccloud.com/x-oyngtafyvwzftkrz) |
| 18:34:56 | → | PoliticsII______ joins (sid193551@gateway/web/irccloud.com/x-pralefdjruhydymr) |
| 18:35:04 | → | nick_h joins (sid319833@gateway/web/irccloud.com/x-delbcuuwgtpqxrew) |
| 18:35:11 | → | gluegadget joins (sid22336@gateway/web/irccloud.com/x-rvenbvjzvhfmmnvs) |
| 18:35:13 | → | acertain joins (sid470584@gateway/web/irccloud.com/x-smitzrwlhgbnwuzb) |
| 18:35:13 | → | Tritlo joins (sid58727@gateway/web/irccloud.com/x-chylzklhzxffdqgz) |
| 18:35:14 | → | affinespaces joins (sid327561@gateway/web/irccloud.com/x-yipzwsjpntskowut) |
| 18:35:15 | → | Firedancer joins (sid336191@gateway/web/irccloud.com/x-jmirddsbudznybxt) |
| 18:35:16 | → | mpickering joins (sid78412@gateway/web/irccloud.com/x-sprmnvdugdkgqlgh) |
| 18:35:36 | → | edwinb joins (sid69486@gateway/web/irccloud.com/x-txoworskyiyslxla) |
| 18:35:47 | → | dsturnbull joins (sid347899@gateway/web/irccloud.com/x-ycsflmfxxhqdrina) |
| 18:35:54 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) |
| 18:36:14 | → | rann joins (sid175221@gateway/web/irccloud.com/x-xgerfalphipfmdgv) |
| 18:36:19 | → | dmj` joins (sid72307@gateway/web/irccloud.com/x-suyglozgzpvoorxi) |
| 18:37:10 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-gkfvaaewbzylzobi) (Quit: Connection closed for inactivity) |
| 18:38:45 | <monochrom> | The intuitionistic/construcive logic perspective sides with the compiler. |
| 18:38:47 | <Gurkenglas> | I'm getting a type error of b1 in go :: forall a1 b1. a1 -> Graph [(a1, b1)] -> Graph [(a1, b1)] not matching with b in monotonic :: (Ord a, Eq b) => Graph a -> Graph b -> Graph [(a, b)] even after turning on ScopedTypeVariables, what might cause that? |
| 18:39:03 | × | chisui quits (59f77ca1@i59F77CA1.versanet.de) (Ping timeout: 240 seconds) |
| 18:39:17 | <Gurkenglas> | (where my actual type annotation has no 1 in there) |
| 18:39:33 | <monochrom> | A classical logician has no problem with "a~Int or a~Bool, what's the problem?". A intuitionistic logician disagrees, "but you didn't tell me which one it is". |
| 18:39:57 | <Gurkenglas> | (works if I comment out go's annotation) |
| 18:40:11 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Ping timeout: 250 seconds) |
| 18:41:07 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:26bd:1b9c:1bb0:c59b) (Ping timeout: 260 seconds) |
| 18:41:46 | × | proofofkeags__ quits (~proofofke@205.209.28.54) (Ping timeout: 240 seconds) |
| 18:42:46 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 18:43:19 | <monochrom> | The minimum requirement for the Eq case would be: Eq :: Either (a :~: Bool) (a :~: Int) -> Calc a -> Calc a -> Bool |
| 18:44:08 | <monochrom> | This is minimum in theoretical obligatory information. The minimum-in-programmer-time solution is, of course, just adding "Eq a =>" and call it a day. |
| 18:45:34 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 18:47:59 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 246 seconds) |
| 18:50:05 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 18:51:36 | → | _xft0 joins (~jaroslawj@185.234.208.208.r.toneticgroup.pl) |
| 18:51:46 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:52:25 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 18:54:01 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:45dc:7be8:df7c:b953) |
| 18:55:02 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 18:55:21 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 18:58:01 | × | knupfer quits (~Thunderbi@200116b82b638900b876a868553c62e5.dip.versatel-1u1.de) (Ping timeout: 276 seconds) |
| 18:58:13 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:02:41 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 19:04:48 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 246 seconds) |
| 19:05:22 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 19:06:18 | → | Ishutin_ joins (~ishutin@80-95-86-70.pool.digikabel.hu) |
| 19:07:21 | × | Ishutin quits (~ishutin@84-236-8-11.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 19:11:14 | → | bitmagie joins (~Thunderbi@200116b806c56c0045ed386f214d08f0.dip.versatel-1u1.de) |
| 19:13:47 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 19:13:48 | → | kingmaker joins (2edfa3b9@HSI-KBW-46-223-163-185.hsi.kabel-badenwuerttemberg.de) |
| 19:14:49 | × | bitmagie quits (~Thunderbi@200116b806c56c0045ed386f214d08f0.dip.versatel-1u1.de) (Client Quit) |
| 19:16:37 | <Gurkenglas> | I have a string in ghci. How do I call another process with it? |
| 19:17:26 | <Gurkenglas> | I could put the string computation in a main, compile the .hs and pipe the .exe into that process, but that seems slow for iteration |
| 19:17:50 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 19:21:25 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection) |
| 19:21:50 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 19:22:20 | × | guriya quits (a0ee4b30@unaffiliated/guriya) (Quit: Connection closed) |
| 19:25:12 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 19:25:42 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 19:26:00 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 19:27:33 | <hyperisco> | anyone know anything about stack exit codes? I am getting exit code 2 despite there being no error message |
| 19:27:50 | <hyperisco> | on stack install |
| 19:28:32 | <hyperisco> | the output appears the same on another machine but the exit code is 0 |
| 19:30:06 | × | hiredman quits (~hiredman@138.68.1.198) (Ping timeout: 240 seconds) |
| 19:31:31 | → | seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 19:31:44 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 19:32:02 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 19:32:48 | → | o1lo01ol1o joins (~o1lo01ol1@205.220.128.197) |
| 19:32:52 | × | o1lo01ol1o quits (~o1lo01ol1@205.220.128.197) (Read error: Connection reset by peer) |
| 19:36:29 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 19:36:43 | <Gurkenglas> | uhh maybe it would say more if "globalLogLevel global == LevelDebug" evaluated to true? https://github.com/commercialhaskell/stack/blob/255cd830627870cdef34b5e54d670ef07882523e/src/main/Main.hs#L136 |
| 19:38:49 | → | stree joins (~stree@68.36.8.116) |
| 19:39:39 | ← | seven_three parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
| 19:39:49 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:cc13:5292:6bd3:1cef) |
| 19:41:13 | → | proofofkeags__ joins (~proofofke@205.209.28.54) |
| 19:42:17 | <hyperisco> | it might say more with -v … well maybe … it looks like that global handler in particular goes to the Left branch for exit codes |
| 19:43:12 | <hyperisco> | or it could be hitting line 147 which also has no message |
| 19:43:44 | <hyperisco> | I am just going to see if exit code 2 is okay to live with |
| 19:45:06 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 19:50:20 | → | minoru_shiraeesh joins (~shiraeesh@109.166.57.105) |
| 19:51:44 | <Gurkenglas> | Why isn't alga's Graph a subclass of Num? |
| 19:52:06 | × | m_shiraeeshi quits (~shiraeesh@5.101.59.1) (Ping timeout: 240 seconds) |
| 19:52:09 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 19:53:06 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 19:55:02 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 19:55:21 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 19:56:33 | <Gurkenglas> | ":k AC.Vertex (Algebra.Graph.AdjacencyMap.AdjacencyMap Int)" in ghci says *, how do I get the resulting type? |
| 19:59:51 | × | kingmaker quits (2edfa3b9@HSI-KBW-46-223-163-185.hsi.kabel-badenwuerttemberg.de) (Quit: Connection closed) |
| 20:00:31 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 20:02:51 | → | magthe joins (~magthe@c83-252-48-230.bredband.comhem.se) |
| 20:03:07 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:06:24 | → | jacks2 joins (~bc8134e3@217.29.117.252) |
| 20:07:13 | → | petersen joins (~petersen@redhat/juhp) |
| 20:07:55 | <tomsmeding> | Gurkenglas: use the 'process' package? |
| 20:08:12 | <tomsmeding> | or perhaps 'typed-process' though I haven't tried that one yet |
| 20:09:07 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 20:09:19 | × | lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Quit: lawid) |
| 20:09:22 | <tomsmeding> | Gurkenglas: I believe since ghc 9.2, :k! evaluates type families |
| 20:09:29 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 20:09:45 | → | Synthetica joins (uid199651@gateway/web/irccloud.com/x-jfnenignxbjtugzo) |
| 20:09:49 | <tomsmeding> | it used to do that in the past but at some point it changed because it was never intended behaviour; since a very recent release notes (I believe 9.2) it does it again |
| 20:10:02 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 20:11:24 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 20:11:27 | <tomsmeding> | yeah 9.2 https://gitlab.haskell.org/ghc/ghc/-/blob/master/docs/users_guide/9.2.1-notes.rst |
| 20:11:37 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 20:11:37 | <tomsmeding> | (search for :kind!) |
| 20:11:46 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 20:12:37 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 20:12:53 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:13:03 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 20:13:40 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 20:13:46 | → | ADG1089 joins (~aditya@27.58.164.109) |
| 20:14:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:15:24 | × | lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Client Quit) |
| 20:17:33 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 20:19:00 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 20:21:54 | → | xcmw joins (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 20:29:22 | <Gurkenglas> | yeah process and :k! worked, thanks |
| 20:33:09 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 20:33:22 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:34:14 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 20:34:41 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 20:35:12 | × | cheater1 quits (~user@unaffiliated/cheater) (Ping timeout: 240 seconds) |
| 20:35:37 | → | justBull joins (~justache@unaffiliated/justache) |
| 20:37:37 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 20:38:30 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 20:38:51 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 20:40:33 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 20:41:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:41:06 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 20:42:30 | × | alx741 quits (~alx741@186.178.108.37) (Ping timeout: 265 seconds) |
| 20:43:12 | → | knupfer joins (~Thunderbi@200116b82b63890044fc23d4c571cb42.dip.versatel-1u1.de) |
| 20:45:01 | × | magthe quits (~magthe@c83-252-48-230.bredband.comhem.se) (Quit: WeeChat 3.1) |
| 20:45:40 | → | sjack joins (~noneofurb@104.244.208.206) |
| 20:46:04 | × | justBull quits (~justache@unaffiliated/justache) (Quit: The Lounge - https://thelounge.chat) |
| 20:46:37 | → | justBull joins (~justache@unaffiliated/justache) |
| 20:47:06 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 20:47:16 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 20:47:31 | → | stree joins (~stree@68.36.8.116) |
| 20:47:35 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 20:49:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 20:49:48 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:52:19 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 20:53:12 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 20:55:01 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 20:55:05 | → | alx741 joins (~alx741@181.196.69.254) |
| 20:55:20 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 20:56:54 | → | slack1256 joins (~slack1256@200.112.86.100) |
| 21:01:05 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 21:01:14 | × | sjack quits (~noneofurb@104.244.208.206) (Quit: Leaving) |
| 21:03:14 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 21:03:20 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b952810c296d938beffd8.dip0.t-ipconnect.de) |
| 21:03:23 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:03:50 | × | iMast777 quits (~iMast777@185.204.1.185) (Remote host closed the connection) |
| 21:05:00 | × | LKoen quits (~LKoen@140.170.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 21:05:28 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 21:08:32 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
| 21:08:46 | × | _xft0 quits (~jaroslawj@185.234.208.208.r.toneticgroup.pl) (Quit: leaving) |
| 21:09:21 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 21:09:32 | → | cheater1 joins (~user@unaffiliated/cheater) |
| 21:10:43 | × | antoniotrkdz quits (2d8b63d4@gateway/web/cgi-irc/kiwiirc.com/ip.45.139.99.212) (Ping timeout: 252 seconds) |
| 21:11:10 | → | son0p joins (~ff@181.136.122.143) |
| 21:18:06 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 21:18:51 | → | zyga1 joins (~zyga@185.204.1.185) |
| 21:19:41 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds) |
| 21:20:49 | × | knupfer quits (~Thunderbi@200116b82b63890044fc23d4c571cb42.dip.versatel-1u1.de) (Ping timeout: 245 seconds) |
| 21:21:41 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 240 seconds) |
| 21:24:27 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 21:30:39 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:31:02 | × | fendor quits (~fendor@91.141.1.48.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 21:33:58 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds) |
| 21:34:15 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 21:36:12 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 21:39:03 | × | xcmw quits (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:41:31 | → | jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg) |
| 21:43:03 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 21:45:41 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 21:45:57 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 21:46:00 | × | lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Quit: lawid) |
| 21:46:25 | × | danso quits (~dan@23-233-111-52.cpe.pppoe.ca) (Read error: Connection reset by peer) |
| 21:46:49 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 21:46:49 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 21:46:49 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 21:46:52 | → | danso joins (~dan@23-233-111-52.cpe.pppoe.ca) |
| 21:47:33 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 21:48:05 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 21:53:03 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 21:53:13 | → | son0p joins (~ff@181.136.122.143) |
| 21:53:36 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 21:54:50 | × | tanuki quits (~quassel@173.168.178.1) (Ping timeout: 260 seconds) |
| 21:55:15 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:45dc:7be8:df7c:b953) (Ping timeout: 260 seconds) |
| 21:55:27 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 21:55:48 | → | tanuki joins (~quassel@173.168.178.1) |
| 21:56:19 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 21:58:07 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 21:58:43 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:00:32 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 22:06:27 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 22:13:01 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 22:13:59 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) |
| 22:14:45 | → | son0p joins (~ff@181.136.122.143) |
| 22:15:19 | × | ADG1089 quits (~aditya@27.58.164.109) (Quit: Konversation terminated!) |
| 22:15:47 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 22:18:07 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 22:20:26 | × | s00pcan quits (~chris@107.181.165.217) (Ping timeout: 260 seconds) |
| 22:20:42 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:21:12 | → | corvusdev joins (~corvusdev@50.212.103.45) |
| 22:22:19 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 22:22:38 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 22:24:12 | × | michalz quits (~user@185.246.204.43) (Remote host closed the connection) |
| 22:26:08 | × | ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds)) |
| 22:26:10 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 22:26:52 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:27:11 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 22:27:35 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 22:30:18 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 22:30:49 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:b560:96a6:3577:528f) |
| 22:31:20 | × | machinedgod quits (~machinedg@24.105.81.50) (Quit: Lost terminal) |
| 22:31:43 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 22:31:59 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 22:34:59 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 22:36:06 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 22:36:12 | × | slack1256 quits (~slack1256@200.112.86.100) (Ping timeout: 260 seconds) |
| 22:37:29 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) |
| 22:38:11 | × | Guest89063 quits (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds) |
| 22:40:38 | → | todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 22:41:10 | × | roconnor quits (~roconnor@host-23-91-186-24.dyn.295.ca) (Ping timeout: 268 seconds) |
| 22:41:59 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) (Ping timeout: 258 seconds) |
| 22:42:17 | × | dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:45:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:45:49 | → | roconnor joins (~roconnor@host-23-91-186-24.dyn.295.ca) |
| 22:46:55 | × | corvusdev quits (~corvusdev@50.212.103.45) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:46:57 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 22:47:23 | → | dolio joins (~dolio@haskell/developer/dolio) |
| 22:47:56 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 22:50:52 | → | seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 22:51:21 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 22:51:46 | → | Codaraxis_ joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 22:52:17 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 22:53:46 | <seven_three> | I am trying to make a quickcheck generator. `myGen = pure Constructor <*> oneof [pure 8, pure 9, pure 10] <*> lastGen; where lastGen :: Int -> Gen Int; lastGen n = chooseBoundedIntegral (0, n)`. |
| 22:53:50 | <seven_three> | Is there any way that I can pass the result of the middle `oneof` generator to lastGen |
| 22:54:28 | <seven_three> | To be clear I would like to pass 8,9,or 10 to `lastGen` depending on which choice is picked from the `oneof` call |
| 22:55:01 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 22:55:22 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 22:55:35 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 22:55:46 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 22:55:54 | × | Codaraxis__ quits (~Codaraxis@92.223.89.164) (Ping timeout: 265 seconds) |
| 22:56:08 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 22:58:42 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 22:58:50 | <seven_three> | I thought of using liftIO instance to generate a random number and then wrapping that number into a Gen type but it seems that Gen does not derive MonadIO |
| 22:59:17 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:01:55 | × | dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in) |
| 23:03:03 | <lyxia> | seven_three: Gen is a monad, so you can write do { x <- oneof [pure 8, pure 9, pure 10] ; y <- lastGen x ; pure (Constructor x y) } |
| 23:03:32 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 23:04:55 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 23:05:10 | → | son0p joins (~ff@181.136.122.143) |
| 23:05:11 | <seven_three> | oh I see. That works thank you. I was thinking I need a `Gen a -> a`, thats largely what monads are used for correct? |
| 23:05:40 | <monochrom> | Yes except you worded it wrong. |
| 23:06:13 | <seven_three> | how? |
| 23:06:37 | <monochrom> | "Gen a -> a" is the wrong wording. |
| 23:06:58 | <seven_three> | a -> Gen a? |
| 23:07:03 | <monochrom> | No. |
| 23:07:25 | <monochrom> | Either "Gen (Gen a) -> Gen a" or "Gen a -> (a -> Gen b) -> Gen b". |
| 23:07:53 | <monochrom> | The latter is >>= and is behind do-notation and is the only way you can "pass the result of the middle ... to lastGen". |
| 23:08:19 | <monochrom> | The former is Control.Monad.join and has similar power, just not obvious. |
| 23:08:26 | → | stree joins (~stree@68.36.8.116) |
| 23:08:46 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 23:08:52 | <monochrom> | But note how "Gen (Gen a) -> Gen a" has the same spirit as "Gen a -> a" except actually makes sense. |
| 23:09:26 | × | Benzi-Junior quits (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 265 seconds) |
| 23:11:12 | → | ADG1089 joins (~aditya@27.58.164.109) |
| 23:15:37 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-pcfseicosyfeggbs) (Quit: Connection closed for inactivity) |
| 23:15:43 | × | Synthetica quits (uid199651@gateway/web/irccloud.com/x-jfnenignxbjtugzo) (Quit: Connection closed for inactivity) |
| 23:16:49 | <lyxia> | has the same spirit ... except less spooky |
| 23:18:35 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 23:19:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 23:19:22 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 23:19:45 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 23:20:11 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 23:20:46 | → | dolio joins (~dolio@haskell/developer/dolio) |
| 23:22:09 | × | proofofkeags__ quits (~proofofke@205.209.28.54) (Ping timeout: 252 seconds) |
| 23:22:41 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 23:23:50 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 23:24:22 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds) |
| 23:30:05 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 23:31:11 | × | ADG1089 quits (~aditya@27.58.164.109) (Quit: Konversation terminated!) |
| 23:31:36 | <monochrom> | haha |
| 23:31:41 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 23:32:12 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:37:20 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 23:37:39 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 23:40:06 | → | barzo joins (~sosal@31.223.55.110) |
| 23:42:31 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 23:48:07 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
| 23:48:31 | <jackdk> | Was there some change in how roles were handled between ghc 8.6.5 and ghc 8.8.1? I cannot build hspec-hedgehog under the former, and can on the latter: cannot match representation of tf-random:System.Random.TF.Gen.TFGen with System.Random.SplitMix.SMGen . This is in stack-land (to fix up someone else's CI), tf-random has a tiny dep footprint and the version of random hasn't changed between snapshots |
| 23:48:37 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) |
| 23:48:39 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 23:48:51 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 23:49:38 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
| 23:52:52 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 23:53:03 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b952810c296d938beffd8.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 23:53:18 | × | dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in) |
| 23:53:54 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
| 23:55:00 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 23:55:21 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 23:56:38 | → | dolio joins (~dolio@haskell/developer/dolio) |
| 23:56:43 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 23:59:13 | × | carlomagno quits (~cararell@148.87.23.11) (Quit: Leaving.) |
All times are in UTC on 2021-05-07.