Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 626 627 628 629 630 631 632 633 634 635 636 .. 5022
— 502,152 events total
2020-10-14 05:40:18 → ransom joins (~c4264035@2601:285:201:6720:b9b9:8efc:c990:6389)
2020-10-14 05:40:18 × ransom quits (~c4264035@2601:285:201:6720:b9b9:8efc:c990:6389) (Client Quit)
2020-10-14 05:40:57 hackage hasql-dynamic-statements 0.3.1 - Toolkit for constructing Hasql statements dynamically https://hackage.haskell.org/package/hasql-dynamic-statements-0.3.1 (NikitaVolkov)
2020-10-14 05:42:21 × zacts quits (~zacts@dragora/developer/zacts) (Client Quit)
2020-10-14 05:42:41 → MaxRos joins (~MaxRos@147.161.9.19)
2020-10-14 05:49:08 → coot joins (~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl)
2020-10-14 05:52:34 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-14 05:53:01 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-14 05:54:34 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-14 05:55:07 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-14 05:58:43 → lucid_0x80 joins (~lucid_0x8@188.253.234.40)
2020-10-14 05:59:12 → nshepperd_ joins (nshepperd@gateway/vpn/mullvad/nshepperd)
2020-10-14 06:00:00 × polyrain quits (~polyrain@2001:8003:e501:6901:8a4:c02:960d:e633) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 06:00:02 × Guest74954 quits (~Amanda@89.47.234.28) ()
2020-10-14 06:03:53 × andyo quits (~andyo@63.228.117.102) (Quit: ZNC 1.7.2 - https://znc.in)
2020-10-14 06:06:51 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 06:07:56 → bahamas joins (~lucian@188.24.181.166)
2020-10-14 06:07:56 × bahamas quits (~lucian@188.24.181.166) (Changing host)
2020-10-14 06:07:56 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-10-14 06:07:57 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-14 06:10:15 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-14 06:10:32 → alp joins (~alp@2a01:e0a:58b:4920:4156:d7c3:7d69:834f)
2020-10-14 06:12:17 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-14 06:13:01 → andyo joins (~andyo@63.228.117.102)
2020-10-14 06:15:16 × danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-14 06:16:27 → danso joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-14 06:23:13 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2020-10-14 06:23:34 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
2020-10-14 06:25:32 × stree_ quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-14 06:25:50 → stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-14 06:27:07 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 260 seconds)
2020-10-14 06:31:12 × ericsagnes quits (~ericsagne@2405:6580:0:5100:685a:f875:708d:3e) (Ping timeout: 260 seconds)
2020-10-14 06:32:20 → yoneda joins (~mike@193.206.102.122)
2020-10-14 06:36:11 × echoreply quits (~echoreply@unaffiliated/echoreply) (Quit: WeeChat 1.9.1)
2020-10-14 06:36:45 → echoreply joins (~echoreply@unaffiliated/echoreply)
2020-10-14 06:39:15 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 06:42:26 × jespada quits (~jespada@90.254.245.15) (Ping timeout: 260 seconds)
2020-10-14 06:43:35 → ericsagnes joins (~ericsagne@2405:6580:0:5100:2ccc:ea8:345f:1a82)
2020-10-14 06:45:27 → jespada joins (~jespada@90.254.245.15)
2020-10-14 06:45:57 hackage stm-incremental 0.1.0.0 - A library for constructing incremental computations https://hackage.haskell.org/package/stm-incremental-0.1.0.0 (sgschlesinger)
2020-10-14 06:48:02 → zacts joins (~zacts@dragora/developer/zacts)
2020-10-14 06:48:27 hackage stm-incremental 0.1.0.1 - A library for constructing incremental computations https://hackage.haskell.org/package/stm-incremental-0.1.0.1 (sgschlesinger)
2020-10-14 06:48:46 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-14 06:56:26 → jwheare1 joins (~jwheare@178.162.212.214)
2020-10-14 06:56:47 × noecho quits (~noecho@2a01:4f8:1c0c:80ee::4223) (Quit: ZNC - http://znc.in)
2020-10-14 06:57:18 → noecho joins (~noecho@2a01:4f8:1c0c:80ee::4223)
2020-10-14 06:58:44 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9)
2020-10-14 07:00:44 → ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 07:01:10 → mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-14 07:01:33 × xff0x quits (~fox@2001:1a81:531c:4c00:832:9834:d4e8:1bdd) (Ping timeout: 260 seconds)
2020-10-14 07:03:37 → danvet_ joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-14 07:04:20 × danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Quit: WeeChat 2.9)
2020-10-14 07:05:55 × ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 272 seconds)
2020-10-14 07:09:36 → cpressey joins (~cpressey@88.144.93.125)
2020-10-14 07:10:28 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 272 seconds)
2020-10-14 07:13:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-14 07:17:11 nitrix-or-treat is now known as nitrix
2020-10-14 07:17:19 × alp quits (~alp@2a01:e0a:58b:4920:4156:d7c3:7d69:834f) (Ping timeout: 272 seconds)
2020-10-14 07:17:36 → John20 joins (~John@82.46.59.122)
2020-10-14 07:18:19 → alp joins (~alp@2a01:e0a:58b:4920:59cf:b2e0:b34d:24ff)
2020-10-14 07:19:57 × cpressey quits (~cpressey@88.144.93.125) (Quit: WeeChat 1.9.1)
2020-10-14 07:20:09 → dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-10-14 07:22:18 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-14 07:23:08 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-14 07:24:21 → joel135 joins (sid136450@gateway/web/irccloud.com/x-revgtfychtzqfixn)
2020-10-14 07:25:07 <joel135> Is there a way to show desugared code in ghci?
2020-10-14 07:25:17 <joel135> e.g. [x^2 | x <- [1..], then take 10]
2020-10-14 07:25:22 × rprije quits (~rprije@203.214.95.251) (Ping timeout: 260 seconds)
2020-10-14 07:25:53 → rprije joins (~rprije@14-203-72-60.tpgi.com.au)
2020-10-14 07:27:04 <dminuoso> % :set -ddump-ds
2020-10-14 07:27:05 <yahb> dminuoso:
2020-10-14 07:27:05 <[exa]> joel135: there's ghc option -ddump-core (or similar), not sure about ghci though
2020-10-14 07:27:13 <[exa]> o nice
2020-10-14 07:27:14 <dminuoso> % take 1 [x^2 | x <- [1..]]
2020-10-14 07:27:15 <yahb> dminuoso: ; ==================== Desugared ====================; let {; $dEnum_aJNX :: GHC.Enum.Enum GHC.Integer.Type.Integer; [LclId]; $dEnum_aJNX = GHC.Enum.$fEnumInteger } in; let {; $dNum_aJNW :: GHC.Num.Num GHC.Integer.Type.Integer; [LclId]; $dNum_aJNW = GHC.Num.$fNumInteger } in; let {; $dShow_aJNZ :: GHC.Show.Show GHC.Integer.Type.Integer; [LclId]; $dShow_aJNZ = GHC.Show.$fShowInteger } in; let {
2020-10-14 07:27:38 <dminuoso> joel135: Note, yahb is just a GHCi bot. :)
2020-10-14 07:28:07 → polyrain joins (~polyrain@2001:8003:e501:6901:65d3:a281:acef:914d)
2020-10-14 07:30:05 → chaosmasttter joins (~chaosmast@p200300c4a711b0010d42da9e3e5834d3.dip0.t-ipconnect.de)
2020-10-14 07:30:07 <joel135> that's a LOT of code
2020-10-14 07:30:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 07:30:46 <dminuoso> joel135: The thing is, you're seeing a sort of intermediate language here.
2020-10-14 07:31:17 <dminuoso> Everything is explicitly typed, all types are displayed using fully qualified names
2020-10-14 07:31:30 <dminuoso> Dictionaries (typeclass instances) are made explicit
2020-10-14 07:33:13 <dminuoso> (We call this intermediate language Core)
2020-10-14 07:33:58 <dminuoso> If you wanted a semantical desugaring (according to the Haskell report), you can use @undo from lambdabot
2020-10-14 07:34:06 <dminuoso> @undo [x^2 | x <- [1..]]
2020-10-14 07:34:06 <lambdabot> concatMap (\ x -> [x ^ 2]) [1 ..]
2020-10-14 07:34:23 <joel135> @undo [x^2 | x <- [1..], mod x 2 == 1, then take 10]
2020-10-14 07:34:32 <dminuoso> joel135: What is that `then take 10` at the end?
2020-10-14 07:34:38 <joel135> https://gitlab.haskell.org/ghc/ghc/-/wikis/monad-comprehensions
2020-10-14 07:34:45 <joel135> ^ I heard about it today.
2020-10-14 07:34:47 → xff0x joins (~fox@217.110.198.158)
2020-10-14 07:35:06 <dminuoso> The gitlab wiki is so awfully slow.
2020-10-14 07:35:33 <joel135> % :set -XTransformListComp
2020-10-14 07:35:33 <yahb> joel135:
2020-10-14 07:36:05 × Techcable quits (znc@irc.techcable.net) (Quit: ZNC - http://znc.in)
2020-10-14 07:36:07 <dminuoso> joel135: I see, @undo is not aware of monad comprehensions afaik
2020-10-14 07:36:26 × shatriff quits (~vitaliish@176.52.219.10) (Ping timeout: 272 seconds)
2020-10-14 07:36:37 → shatriff joins (~vitaliish@176.52.219.10)
2020-10-14 07:36:40 <dminuoso> At any rate, this will desugar to:
←Prev  Next→
Page 1 .. 626 627 628 629 630 631 632 633 634 635 636 .. 5022

All times are in UTC.