Logs: freenode/#haskell
| 2021-04-21 16:35:16 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-21 16:35:55 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-bfpmhrutqdycibjm) |
| 2021-04-21 16:36:00 | → | slack1256 joins (~slack1256@200-112-79-98.baf.movistar.cl) |
| 2021-04-21 16:36:45 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2021-04-21 16:39:22 | × | falafel_ quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-04-21 16:39:43 | <slack1256> | I have been enjoying the `extensible` package for records/variants. Apart from the ordering constrains imposed by the HList, what am I missing from a true structural type system as in purescript? |
| 2021-04-21 16:40:37 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-21 16:42:37 | → | son0p joins (~ff@181.136.122.143) |
| 2021-04-21 16:43:07 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-04-21 16:46:30 | × | kuribas quits (~user@ptr-25vy0i8p1spa6dozdqg.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-04-21 16:47:41 | × | ram19890 quits (~ram@183.83.155.58) (Ping timeout: 240 seconds) |
| 2021-04-21 16:49:05 | → | Sorny joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) |
| 2021-04-21 16:51:36 | × | Sorna quits (~Sornaensi@077213200034.dynamic.telenor.dk) (Ping timeout: 245 seconds) |
| 2021-04-21 16:52:26 | × | ashesham` quits (~user@d8D87D1B0.access.telenet.be) (Ping timeout: 240 seconds) |
| 2021-04-21 16:56:38 | × | Lycurgus quits (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-04-21 17:01:57 | × | LKoen quits (~LKoen@92.163.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-21 17:05:15 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-21 17:06:22 | × | Ccasesvilla quits (4a4fd19e@cpe-74-79-209-158.twcny.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-04-21 17:10:46 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 245 seconds) |
| 2021-04-21 17:11:28 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-21 17:11:37 | × | coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-21 17:14:15 | × | carldd quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-04-21 17:14:57 | → | carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2021-04-21 17:15:09 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-21 17:15:45 | → | LKoen joins (~LKoen@92.163.9.109.rev.sfr.net) |
| 2021-04-21 17:20:07 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-21 17:21:00 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e) (Remote host closed the connection) |
| 2021-04-21 17:21:19 | <hyperisco> | slack1256, I'd like to know too. I use PS but I don't use extensible |
| 2021-04-21 17:21:32 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-21 17:21:36 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e) |
| 2021-04-21 17:22:16 | <hyperisco> | if HList does not recognise records with the same fields are equivalent then I'd consider that a major difference |
| 2021-04-21 17:26:11 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e) (Ping timeout: 250 seconds) |
| 2021-04-21 17:29:18 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-21 17:31:12 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-21 17:32:19 | → | nyd joins (~nyd@unaffiliated/elysian) |
| 2021-04-21 17:32:21 | × | malumore quits (~malumore@151.62.122.70) (Ping timeout: 260 seconds) |
| 2021-04-21 17:35:57 | <justsomeguy> | Is there any way to suppress the "-- Defined at ${some_insanely_long_path}" messages in the output of GHCi's ":info" command? |
| 2021-04-21 17:36:01 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-04-21 17:36:19 | <monochrom> | I think no. |
| 2021-04-21 17:36:55 | <monochrom> | But I have found the message very valuable. |
| 2021-04-21 17:38:06 | → | ashesham` joins (~user@d8D87D1B0.access.telenet.be) |
| 2021-04-21 17:38:09 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-21 17:38:32 | <monochrom> | "Do an :info X.ByteString and an :info Y.ByteString to see that they are the same re-exports" is my favourite way of telling off the wrong presumption "X.ByteString and Y.ByteString are different types". No, both say "Define at $(same long path)" therefore they are the same. |
| 2021-04-21 17:39:21 | × | ubert quits (~Thunderbi@62-47-7-125.adsl.highway.telekom.at) (Ping timeout: 260 seconds) |
| 2021-04-21 17:40:30 | → | vdukhovni joins (64022765@100.2.39.101) |
| 2021-04-21 17:42:12 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-21 17:42:35 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-21 17:44:08 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-04-21 17:44:26 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-21 17:48:12 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e) |
| 2021-04-21 17:48:57 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-04-21 17:49:55 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-21 17:49:59 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-21 17:50:32 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-21 17:50:57 | <justsomeguy> | It's definitely useful, just verbose. When exploring new type classes interactively sometimes I get overwhelemed by the amount of output. For now, I guess I'll use a shell function to filter the output: gi() { echo ":info $1" | stack ghci | sed 's/--.*$//g'; } |
| 2021-04-21 17:51:03 | <monochrom> | Nice life hack. |
| 2021-04-21 17:51:19 | <justsomeguy> | It somehow worked out ^_^ |
| 2021-04-21 17:53:29 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-04-21 17:54:58 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-21 17:55:20 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 246 seconds) |
| 2021-04-21 17:55:46 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e) (Ping timeout: 245 seconds) |
| 2021-04-21 17:55:49 | → | Sornaensis joins (~Sornaensi@077213200034.dynamic.telenor.dk) |
| 2021-04-21 17:57:04 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-04-21 17:58:18 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-21 17:58:32 | → | malumore joins (~malumore@151.62.122.70) |
| 2021-04-21 17:59:01 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-xhstqsvcchluvrrc) (Quit: Connection closed for inactivity) |
| 2021-04-21 17:59:11 | × | Sorny quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 240 seconds) |
| 2021-04-21 17:59:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-21 18:00:51 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-04-21 18:03:06 | × | malumore quits (~malumore@151.62.122.70) (Ping timeout: 240 seconds) |
| 2021-04-21 18:03:16 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-21 18:06:19 | × | NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 260 seconds) |
| 2021-04-21 18:07:36 | <zzz> | hi. can someone walk me through why (join (.) f) === (f . f) when f :: (a -> a) ? |
| 2021-04-21 18:08:43 | <ski> | @src join |
| 2021-04-21 18:08:43 | <lambdabot> | join x = x >>= id |
| 2021-04-21 18:08:48 | <ski> | @src (->) (>>=) |
| 2021-04-21 18:08:48 | <lambdabot> | f >>= k = \ r -> k (f r) r |
| 2021-04-21 18:09:22 | <ski> | join f |
| 2021-04-21 18:09:35 | <ski> | = f >>= id |
| 2021-04-21 18:09:46 | → | Ccasesvilla joins (4a4fd19e@cpe-74-79-209-158.twcny.res.rr.com) |
| 2021-04-21 18:09:51 | <ski> | = \r -> id (f r) r |
| 2021-04-21 18:09:57 | <ski> | = \r -> f r r |
| 2021-04-21 18:10:03 | <ski> | so |
| 2021-04-21 18:10:12 | <ski> | join (.) f |
| 2021-04-21 18:10:21 | <ski> | = (.) f f |
| 2021-04-21 18:10:26 | <ski> | = f . f |
| 2021-04-21 18:10:59 | <tomsmeding> | neat |
| 2021-04-21 18:14:12 | × | DavidEichmann quits (~david@147.136.46.217.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2021-04-21 18:15:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-21 18:15:15 | × | aveltras quits (uid364989@gateway/web/irccloud.com/x-nbetplnhypazvidp) (Quit: Connection closed for inactivity) |
| 2021-04-21 18:16:48 | → | NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur) |
| 2021-04-21 18:19:49 | → | Ferdirand2 joins (~Ferdirand@2001:4c78:2012:5000::2) |
| 2021-04-21 18:20:01 | × | Ferdirand2 quits (~Ferdirand@2001:4c78:2012:5000::2) (Client Quit) |
| 2021-04-21 18:21:40 | <zzz> | when you ask lambdabot for @src (->) (>>=) you're asking it for the definition of (>>=) for the ((->) r) Monad, right? |
| 2021-04-21 18:22:26 | <monochrom> | yeah |
| 2021-04-21 18:22:30 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e) |
| 2021-04-21 18:22:48 | <zzz> | great. didn't know you could do that |
| 2021-04-21 18:22:56 | <zzz> | @src Maybe (>>=) |
| 2021-04-21 18:22:56 | <lambdabot> | (Just x) >>= k = k x |
| 2021-04-21 18:22:56 | <lambdabot> | Nothing >>= _ = Nothing |
All times are in UTC.