Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 537 538 539 540 541 542 543 544 545 546 547 .. 5022
— 502,152 events total
2020-10-09 15:47:22 <phadej> their maintainers don't care about non-nix(pkgs) installation methods
2020-10-09 15:47:49 × jjhoo quits (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (Client Quit)
2020-10-09 15:47:59 → jjhoo joins (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi)
2020-10-09 15:48:48 <phadej> AWizzArd: you have just written one :)
2020-10-09 15:48:49 <ski> @hoogle (a -> Bool) -> e -> a -> Either e a
2020-10-09 15:48:51 <lambdabot> No results found
2020-10-09 15:48:56 <phadej> but, no, I don't think there is such.
2020-10-09 15:49:05 <phadej> better to write your `f` to return Either to begin with
2020-10-09 15:49:12 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:4547:b7c6:8761:29ce)
2020-10-09 15:49:24 <ski> (also wrong parameter order, most likely)
2020-10-09 15:49:47 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-09 15:49:55 <phadej> compare
2020-10-09 15:49:57 <phadej> :t Data.List.NonEmpty.nonEmpty
2020-10-09 15:49:58 <lambdabot> [a] -> Maybe (GHC.Base.NonEmpty a)
2020-10-09 15:49:59 <phadej> and
2020-10-09 15:50:04 <phadej> :t null :: [a] -> Bool
2020-10-09 15:50:06 <lambdabot> [a] -> Bool
2020-10-09 15:50:36 <phadej> https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/
2020-10-09 15:51:24 <ski> @where boolean-blindness
2020-10-09 15:51:24 <lambdabot> http://existentialtype.wordpress.com/2011/03/15/boolean-blindness/
2020-10-09 15:53:55 → solonarv joins (~solonarv@adijon-655-1-70-207.w90-13.abo.wanadoo.fr)
2020-10-09 15:55:38 → kers joins (~kers@178.162.212.214)
2020-10-09 15:55:51 <Ariakenom_> slightly reminiscent of
2020-10-09 15:55:54 <Ariakenom_> :t guard
2020-10-09 15:55:56 <lambdabot> Alternative f => Bool -> f ()
2020-10-09 15:56:00 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-10-09 15:56:31 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:4547:b7c6:8761:29ce) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-09 15:56:43 × borne quits (~fritjof@200116b864025d00739dc2dd650b1f65.dip.versatel-1u1.de) (Quit: WeeChat 2.9)
2020-10-09 15:56:59 <phadej> guard is nice in Maybe
2020-10-09 15:57:25 <phadej> but with Either MyError it's too rough :)
2020-10-09 15:57:38 <Ariakenom_> ye :(
2020-10-09 15:57:42 <ski> @type \p e a -> a <$ unless (p a) (throwError e)
2020-10-09 15:57:44 <lambdabot> MonadError e f => (t -> Bool) -> e -> t -> f t
2020-10-09 15:57:55 × gnar^2 quits (~user@c-73-118-153-248.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-10-09 16:00:38 × HaskellYogi quits (~vivekrama@49.207.212.129) (Remote host closed the connection)
2020-10-09 16:00:56 <phadej> that looks almost like perl (which has postfix conditionals :)
2020-10-09 16:01:22 × crossw1nd quits (~crosswind@adsl-174.176.58.193.tellas.gr) (Ping timeout: 260 seconds)
2020-10-09 16:01:51 → Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
2020-10-09 16:02:02 × cpressey quits (~cpressey@88.144.68.224) (Quit: WeeChat 1.9.1)
2020-10-09 16:02:53 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-09 16:03:45 → verement joins (~anonymous@cpe-76-167-229-223.san.res.rr.com)
2020-10-09 16:04:26 × raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-10-09 16:04:55 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-09 16:05:20 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-09 16:06:00 → HaskellYogi joins (~vivekrama@49.207.212.129)
2020-10-09 16:06:09 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:a50e:6765:3d1c:f1d6)
2020-10-09 16:10:25 × HaskellYogi quits (~vivekrama@49.207.212.129) (Ping timeout: 246 seconds)
2020-10-09 16:15:09 × jespada quits (~jespada@90.254.245.15) (Quit: Leaving)
2020-10-09 16:16:05 × catchme quits (uid355354@gateway/web/irccloud.com/x-lkuruwxjciobmoti) (Quit: Connection closed for inactivity)
2020-10-09 16:18:28 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-10-09 16:21:05 <maerwald> phadej: everything should be installed through nix anyway :p
2020-10-09 16:22:00 × Pasalmachow quits (~textual@2601:643:8000:a570:9513:b921:a468:618c) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-10-09 16:26:55 → Pasalmachow joins (~textual@2601:643:8000:a570:9513:b921:a468:618c)
2020-10-09 16:30:26 → gnar^2 joins (~user@c-73-118-153-248.hsd1.wa.comcast.net)
2020-10-09 16:31:28 → roconnor joins (~roconnor@host-45-78-205-7.dyn.295.ca)
2020-10-09 16:31:42 × Pasalmachow quits (~textual@2601:643:8000:a570:9513:b921:a468:618c) (Client Quit)
2020-10-09 16:34:17 × oisdk quits (~oisdk@2001:bb6:3329:d100:7807:4c86:5073:949e) (Quit: oisdk)
2020-10-09 16:34:45 × gnar^2 quits (~user@c-73-118-153-248.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2020-10-09 16:34:51 × nados quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-09 16:34:56 → avdb joins (~avdb@ip-62-235-188-165.dsl.scarlet.be)
2020-10-09 16:35:33 → nados joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-09 16:36:19 × geekosaur quits (82659a05@host154-005.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-09 16:36:47 → ebsen joins (~ebsene@64-33-113-59-dynamic.midco.net)
2020-10-09 16:37:40 × ebsen quits (~ebsene@64-33-113-59-dynamic.midco.net) (Client Quit)
2020-10-09 16:38:43 × mirrorbird quits (~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9) (Ping timeout: 272 seconds)
2020-10-09 16:38:53 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-10-09 16:44:25 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-09 16:44:58 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-09 16:46:46 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:a50e:6765:3d1c:f1d6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-09 16:48:32 → LKoen joins (~LKoen@81.255.219.130)
2020-10-09 16:50:02 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-09 16:50:28 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:c588:f17e:f3e:2fb3)
2020-10-09 16:52:23 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-09 16:53:23 × taurux quits (~taurux@net-188-152-69-171.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2020-10-09 16:53:23 → kritzefitz joins (~kritzefit@200116b80fda0d0086f540e7cd0422d3.dip.versatel-1u1.de)
2020-10-09 16:53:28 × kritzefitz quits (~kritzefit@200116b80fda0d0086f540e7cd0422d3.dip.versatel-1u1.de) (Client Quit)
2020-10-09 16:54:24 → taurux joins (~taurux@net-188-152-69-171.cust.dsl.teletu.it)
2020-10-09 16:54:53 → gnar^2 joins (~user@c-73-118-153-248.hsd1.wa.comcast.net)
2020-10-09 16:54:56 × abrar quits (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Quit: WeeChat 2.7.1)
2020-10-09 16:55:49 × alp_ quits (~alp@2a01:e0a:58b:4920:f183:394b:8c77:4cf5) (Ping timeout: 272 seconds)
2020-10-09 16:58:30 → GyroW_ joins (~GyroW@d54c03e98.access.telenet.be)
2020-10-09 16:58:30 × GyroW_ quits (~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-09 16:58:30 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-09 16:59:23 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-09 16:59:48 → Jeanne-Kamikaze joins (~Jeanne-Ka@68.235.43.142)
2020-10-09 17:01:00 × John20 quits (~John@82.46.59.122) (Ping timeout: 272 seconds)
2020-10-09 17:02:31 → mirrorbird joins (~psutcliff@m83-185-82-223.cust.tele2.se)
2020-10-09 17:06:15 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-09 17:06:24 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-09 17:10:27 × murphy_ quits (~murphy_@2604:2000:1281:8a9e:5b6c:ced:3586:ca8c) (Quit: WeeChat 2.9)
2020-10-09 17:11:25 fendor_ is now known as fendor
2020-10-09 17:12:36 × R8128 quits (~R8128@77-170-72-55.fixed.kpn.net) (Quit: R8128)
2020-10-09 17:13:49 → alp_ joins (~alp@2a01:e0a:58b:4920:a813:2213:43c8:3e1b)
2020-10-09 17:18:03 → evade joins (~evade@2001:b07:a15:ec0c:91a9:d55f:dffd:96e)
2020-10-09 17:20:00 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-09 17:22:03 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2020-10-09 17:22:53 × evade quits (~evade@2001:b07:a15:ec0c:91a9:d55f:dffd:96e) (Client Quit)
2020-10-09 17:23:48 → mdunnio joins (~mdunnio@208.59.170.5)
2020-10-09 17:24:29 → ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-10-09 17:24:38 × mirrorbird quits (~psutcliff@m83-185-82-223.cust.tele2.se) (Ping timeout: 256 seconds)
←Prev  Next→
Page 1 .. 537 538 539 540 541 542 543 544 545 546 547 .. 5022

All times are in UTC.