Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 621 622 623 624 625 626 627 628 629 630 631 .. 5022
— 502,152 events total
2020-10-13 21:39:23 <hseg> i.e. would like sth like (map Just -> ls@(pad n -> pls))
2020-10-13 21:39:49 → m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-13 21:41:57 <ski> > let (negate -> x@((^ 2) -> y)) = 2 in (x,y)
2020-10-13 21:42:00 <lambdabot> (-2,4)
2020-10-13 21:42:17 <hseg> huh. it works
2020-10-13 21:42:26 <hseg> happy surprise
2020-10-13 21:42:56 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-13 21:43:22 × Gerula quits (~Gerula@unaffiliated/gerula) (Remote host closed the connection)
2020-10-13 21:43:35 × xintron quits (~xintron@unaffiliated/xintron) (Quit: Ping timeout (120 seconds))
2020-10-13 21:43:56 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-13 21:44:01 → xintron joins (~xintron@unaffiliated/xintron)
2020-10-13 21:44:37 × Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-10-13 21:45:23 <hseg> hrmph. unfortunately, i can't use where-bound variables in view patterns.
2020-10-13 21:45:31 <hseg> meh. was a bit of golfing anyway
2020-10-13 21:45:46 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-ufuazzkmfwuyelkh)
2020-10-13 21:46:28 <hseg> (use case was c (map Just -> ls@(pad n -> pls)) (map Just -> ms@(pad n -> pms)) (map Just -> sort -> ns) = ... where n = length ns)
2020-10-13 21:49:08 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-13 21:49:17 → mdunnio joins (~mdunnio@208.59.170.5)
2020-10-13 21:49:30 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:8576:1536:5132:aae7) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-13 21:52:21 × eedgit2 quits (~chat.free@95.179.237.21) (Remote host closed the connection)
2020-10-13 21:52:41 → eedgit2 joins (~chat.free@95.179.237.21)
2020-10-13 21:52:45 × mdunnio_ quits (~mdunnio@208.59.170.5) (Ping timeout: 240 seconds)
2020-10-13 21:56:00 × mdunnio quits (~mdunnio@208.59.170.5) (Read error: Connection reset by peer)
2020-10-13 21:56:37 → mdunnio joins (~mdunnio@208.59.170.5)
2020-10-13 21:57:13 → mav1 joins (~mav@ipservice-092-217-043-250.092.217.pools.vodafone-ip.de)
2020-10-13 21:58:20 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2020-10-13 21:58:44 × mav1 quits (~mav@ipservice-092-217-043-250.092.217.pools.vodafone-ip.de) (Client Quit)
2020-10-13 22:01:24 × Mouse34 quits (8137c814@LLPROXY.LL.MIT.EDU) (Remote host closed the connection)
2020-10-13 22:01:25 → mav1 joins (~mav@ipservice-092-217-043-250.092.217.pools.vodafone-ip.de)
2020-10-13 22:01:27 × hseg quits (~gesh@185.120.126.55) (Quit: WeeChat 2.9)
2020-10-13 22:02:08 <proofofme> interesting ... playing around with some of these concepts shortly
2020-10-13 22:02:25 × untseac quits (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 240 seconds)
2020-10-13 22:03:13 × xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 264 seconds)
2020-10-13 22:03:14 <int-e> hseg: you can have some fun with pattern guards whose patterns are plain variables: c (map Just -> ls) (map Just -> ms) (map Just -> sort -> ns) | n <- length ns, pls <- pad n ls, pms <- pad n ms = ...
2020-10-13 22:03:26 × ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 246 seconds)
2020-10-13 22:03:49 → xsperry joins (~as@unaffiliated/xsperry)
2020-10-13 22:05:32 → Gerula joins (~Gerula@unaffiliated/gerula)
2020-10-13 22:05:32 × jgt quits (~jgt@77-255-14-254.adsl.inetia.pl) (Read error: Connection reset by peer)
2020-10-13 22:06:12 → jgt joins (~jgt@77-255-14-254.adsl.inetia.pl)
2020-10-13 22:07:36 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-13 22:08:04 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-13 22:08:13 → clog joins (~nef@bespin.org)
2020-10-13 22:10:59 → kupi joins (uid212005@gateway/web/irccloud.com/x-fmxlaxhuszjyrjhy)
2020-10-13 22:11:48 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-13 22:12:01 <kupi> hi. in ghci ":module + Data.Ratio" and "import Data.Ratio" are equivalent?
2020-10-13 22:12:15 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-13 22:12:37 × taurux quits (~taurux@net-109-115-33-211.cust.vodafonedsl.it) (Ping timeout: 246 seconds)
2020-10-13 22:13:02 <monochrom> Yes
2020-10-13 22:13:48 → taurux joins (~taurux@net-93-151-195-211.cust.vodafonedsl.it)
2020-10-13 22:16:43 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-13 22:16:57 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-13 22:17:48 × nados quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-13 22:18:19 → nados joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-13 22:19:09 × ralejs_ quits (~ralejs@2620:10d:c093:400::5:c80) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-13 22:23:10 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-13 22:28:10 → lucasb joins (uid333435@gateway/web/irccloud.com/x-rbuougcnirltldfu)
2020-10-13 22:31:06 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-13 22:31:13 → fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2020-10-13 22:33:58 hackage fourmolu 0.3.0.0 - A formatter for Haskell source code https://hackage.haskell.org/package/fourmolu-0.3.0.0 (GeorgeThomas)
2020-10-13 22:34:50 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-13 22:36:37 × Ariakenom quits (~Ariakenom@h-155-4-221-50.NA.cust.bahnhof.se) (Quit: Leaving)
2020-10-13 22:36:39 → conal joins (~conal@64.71.133.70)
2020-10-13 22:40:26 × mav1 quits (~mav@ipservice-092-217-043-250.092.217.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2020-10-13 22:42:25 × danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-13 22:46:06 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds)
2020-10-13 22:46:20 → _ashbreeze_ joins (~mark@72-161-51-235.dyn.centurytel.net)
2020-10-13 22:46:29 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-13 22:48:31 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-13 22:49:16 × dhouthoo_ quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-10-13 22:53:39 × jespada quits (~jespada@90.254.245.15) (Ping timeout: 265 seconds)
2020-10-13 22:54:24 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.7.1)
2020-10-13 22:56:56 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-13 22:57:05 → jespada joins (~jespada@90.254.245.15)
2020-10-13 23:00:55 × revprez_anzio quits (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-13 23:01:19 × nineonine quits (~nineonine@216.81.48.202) (Read error: Connection reset by peer)
2020-10-13 23:01:19 → revprez_1nzio joins (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-10-13 23:01:37 → nineonine joins (~nineonine@216.81.48.202)
2020-10-13 23:02:05 × iteratee quits (~kyle@162.211.154.4) (Read error: Connection reset by peer)
2020-10-13 23:02:11 → iteratee joins (~kyle@162.211.154.4)
2020-10-13 23:02:19 <kupi> in ghci how to undo ":set +t"?
2020-10-13 23:02:47 <hpc> use :unset
2020-10-13 23:02:55 <hpc> see also, :help
2020-10-13 23:04:17 × fre quits (~freusque@104.238.190.229) (Ping timeout: 265 seconds)
2020-10-13 23:04:46 × iomonad quits (~iomonad@unaffiliated/iomonad) (Ping timeout: 265 seconds)
2020-10-13 23:05:15 → fre joins (~freusque@104.238.190.229)
2020-10-13 23:05:28 hackage formatting 7.1.0 - Combinator-based type-safe formatting (like printf() or FORMAT) https://hackage.haskell.org/package/formatting-7.1.0 (AlexChapman)
2020-10-13 23:08:09 → wildlander joins (~wildlande@unaffiliated/wildlander)
2020-10-13 23:08:11 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-13 23:09:31 → iomonad joins (~iomonad@unaffiliated/iomonad)
2020-10-13 23:10:28 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-13 23:13:12 → proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-13 23:15:17 → crestfallen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-13 23:16:33 × cgfbee quits (~bot@oc1.itim-cj.ro) (Ping timeout: 258 seconds)
2020-10-13 23:18:50 <crestfallen> hi please assist me going through this unification exercise. It's from SO and someone here helped me earlier though I still don't understand a few things, for starters: how g is both g :: c -> b -> a and g :: d -> c
2020-10-13 23:18:56 <crestfallen> https://github.com/varreli/haskell/blob/master/handEval/unify_f_g_h.txt
2020-10-13 23:20:12 <hpc> type variables can unify with other type variables
2020-10-13 23:20:19 <hpc> they're placeholders with names
2020-10-13 23:20:35 × natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-13 23:20:35 <hpc> imagine (+) :: Num a => a -> a, and (+) :: Num b => b -> b
2020-10-13 23:20:49 × justache quits (~justache@unaffiliated/justache) (Quit: Ping timeout (120 seconds))
←Prev  Next→
Page 1 .. 621 622 623 624 625 626 627 628 629 630 631 .. 5022

All times are in UTC.