Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 17304 17305 17306 17307 17308 17309 17310 17311 17312 17313 17314 .. 18007
— 1,800,686 events total
2026-01-05 01:38:49 <haskellbridge> <loonycyborg> case is one of few constructs that aren't syntactic sugar for something else.
2026-01-05 01:39:13 <oats> % do { x <- [1..10]; if (x == 5) then fail "bleh" else pure (); pure x }
2026-01-05 01:39:13 <yahb2> [1,2,3,4,6,7,8,9,10]
2026-01-05 01:40:33 <oats> % do { Just x <- [Just 1, Nothing]; pure x }
2026-01-05 01:40:33 <yahb2> [1]
2026-01-05 01:41:05 <oats> wonder what that desugars to
2026-01-05 01:41:31 <c_wraith> the report actually specifies that.
2026-01-05 01:41:37 <int-e> @undo do { Just x <- [Just 1, Nothing]; pure x }
2026-01-05 01:41:37 <lambdabot> [Just 1, Nothing] >>= \ a -> case a of { Just x -> pure x; _ -> fail ""}
2026-01-05 01:41:45 <oats> int-e: I'm not super clear on #, that's an unboxed integer right?
2026-01-05 01:42:25 <Axman6> and fail str = [] for []
2026-01-05 01:42:34 <oats> @undo [x | Just x <- [Just 1, Nothing] ]
2026-01-05 01:42:34 <lambdabot> concatMap (\ a -> case a of { Just x -> [x]; _ -> []}) [Just 1, Nothing]
2026-01-05 01:42:43 <int-e> oats: Int (machine word sized), yes.
2026-01-05 01:42:53 <oats> interesting, I thought list comprehensions were special in some way
2026-01-05 01:42:56 <oats> don't remember who told me that
2026-01-05 01:43:22 <c_wraith> You don't have to write pure. :)
2026-01-05 01:43:53 <oats> ?
2026-01-05 01:43:57 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
2026-01-05 01:44:16 <c_wraith> [ x | x <- foo ] as opposed to do { x <- foo ; pure x }
2026-01-05 01:44:28 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-05 01:45:00 <oats> oh I was just trying out desugaring list comprehensions, because I thought I remembered someone telling me they were special to ghc in some way
2026-01-05 01:45:37 <c_wraith> technically they are, but not in a way that influences semantics. There are some performance optimizations.
2026-01-05 01:46:10 <c_wraith> and @undo doesn't give you what GHC does. It is an independent reimplementation of the rules from the Haskell report.
2026-01-05 01:46:43 ChanServ sets mode +o geekosaur
2026-01-05 01:46:51 <oats> gotcha, thanks
2026-01-05 01:47:03 geekosaur sets mode -r
2026-01-05 01:47:19 geekosaur sets mode -o geekosaur
2026-01-05 01:48:33 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds)
2026-01-05 01:50:54 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2026-01-05 01:51:31 → arandombit joins (~arandombi@2603:7000:4600:ffbe:e018:2291:d659:5626)
2026-01-05 01:51:32 × arandombit quits (~arandombi@2603:7000:4600:ffbe:e018:2291:d659:5626) (Changing host)
2026-01-05 01:51:32 → arandombit joins (~arandombi@user/arandombit)
2026-01-05 01:54:29 → foul_owl joins (~kerry@71-212-2-112.tukw.qwest.net)
2026-01-05 01:55:28 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-01-05 02:00:04 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-05 02:10:58 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-01-05 02:13:54 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds)
2026-01-05 02:15:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-05 02:20:37 → Lycurgus joins (~juan@user/Lycurgus)
2026-01-05 02:24:25 jmcantrell_ is now known as jmcantrell
2026-01-05 02:25:31 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2026-01-05 02:26:46 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-01-05 02:31:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-05 02:35:55 × Square3 quits (~Square@user/square) (Ping timeout: 240 seconds)
2026-01-05 02:41:22 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-01-05 02:43:20 × omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat)
2026-01-05 02:45:10 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
2026-01-05 02:45:51 → gmg joins (~user@user/gehmehgeh)
2026-01-05 02:46:27 → omidmash joins (~omidmash@user/omidmash)
2026-01-05 02:46:46 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-01-05 02:47:28 × Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2026-01-05 02:57:10 → karenw joins (~karenw@user/karenw)
2026-01-05 02:57:11 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-01-05 02:58:12 × karenw quits (~karenw@user/karenw) (Remote host closed the connection)
2026-01-05 02:59:48 → karenw joins (~karenw@user/karenw)
2026-01-05 03:01:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-05 03:03:10 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
2026-01-05 03:03:26 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-01-05 03:13:02 → merijn joins (~merijn@62.45.136.136)
2026-01-05 03:13:03 × housemate quits (~housemate@202.7.247.155) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-01-05 03:15:50 → housemate joins (~housemate@202.7.247.155)
2026-01-05 03:19:54 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 252 seconds)
2026-01-05 03:20:19 → trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au)
2026-01-05 03:23:43 × foul_owl quits (~kerry@71-212-2-112.tukw.qwest.net) (Ping timeout: 240 seconds)
2026-01-05 03:31:01 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-01-05 03:35:27 → DetourNe- joins (~DetourNet@user/DetourNetworkUK)
2026-01-05 03:35:52 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-05 03:36:11 → synchrom1 joins (~john@2406:5a00:2412:2c00:c18e:f5b0:111e:69da)
2026-01-05 03:36:19 × acidjnk quits (~acidjnk@p200300d6e7171903898692e61c742058.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2026-01-05 03:36:42 → kdlv3 joins (~kdlv@user/kdlv)
2026-01-05 03:38:16 → gabiruh_ joins (~gabiruh@vps19177.publiccloud.com.br)
2026-01-05 03:38:17 → sajith joins (~sajith@user/sajith)
2026-01-05 03:38:45 → foul_owl joins (~kerry@94.156.149.97)
2026-01-05 03:39:15 → tomku|two joins (~tomku@user/tomku)
2026-01-05 03:39:19 → distopico_ joins (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1)
2026-01-05 03:39:22 → carbolymer_ joins (~carbolyme@delirium.systems)
2026-01-05 03:39:28 → Fijxu_ joins (~Fijxu@user/fijxu)
2026-01-05 03:39:30 → ringo__ joins (~ringo@157.230.117.128)
2026-01-05 03:39:54 → Miroboru_ joins (~myrvoll@188.113.115.67)
2026-01-05 03:40:07 × notzmv quits (~umar@user/notzmv) (Ping timeout: 240 seconds)
2026-01-05 03:40:07 × distopico quits (~cerdolibr@xvm-111-150.dc2.ghst.net) (Ping timeout: 240 seconds)
2026-01-05 03:40:08 × ringo_ quits (~ringo@157.230.117.128) (Ping timeout: 240 seconds)
2026-01-05 03:40:08 distopico_ is now known as distopico
2026-01-05 03:40:08 × gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 240 seconds)
2026-01-05 03:40:08 × tomku quits (~tomku@user/tomku) (Ping timeout: 240 seconds)
2026-01-05 03:40:08 × Miroboru quits (~myrvoll@188.113.115.67) (Ping timeout: 240 seconds)
2026-01-05 03:40:08 × carbolymer quits (carbolymer@delirium.systems) (Ping timeout: 240 seconds)
2026-01-05 03:40:08 × DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Ping timeout: 240 seconds)
2026-01-05 03:40:09 × igemnace quits (~igemnace@user/igemnace) (Ping timeout: 240 seconds)
2026-01-05 03:40:09 × Fijxu quits (~Fijxu@user/fijxu) (Ping timeout: 240 seconds)
2026-01-05 03:40:09 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 240 seconds)
2026-01-05 03:40:09 × sajith_ quits (~sajith@user/sajith) (Ping timeout: 240 seconds)
2026-01-05 03:40:09 × kdlv quits (~kdlv@user/kdlv) (Ping timeout: 240 seconds)
2026-01-05 03:40:09 × synchromesh quits (~john@115.69.186.131) (Ping timeout: 240 seconds)
2026-01-05 03:40:10 kdlv3 is now known as kdlv
2026-01-05 03:40:10 DetourNe- is now known as DetourNetworkUK
2026-01-05 03:40:57 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
2026-01-05 03:41:15 × haskellbridge quits (~hackager@96.28.224.214) (Ping timeout: 240 seconds)
2026-01-05 03:41:54 → igemnace joins (~igemnace@user/igemnace)
←Prev  Next→
Page 1 .. 17304 17305 17306 17307 17308 17309 17310 17311 17312 17313 17314 .. 18007

All times are in UTC.