Logs: freenode/#haskell
| 2021-05-06 16:31:54 | <Guest_26> | -_- |
| 2021-05-06 16:32:18 | × | Guest_26 quits (ba6aa9f7@186.106.169.247) (Client Quit) |
| 2021-05-06 16:33:29 | → | epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-06 16:35:30 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-06 16:35:41 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Ping timeout: 240 seconds) |
| 2021-05-06 16:35:47 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2021-05-06 16:36:47 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 2021-05-06 16:37:04 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 2021-05-06 16:37:11 | × | ep1ctetus quits (~epictetus@82.102.31.164) (Ping timeout: 246 seconds) |
| 2021-05-06 16:37:12 | × | epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-05-06 16:39:23 | → | jgt_ joins (~jgt@87.227.221.129) |
| 2021-05-06 16:39:27 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-05-06 16:40:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-06 16:40:17 | → | LKoen joins (~LKoen@140.170.9.109.rev.sfr.net) |
| 2021-05-06 16:42:32 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-06 16:43:48 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-06 16:43:51 | × | jgt_ quits (~jgt@87.227.221.129) (Ping timeout: 246 seconds) |
| 2021-05-06 16:45:46 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-06 16:48:16 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 2021-05-06 16:49:33 | × | cdsmith quits (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Quit: Connection closed) |
| 2021-05-06 16:50:26 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-05-06 16:51:11 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-06 16:51:55 | → | epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-06 16:55:37 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 252 seconds) |
| 2021-05-06 16:55:37 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-06 16:55:38 | → | seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-06 16:56:10 | ← | seven_three parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
| 2021-05-06 17:01:45 | × | kderme quits (2e675c7c@46-92-124.adsl.cyta.gr) (Quit: Connection closed) |
| 2021-05-06 17:05:08 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-06 17:07:28 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-06 17:08:38 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-06 17:08:41 | <NemesisD> | is it possible to convert something of kind Bool into a Constraint? i've got a type family that returns a kind Bool if a type is in a type-level list but i'd like to use it as a constraint and `TElem x xs ~ 'Bool` is clunky and gets seen as an unused constraint |
| 2021-05-06 17:09:01 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-06 17:09:10 | <NemesisD> | whoops, i meant 'True not 'Bool |
| 2021-05-06 17:11:05 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-05-06 17:11:46 | × | dcoutts_ quits (~duncan@94.186.125.91.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-06 17:12:06 | → | dcoutts_ joins (~duncan@94.186.125.91.dyn.plus.net) |
| 2021-05-06 17:12:10 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) |
| 2021-05-06 17:12:27 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-06 17:13:35 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-05-06 17:14:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-06 17:15:08 | → | jgt_ joins (~jgt@87.227.221.129) |
| 2021-05-06 17:18:37 | × | superstar64 quits (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed) |
| 2021-05-06 17:18:56 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-06 17:19:02 | × | lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Remote host closed the connection) |
| 2021-05-06 17:19:17 | → | john2gb0 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-05-06 17:19:46 | → | boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 2021-05-06 17:20:04 | <boxscape> | Is there a difference between `f (_, _) = ()` and `f !(_, _) = ()`? |
| 2021-05-06 17:20:19 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 2021-05-06 17:20:56 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-05-06 17:21:38 | → | cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-05-06 17:22:01 | <boxscape> | okay docs say "A bang only really has an effect if it precedes a variable or wild-card pattern" |
| 2021-05-06 17:22:18 | → | seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-06 17:23:56 | ← | seven_three parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
| 2021-05-06 17:24:28 | <boxscape> | isn't it tantalizing how they put that "really" in there, as if to say "there might possibly be edge cases where this isn't true, but we won't tell you about them" |
| 2021-05-06 17:25:56 | <cdsmith> | boxscape: Not sure about weird corner cases, but in this case at least, the ! doesn't change anything because the match already forces the pair. On the other hand: f ~(_, _) = () would be different |
| 2021-05-06 17:26:09 | <boxscape> | right, that makes sense |
| 2021-05-06 17:26:27 | <opqdonut> | yeah if you're mentioning a constructor ! won't do anything more |
| 2021-05-06 17:26:34 | <boxscape> | okay |
| 2021-05-06 17:26:52 | <opqdonut> | I mean a pattern like !(Cons x y z), which !(_,_) effectively is |
| 2021-05-06 17:26:56 | → | seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-06 17:26:56 | × | seven_three quits (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Client Quit) |
| 2021-05-06 17:27:55 | <opqdonut> | hmm I wonder about a newtype... for `newtype Foo x = Foo x`, is the `!(Foo _)` pattern equivalent to `_` or `!_`... |
| 2021-05-06 17:28:39 | <opqdonut> | yes, it's equivalent to !_ |
| 2021-05-06 17:28:49 | <boxscape> | yeah |
| 2021-05-06 17:29:09 | → | frdg joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-06 17:29:14 | <boxscape> | I guess the "really" is justified then |
| 2021-05-06 17:29:25 | <opqdonut> | nice corner case |
| 2021-05-06 17:29:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-05-06 17:31:44 | <boxscape> | interesting, trying to use ~ with unlifted types results in an error |
| 2021-05-06 17:31:53 | <boxscape> | I kind of expected ghc to just silently pretend the ~ wasn't there |
| 2021-05-06 17:33:15 | × | cdsmith quits (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Quit: Connection closed) |
| 2021-05-06 17:33:24 | <frdg> | how can I make a boolean conjunction point free. For example I want to make this function point free: `f x = x > 10 || x < 0` || x > 1000. My ideas have been writing it as a foldr on a list of the predicates [(>10),(<0),(>1000)], but that didn't work for me. I also though I could write it by fmapping (||) onto a composition of the predicates but that also did not work. I would like some help. |
| 2021-05-06 17:33:49 | → | cub3s_ joins (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 2021-05-06 17:34:30 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 2021-05-06 17:34:47 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 2021-05-06 17:34:53 | × | incertia quits (~incertia@d4-50-26-103.nap.wideopenwest.com) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2021-05-06 17:35:04 | <boxscape> | % :t \x -> any ($ x) [(>10), (<0), (>1000)] |
| 2021-05-06 17:35:04 | <yahb> | boxscape: (Ord a, Num a) => a -> Bool |
| 2021-05-06 17:35:09 | <boxscape> | not exactly pointfree yet |
| 2021-05-06 17:35:12 | <boxscape> | but a start maybe |
| 2021-05-06 17:35:33 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-06 17:35:46 | → | incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 2021-05-06 17:36:45 | <boxscape> | (that's a disjunction btw, not a conjunction) |
| 2021-05-06 17:37:10 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-05-06 17:37:12 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-06 17:38:26 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-05-06 17:39:45 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-06 17:40:55 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:341c:1f82:ae5b:39ec) (Ping timeout: 276 seconds) |
| 2021-05-06 17:41:53 | <boxscape> | @frdg how about this |
| 2021-05-06 17:41:54 | <lambdabot> | Extra stuff at end of line |
| 2021-05-06 17:41:59 | <boxscape> | % or <$> sequence [(>10), (<0), (>1000)] |
| 2021-05-06 17:41:59 | <yahb> | boxscape: ; <interactive>:55:1: error:; * No instance for (Show (Integer -> Bool)) arising from a use of `print'; (maybe you haven't applied a function to enough arguments?); * In a stmt of an interactive GHCi command: print it |
| 2021-05-06 17:42:06 | <boxscape> | % :t or <$> sequence [(>10), (<0), (>1000)] |
| 2021-05-06 17:42:06 | <yahb> | boxscape: (Ord a, Num a) => a -> Bool |
| 2021-05-06 17:43:13 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-06 17:43:55 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-06 17:44:34 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-06 17:45:40 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-06 17:45:53 | <frdg> | boxscape: I got so close with (flip any) |
All times are in UTC.