Logs: freenode/#haskell
| 2021-03-12 20:57:15 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:6cfb:c91f:3c9a:a8cb) |
| 2021-03-12 20:57:51 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-12 20:58:00 | × | Alleria_ quits (~AllahuAkb@2603-7000-3040-0000-49c8-a343-3d41-8b5a.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-03-12 20:58:34 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-12 20:58:45 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 264 seconds) |
| 2021-03-12 20:58:55 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-12 20:59:49 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-03-12 21:00:44 | <dmj`> | whatever happened to the haskellers of yore |
| 2021-03-12 21:01:05 | <geekosaur> | hired, mostly :) |
| 2021-03-12 21:01:10 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-12 21:01:52 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-12 21:02:10 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-12 21:03:12 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-12 21:03:33 | × | michaelh quits (~user@ip-109-42-114-163.web.vodafone.de) (Ping timeout: 264 seconds) |
| 2021-03-12 21:03:57 | → | Alleria_ joins (~AllahuAkb@2603-7000-3040-0000-258c-2a70-8204-6956.res6.spectrum.com) |
| 2021-03-12 21:04:13 | × | tomku quits (~tomku@unaffiliated/tomku) (Quit: Lost terminal) |
| 2021-03-12 21:04:19 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-03-12 21:04:57 | × | borne quits (~fritjof@2a06:8782:ffbb:1337:e811:68d9:a46:a27f) (Ping timeout: 260 seconds) |
| 2021-03-12 21:06:19 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds) |
| 2021-03-12 21:06:54 | → | borne joins (~fritjof@200116b86456970065fd8eaafdc5f06e.dip.versatel-1u1.de) |
| 2021-03-12 21:07:32 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-12 21:07:52 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-12 21:08:23 | → | fendor_ joins (~fendor@178.115.131.242.wireless.dyn.drei.com) |
| 2021-03-12 21:10:48 | × | fendor quits (~fendor@77.119.131.133.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2021-03-12 21:10:57 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) |
| 2021-03-12 21:11:55 | × | Lycurgus quits (~niemand@98.4.114.199) (Quit: Exeunt) |
| 2021-03-12 21:13:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-12 21:14:26 | atk | is now known as tak |
| 2021-03-12 21:14:31 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-12 21:14:50 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-12 21:15:17 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-12 21:15:26 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-12 21:15:29 | <dmj`> | geekosaur: that or rust ;) |
| 2021-03-12 21:15:48 | <dmj`> | or professional JIRA ticket managers |
| 2021-03-12 21:15:48 | × | ixlun quits (~user@109.249.184.132) (Ping timeout: 256 seconds) |
| 2021-03-12 21:15:49 | → | Nahra joins (~Nahra@unaffiliated/nahra) |
| 2021-03-12 21:16:48 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-12 21:18:50 | → | redmp joins (~redmp@172.58.35.49) |
| 2021-03-12 21:18:57 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-12 21:19:05 | → | tomku joins (~tomku@unaffiliated/tomku) |
| 2021-03-12 21:19:16 | → | ixlun joins (~user@109.249.184.132) |
| 2021-03-12 21:19:29 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-12 21:19:43 | → | __minoru__shirae joins (~shiraeesh@109.166.56.60) |
| 2021-03-12 21:21:14 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-fbxhtxpvbmlflnip) |
| 2021-03-12 21:21:39 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-12 21:22:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) (Remote host closed the connection) |
| 2021-03-12 21:23:18 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-12 21:23:37 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-12 21:24:13 | × | ixlun quits (~user@109.249.184.132) (Ping timeout: 245 seconds) |
| 2021-03-12 21:25:45 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 264 seconds) |
| 2021-03-12 21:26:26 | × | xff0x quits (~xff0x@2001:1a81:520c:1100:b717:e343:40b1:857a) (Ping timeout: 264 seconds) |
| 2021-03-12 21:27:15 | → | xff0x joins (~xff0x@2001:1a81:520c:1100:e227:e5f8:bb4c:3b9b) |
| 2021-03-12 21:28:16 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 2021-03-12 21:28:21 | → | ixlun joins (~user@109.249.184.132) |
| 2021-03-12 21:31:03 | × | rj quits (~x@gateway/tor-sasl/rj) (Remote host closed the connection) |
| 2021-03-12 21:31:13 | × | ADG1089__ quits (~aditya@223.226.229.230) (Remote host closed the connection) |
| 2021-03-12 21:31:25 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-12 21:32:56 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) |
| 2021-03-12 21:33:37 | × | ixlun quits (~user@109.249.184.132) (Ping timeout: 276 seconds) |
| 2021-03-12 21:35:17 | → | kam1 joins (~kam1@83.123.154.198) |
| 2021-03-12 21:35:52 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-12 21:36:23 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 2021-03-12 21:37:26 | → | ixlun joins (~user@109.249.184.132) |
| 2021-03-12 21:38:02 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-12 21:38:11 | <sparsity> | I was wanting to discuss Sum Trees |
| 2021-03-12 21:38:42 | × | Nahra quits (~Nahra@unaffiliated/nahra) (Quit: leaving) |
| 2021-03-12 21:38:43 | <sparsity> | these can be introduced as indexes over Trees |
| 2021-03-12 21:39:37 | <wz1000> | dmj`: wouldn't your solution involving foldl also leak? even though the function is strict, its result is never forced. You have to use foldl' still |
| 2021-03-12 21:39:47 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:b401:41f7:a4d0:94d7) |
| 2021-03-12 21:41:10 | <wz1000> | oh, you are relying on the magic of the demand analyser |
| 2021-03-12 21:41:10 | × | xff0x quits (~xff0x@2001:1a81:520c:1100:e227:e5f8:bb4c:3b9b) (Remote host closed the connection) |
| 2021-03-12 21:41:17 | <sparsity> | and extending Trees to higher dimensional Trees of Hinz, by having n dimensional trees as branches to n+1 dimensional trees, again their Sum versions can be used as indexes |
| 2021-03-12 21:41:20 | <wz1000> | but you can trip it up often though |
| 2021-03-12 21:41:28 | → | xff0x joins (~xff0x@2001:1a81:520c:1100:a1d8:2af1:7428:6b99) |
| 2021-03-12 21:41:43 | <wz1000> | using a simple condition so the result of the foldl isn't always guaranteed to be evaluated |
| 2021-03-12 21:41:49 | → | redmp_ joins (~redmp@172.58.30.247) |
| 2021-03-12 21:43:11 | <sparsity> | eg Int as an index over list is a choice between *lists* of () of different lengths, equivalent to the Sum choice of one of the values |
| 2021-03-12 21:43:18 | <dmj`> | wz1000: It should yea, but when compiling with -O2 it doesn't seem to be a problem for some reason. But I'd tend to agree. |
| 2021-03-12 21:43:36 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) (Remote host closed the connection) |
| 2021-03-12 21:44:14 | <dmj`> | @def avg = \xs -> uncurry (/) $ foldl' (\(!x,!y) n -> (x + n, y + 1)) (0,0) xs |
| 2021-03-12 21:44:16 | <lambdabot> | Defined. |
| 2021-03-12 21:44:24 | <dmj`> | > avg [0..1e6] |
| 2021-03-12 21:44:27 | <lambdabot> | 500000.0 |
| 2021-03-12 21:44:45 | × | redmp quits (~redmp@172.58.35.49) (Ping timeout: 246 seconds) |
| 2021-03-12 21:45:16 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds) |
| 2021-03-12 21:45:18 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-12 21:45:27 | × | Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-12 21:45:57 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-12 21:46:17 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-12 21:46:29 | → | blueonyx joins (b9d4ab4b@unaffiliated/blueonyx) |
| 2021-03-12 21:46:43 | <dmj`> | wz1000: going to try foldl w/o optimizations |
| 2021-03-12 21:46:50 | <dmj`> | see if I can oom |
| 2021-03-12 21:47:21 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-12 21:47:55 | × | ixlun quits (~user@109.249.184.132) (Ping timeout: 276 seconds) |
| 2021-03-12 21:47:56 | <wz1000> | dmj`: if you replace `uncurry (/)` with a function that doesn't always strictly eval the tuple, no level of optimisation will get ghc to fix it |
| 2021-03-12 21:48:55 | <wz1000> | I'm pretty sure even with `uncurry (/)` it won't work if the function isn't monomorphic and GHC doesn't/can't specialise |
| 2021-03-12 21:49:43 | <wz1000> | So try defining a polymorphic version in module A with {-# NOINLINE #-} and then using it in module B, and it will OOM |
| 2021-03-12 21:50:08 | <wz1000> | In my haskell interview I was asked what the problem with this bit of code was: `f (xs :: [Int]) = sum . filter (==1) <$> traverse (\x -> if cond then Just x else Nothing) xs` |
| 2021-03-12 21:52:08 | × | alx741 quits (~alx741@186.178.108.206) (Ping timeout: 245 seconds) |
| 2021-03-12 21:52:52 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
All times are in UTC.