Logs: freenode/#haskell
| 2021-04-22 13:15:31 | × | limbo quits (ar@45.63.9.236) (Max SendQ exceeded) |
| 2021-04-22 13:16:01 | → | limbo joins (ar@45.63.9.236) |
| 2021-04-22 13:16:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-22 13:16:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-22 13:16:37 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:c959:9dca:1ed1:e2e8) |
| 2021-04-22 13:17:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-22 13:17:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-22 13:18:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-22 13:18:18 | → | son0p joins (~ff@181.136.122.143) |
| 2021-04-22 13:18:47 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-22 13:19:06 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds) |
| 2021-04-22 13:19:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-22 13:19:25 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-22 13:21:06 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:c959:9dca:1ed1:e2e8) (Ping timeout: 258 seconds) |
| 2021-04-22 13:21:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-22 13:21:28 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-22 13:21:48 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-22 13:22:29 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-04-22 13:22:35 | × | tomboy64 quits (~tomboy64@unaffiliated/tomboy64) (Ping timeout: 246 seconds) |
| 2021-04-22 13:25:39 | → | psydruid[m] joins (psydruidma@gateway/shell/matrix.org/x-dvmwnhqcosgmszks) |
| 2021-04-22 13:26:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Ping timeout: 240 seconds) |
| 2021-04-22 13:29:15 | → | tomboy64 joins (~tomboy64@unaffiliated/tomboy64) |
| 2021-04-22 13:34:11 | → | carlomagno joins (~cararell@148.87.23.9) |
| 2021-04-22 13:40:55 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds) |
| 2021-04-22 13:46:12 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-22 13:46:23 | → | mmfood joins (~mmfood@185.176.246.69) |
| 2021-04-22 13:50:35 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 246 seconds) |
| 2021-04-22 13:58:16 | × | minoru_shiraeesh quits (~shiraeesh@46.34.207.53) (Ping timeout: 252 seconds) |
| 2021-04-22 14:00:06 | × | zva quits (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-04-22 14:01:43 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-hagaqbxuugljakul) |
| 2021-04-22 14:02:52 | → | dvdp73 joins (59736826@38.104.115.89.rev.vodafone.pt) |
| 2021-04-22 14:03:16 | × | LKoen_ quits (~LKoen@11.160.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-22 14:05:01 | → | LKoen joins (~LKoen@11.160.9.109.rev.sfr.net) |
| 2021-04-22 14:07:05 | → | unyu joins (~pyon@unaffiliated/pyon) |
| 2021-04-22 14:07:25 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 2021-04-22 14:07:47 | → | zva joins (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) |
| 2021-04-22 14:12:21 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-22 14:14:56 | × | timCF quits (~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
| 2021-04-22 14:14:58 | × | unlink2 quits (~unlink2@p200300ebcf12ad00ad652fa1ddae7806.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-04-22 14:16:08 | → | unlink2 joins (~unlink2@p57b8541f.dip0.t-ipconnect.de) |
| 2021-04-22 14:18:47 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-kxxbpbiihnerjfdd) |
| 2021-04-22 14:22:23 | × | sleblanc quits (~sleblanc@unaffiliated/sebleblanc) (Quit: Leaving) |
| 2021-04-22 14:24:20 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-22 14:24:58 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-22 14:26:38 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-22 14:27:04 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-04-22 14:30:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Ping timeout: 240 seconds) |
| 2021-04-22 14:30:11 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-22 14:30:42 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 2021-04-22 14:31:07 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-22 14:32:12 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-22 14:33:04 | × | dvdp73 quits (59736826@38.104.115.89.rev.vodafone.pt) (Quit: Connection closed) |
| 2021-04-22 14:39:44 | → | bedforddriggs joins (60fa4ff9@pool-96-250-79-249.nycmny.fios.verizon.net) |
| 2021-04-22 14:40:12 | × | alx741 quits (~alx741@186.178.109.231) (Quit: alx741) |
| 2021-04-22 14:42:15 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-22 14:45:20 | → | TheCavalry joins (~TheCavalr@217.146.82.202) |
| 2021-04-22 14:45:37 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-04-22 14:46:00 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-22 14:51:43 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-ggwmryvnqwlsouwu) |
| 2021-04-22 14:52:20 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-22 14:52:55 | → | tsaka_ joins (~torstein@athedsl-4519432.home.otenet.gr) |
| 2021-04-22 14:54:21 | → | cybai joins (~cybai@2400:4050:3122:900:f13a:fdb8:499e:2b92) |
| 2021-04-22 14:56:09 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-22 14:58:45 | × | idhugo__ quits (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 2021-04-22 15:02:47 | × | zmijunkie quits (~Adium@87.122.210.20) (Ping timeout: 252 seconds) |
| 2021-04-22 15:05:23 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:4c23:9944:9bc8:e9ca) (Ping timeout: 260 seconds) |
| 2021-04-22 15:06:05 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 2021-04-22 15:06:57 | → | zmijunkie joins (~Adium@87.122.210.20) |
| 2021-04-22 15:08:30 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:4447:2758:9838:e84a) |
| 2021-04-22 15:11:58 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 2021-04-22 15:12:42 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-04-22 15:13:24 | <zzz> | i was playing with ghc and "quickly and dirtly" measuring performance of simple variations on functions, and something sparked my curiosity. i made 3 versions of a function that run as expected when compiled, but ghci intrigues me |
| 2021-04-22 15:13:36 | <zzz> | https://gist.github.com/jrvieira/2820b46856ba1ec89453946557b0f427 |
| 2021-04-22 15:14:13 | <zzz> | the second function runs faster than the third in ghci. anyone knows why? this is pure curiosity |
| 2021-04-22 15:17:03 | <c_wraith> | zzz: ghci will use compiled code if it already exists, but interprets code if it can't find a compiled version. |
| 2021-04-22 15:17:17 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:a107:fd5c:d069:77e4) |
| 2021-04-22 15:17:25 | <c_wraith> | zzz: this matters because it knows where to find compiled code for map, which saves it from having to interpret all those list manipulations |
| 2021-04-22 15:18:04 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:f641:c40f:5016:aacb) |
| 2021-04-22 15:18:24 | <zzz> | nice |
| 2021-04-22 15:19:01 | <zzz> | thanks, that was a uch simple answer than what i expected |
| 2021-04-22 15:19:11 | <zzz> | much simpler |
| 2021-04-22 15:19:32 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds) |
| 2021-04-22 15:21:51 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:a107:fd5c:d069:77e4) (Ping timeout: 258 seconds) |
| 2021-04-22 15:22:24 | <merijn> | And the interpreted bytecode doesn't get the same level of optimisation as compiled code, which is why benchmarking stuff in ghci is also generally unwise if you care about real answers :) |
| 2021-04-22 15:23:36 | <merijn> | zzz: Also a plug for benchmarking stuff with some degree of accuracy: http://www.serpentine.com/criterion/ https://hackage.haskell.org/package/criterion |
| 2021-04-22 15:24:08 | <zzz> | i am aware! as i said, i was just playing around |
| 2021-04-22 15:24:21 | <merijn> | Sure, just pointing it out for the future :) |
| 2021-04-22 15:26:55 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-22 15:27:53 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-22 15:28:10 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 265 seconds) |
| 2021-04-22 15:28:54 | <zzz> | follow up question, while we are at it: any reason not to automate this optimization (from the 2nd to the 3rd function)? |
| 2021-04-22 15:30:31 | <zzz> | my intuition is that it would be something the compiler could do fairly straight forwardly |
| 2021-04-22 15:30:33 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:5c9e:8d21:d745:3944) |
| 2021-04-22 15:31:05 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:5c9e:8d21:d745:3944) (Remote host closed the connection) |
| 2021-04-22 15:31:11 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-22 15:31:55 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:5c9e:8d21:d745:3944) |
| 2021-04-22 15:32:27 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-22 15:32:31 | <tomsmeding> | zzz: your second and third function do something different, they produce the result list in a different order |
| 2021-04-22 15:33:53 | <tomsmeding> | % let s1 [] = [[]]; s1 (x:xs) = let ss = s1 xs in map (x :) ss ++ ss |
| 2021-04-22 15:33:54 | <yahb> | tomsmeding: |
All times are in UTC.