Logs: liberachat/#haskell
| 2021-06-28 18:30:00 | → | haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-06-28 18:30:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-28 18:31:24 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-06-28 18:31:40 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-28 18:32:03 | → | trcc joins (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
| 2021-06-28 18:32:07 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-28 18:32:08 | <safinaskar> | but ghc can output good assembly. why it cannot output good llvm? |
| 2021-06-28 18:32:23 | <geekosaur> | because llvm is not assembly |
| 2021-06-28 18:32:50 | <safinaskar> | is there some blog article on this? |
| 2021-06-28 18:32:53 | <geekosaur> | it's an intermediate representation which gets translated to assembly later on. and that transl;ation is what gets pessimized when the IR is CPS-transformed |
| 2021-06-28 18:33:04 | <geekosaur> | probably but you'll need to go back a few years |
| 2021-06-28 18:33:06 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-28 18:34:29 | × | trcc quits (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Client Quit) |
| 2021-06-28 18:34:34 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 268 seconds) |
| 2021-06-28 18:35:07 | × | lbseale quits (~lbseale@user/ep1ctetus) (Remote host closed the connection) |
| 2021-06-28 18:35:33 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-06-28 18:35:42 | × | alx741 quits (~alx741@186.178.109.202) (Quit: alx741) |
| 2021-06-28 18:36:03 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-06-28 18:38:16 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-28 18:40:47 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-06-28 18:40:51 | <safinaskar> | geekosaur: thanks |
| 2021-06-28 18:40:56 | ← | safinaskar parts (~safinaska@109.252.90.89) () |
| 2021-06-28 18:42:02 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-06-28 18:42:09 | <zzz> | i wish length/size belonged to a Sizeable class or something |
| 2021-06-28 18:42:13 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-06-28 18:42:48 | → | alx741 joins (~alx741@186.178.109.202) |
| 2021-06-28 18:43:25 | <tomsmeding> | more general than Foldable? |
| 2021-06-28 18:43:40 | × | alx741 quits (~alx741@186.178.109.202) (Client Quit) |
| 2021-06-28 18:44:01 | → | alx741 joins (~alx741@186.178.109.202) |
| 2021-06-28 18:44:02 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2021-06-28 18:44:11 | → | P1RATEZ joins (piratez@user/p1ratez) |
| 2021-06-28 18:44:41 | <zzz> | wait a minute... |
| 2021-06-28 18:44:46 | <tomsmeding> | :t length |
| 2021-06-28 18:44:47 | <lambdabot> | error: |
| 2021-06-28 18:44:47 | <lambdabot> | Ambiguous occurrence ‘length’ |
| 2021-06-28 18:44:47 | <lambdabot> | It could refer to |
| 2021-06-28 18:44:57 | <tomsmeding> | :t Data.Foldable.length |
| 2021-06-28 18:44:58 | <lambdabot> | Foldable t => t a -> Int |
| 2021-06-28 18:45:12 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-28 18:46:35 | <zzz> | tomsmeding: thank you for your rubber ducking services |
| 2021-06-28 18:46:46 | → | ziman joins (~ziman@c25-5.condornet.sk) |
| 2021-06-28 18:48:41 | <tomsmeding> | zzz: I have a small collection of them so glad to serve |
| 2021-06-28 18:48:56 | <zzz> | :) i could have sworn i couldn't do length on Sets |
| 2021-06-28 18:49:20 | <geekosaur> | once upon a time you couldn't,, then came Foldable |
| 2021-06-28 18:49:48 | × | DNH quits (~DNH@2a09:bac0:48::82b:7a06) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-28 18:51:07 | × | neurocyte quits (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat) |
| 2021-06-28 18:51:36 | <tomsmeding> | is ,, what happens when you merge , and ... ? |
| 2021-06-28 18:52:02 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e) (Remote host closed the connection) |
| 2021-06-28 18:52:17 | × | ziman quits (~ziman@c25-5.condornet.sk) (Changing host) |
| 2021-06-28 18:52:17 | → | ziman joins (~ziman@user/ziman) |
| 2021-06-28 18:52:20 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-28 18:52:57 | × | mekeor quits (~user@2001:a61:3430:c01:f86:cca7:c1fe:e2b4) (Ping timeout: 250 seconds) |
| 2021-06-28 18:53:05 | <geekosaur> | roughly |
| 2021-06-28 18:54:37 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-28 18:57:55 | <janus> | zzz: in idris length is for lists only, weirdly enough. would have expected it to be the other way around between haskell and idris |
| 2021-06-28 18:58:43 | <janus> | fresheyeball: i think you're supposed to look at the rule firings in ghc logs |
| 2021-06-28 18:59:31 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-06-28 19:01:10 | <geekosaur> | safinaskar, I think you want to read up on LLVM IR and what happens to it. LLVM follows known patterns in IR to optimally translate it to native assembler, but it doesn't understand ghc's CPS-transformed patterns so it outputs conservative assembler instead of optimized. |
| 2021-06-28 19:03:24 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-06-28 19:14:17 | <monochrom> | zzz: (shameless plug) My course notes on Foldable: file:///home/trebla/courses-taught/2021-5/CSCC24/web/05-haskell-fold.html#foldable-part-1 |
| 2021-06-28 19:14:24 | → | thelounge92306 joins (~thelounge@cpe-75-85-161-60.san.res.rr.com) |
| 2021-06-28 19:15:29 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 250 seconds) |
| 2021-06-28 19:15:31 | <monochrom> | Also thank you for asking about length. That inspired me a much needed midterm test question. And the midterm test is in 2 hours. |
| 2021-06-28 19:15:48 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-28 19:16:20 | <tomsmeding> | I hope that midterm doesn't need to get approved by some board or other :p |
| 2021-06-28 19:18:10 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 272 seconds) |
| 2021-06-28 19:18:33 | × | cyclosa quits (~cyclosa@2603-6011-4a41-8ada-0000-0000-0000-0eaa.res6.spectrum.com) (Quit: computer broke) |
| 2021-06-28 19:21:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-28 19:21:54 | × | mastarija quits (~mastarija@31.217.22.187) (Quit: Leaving) |
| 2021-06-28 19:24:33 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-28 19:25:25 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-28 19:27:30 | <zzz> | monochrom: got an http link for that? |
| 2021-06-28 19:27:45 | <janus> | monochrom: i don't have your home folder mounted... yet |
| 2021-06-28 19:27:47 | → | DNH joins (~DNH@8.43.122.6) |
| 2021-06-28 19:28:06 | × | fendor quits (~fendor@77.119.197.237.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-28 19:29:26 | → | zeenk joins (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-06-28 19:29:45 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-28 19:31:39 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 2021-06-28 19:32:23 | × | DNH quits (~DNH@8.43.122.6) (Ping timeout: 265 seconds) |
| 2021-06-28 19:32:35 | <janus> | hmm the 404 page for vex.net is redirecting ... so annoying... |
| 2021-06-28 19:33:36 | → | ubert joins (~Thunderbi@p548c937f.dip0.t-ipconnect.de) |
| 2021-06-28 19:35:45 | <monochrom> | Oh oops I see haha |
| 2021-06-28 19:36:00 | <monochrom> | http://www.cs.utoronto.ca/~trebla/CSCC24-2021-Summer/05-haskell-fold.html#foldable-part-1 |
| 2021-06-28 19:36:49 | → | Pickchea joins (~private@user/pickchea) |
| 2021-06-28 19:38:44 | <DigitalKiwi> | weird, the first link works for me |
| 2021-06-28 19:38:51 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Quit: Leaving) |
| 2021-06-28 19:40:28 | × | Guest9 quits (~Guest9@103.250.145.230) (Quit: Connection closed) |
| 2021-06-28 19:40:41 | → | neurocyte joins (~neurocyte@user/neurocyte) |
| 2021-06-28 19:41:10 | × | zava quits (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2021-06-28 19:42:13 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-28 19:43:48 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-28 19:48:39 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-28 19:51:02 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds) |
| 2021-06-28 19:51:28 | → | MQ-17J joins (~MQ-17J@2607:fb90:888a:8184:61c1:5559:6114:eee0) |
| 2021-06-28 19:52:31 | → | Deide joins (~Deide@user/deide) |
| 2021-06-28 19:52:32 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e) |
| 2021-06-28 19:52:33 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-28 19:53:01 | <tomsmeding> | dual personality? |
| 2021-06-28 19:56:05 | → | safinaskar joins (~safinaska@109.252.90.89) |
| 2021-06-28 19:56:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
All times are in UTC.