Logs: freenode/#haskell
| 2020-10-28 07:05:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2020-10-28 07:06:56 | → | jedws joins (~jedws@101.184.193.144) |
| 2020-10-28 07:11:32 | → | _vaibhavingale_1 joins (~Adium@203.188.228.9) |
| 2020-10-28 07:12:05 | × | _vaibhavingale_ quits (~Adium@42.106.216.64) (Read error: Connection reset by peer) |
| 2020-10-28 07:15:14 | → | alp joins (~alp@2a01:e0a:58b:4920:b56f:71bb:e7ea:75f0) |
| 2020-10-28 07:15:29 | × | nsyde quits (~nsyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-10-28 07:16:04 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-10-28 07:22:36 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-28 07:24:57 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-10-28 07:26:14 | × | sfvm quits (~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine) |
| 2020-10-28 07:27:05 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds) |
| 2020-10-28 07:27:56 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-28 07:27:56 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-28 07:27:56 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-28 07:29:04 | → | ulidtko|k joins (~ulidtko@193.111.48.79) |
| 2020-10-28 07:29:20 | × | ulidtko quits (~ulidtko@193.111.48.79) (Remote host closed the connection) |
| 2020-10-28 07:32:09 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-28 07:32:36 | → | chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) |
| 2020-10-28 07:35:27 | hackage | deriving-show-simple 0 - Derive a Show instance without field selector names https://hackage.haskell.org/package/deriving-show-simple-0 (FumiakiKinoshita) |
| 2020-10-28 07:38:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-28 07:44:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2020-10-28 07:46:45 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 240 seconds) |
| 2020-10-28 07:46:50 | × | polyrain quits (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-28 07:49:07 | → | idhugo joins (~idhugo@563472ae.rev.stofanet.dk) |
| 2020-10-28 07:49:38 | → | mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 2020-10-28 07:50:31 | → | dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) |
| 2020-10-28 07:50:57 | hackage | hslua-module-doclayout 0.2.0.1 - Lua module wrapping Text.DocLayout. https://hackage.haskell.org/package/hslua-module-doclayout-0.2.0.1 (tarleb) |
| 2020-10-28 07:55:00 | × | idhugo quits (~idhugo@563472ae.rev.stofanet.dk) (Read error: Connection reset by peer) |
| 2020-10-28 07:55:12 | → | idhugo joins (~idhugo@563472ae.rev.stofanet.dk) |
| 2020-10-28 07:55:27 | × | Lord_of_Life quits (~Lord@46.217.221.153) (Changing host) |
| 2020-10-28 07:55:27 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2020-10-28 07:56:28 | → | rinwa joins (~rinwa@5.102.238.236) |
| 2020-10-28 07:57:48 | × | xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2020-10-28 07:59:53 | × | idhugo quits (~idhugo@563472ae.rev.stofanet.dk) (Ping timeout: 260 seconds) |
| 2020-10-28 08:03:23 | → | raichoo joins (~raichoo@213.240.178.58) |
| 2020-10-28 08:03:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-28 08:04:02 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 2020-10-28 08:10:05 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-10-28 08:13:05 | × | avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-28 08:13:17 | <dminuoso> | binary question, when I have a tree of Get primitives, is there a good rule of thumb where to isolate? |
| 2020-10-28 08:14:47 | → | idhugo joins (~idhugo@users-1190.st.net.au.dk) |
| 2020-10-28 08:16:25 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2020-10-28 08:18:05 | × | jespada quits (~jespada@90.254.243.98) (Ping timeout: 258 seconds) |
| 2020-10-28 08:20:47 | → | jespada joins (~jespada@90.254.243.98) |
| 2020-10-28 08:23:06 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-28 08:28:25 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-10-28 08:29:57 | <eedgit> | Why are these named 'op' / 'e' - is it completely random or does it have some significance? (can't google 'cause its too short :( ) |
| 2020-10-28 08:29:57 | <eedgit> | https://dpaste.org/cht0 |
| 2020-10-28 08:30:31 | <dminuoso> | The 'e' is likely random |
| 2020-10-28 08:30:39 | <dminuoso> | And 'op' is just to suggest this is likely to be used with some kind of "operator" |
| 2020-10-28 08:30:45 | <dminuoso> | Think: |
| 2020-10-28 08:30:52 | <dminuoso> | % foldr (+) 0 [1,2,3,4,5] |
| 2020-10-28 08:30:52 | <yahb> | dminuoso: 15 |
| 2020-10-28 08:31:27 | <eedgit> | thank you! I thought that might be operator. Is there a big list of commonly used vars / built in ones |
| 2020-10-28 08:31:36 | <eedgit> | To a novice it's like staring at a bowl of alphabet soup sometimes |
| 2020-10-28 08:35:38 | <merijn> | eedgit: I don't think there is a list, some common ones would be f/g/h for functions, i/j/k for indices, any single letter for just "a value of some polymorphic type" |
| 2020-10-28 08:36:10 | <merijn> | eedgit: oh, and of course the (x:xs) idiom (following from 1 item, multiple itemS you get 1 x, multiple xS) |
| 2020-10-28 08:36:22 | → | kish joins (~oracle@unaffiliated/oracle) |
| 2020-10-28 08:38:28 | <merijn> | eedgit: I might call the 'e' "acc" (for accumulator or something), but it's not really clear what a "better" name would be. |
| 2020-10-28 08:39:56 | <eedgit> | `acc` is much better thanks |
| 2020-10-28 08:41:11 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-10-28 08:41:32 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-10-28 08:44:02 | → | polyrain joins (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c) |
| 2020-10-28 08:44:32 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2020-10-28 08:46:03 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2020-10-28 08:46:07 | × | jedws quits (~jedws@101.184.193.144) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-28 08:46:49 | → | FreeBirdLjj joins (~freebirdl@101.228.42.108) |
| 2020-10-28 08:47:07 | <dminuoso> | eedgit: I tend to not like `acc` because it leads to a more imperative thinking. |
| 2020-10-28 08:47:56 | <dminuoso> | https://wiki.haskell.org/wikiupload/3/3e/Right-fold-transformation.png |
| 2020-10-28 08:48:28 | <dminuoso> | So if we foldr a list, then that second argument really is just what the empty list at the end gets replaced with. |
| 2020-10-28 08:51:22 | × | FreeBirdLjj quits (~freebirdl@101.228.42.108) (Ping timeout: 265 seconds) |
| 2020-10-28 08:52:33 | → | avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-28 08:53:19 | × | avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Client Quit) |
| 2020-10-28 08:53:51 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-10-28 08:54:32 | <tomsmeding> | "imperative thinking" certainly fits the time of year, does it not? |
| 2020-10-28 08:55:06 | <merijn> | Nothing wrong with imperative Haskell :) |
| 2020-10-28 08:55:10 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-28 08:56:56 | <merijn> | https://twitter.com/k0001/status/1295846402648682496 :p |
| 2020-10-28 08:57:49 | → | _vaibhavingale_ joins (~Adium@203.188.228.9) |
| 2020-10-28 08:58:22 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2020-10-28 08:58:49 | → | jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 2020-10-28 08:58:52 | <tomsmeding> | lol |
| 2020-10-28 08:59:10 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-hxonwkkgkhrxlnbv) (Quit: Connection closed for inactivity) |
| 2020-10-28 08:59:21 | <tomsmeding> | depends on the domain of course |
| 2020-10-28 08:59:23 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2020-10-28 08:59:37 | × | _vaibhavingale_1 quits (~Adium@203.188.228.9) (Ping timeout: 264 seconds) |
| 2020-10-28 08:59:38 | <Rembane> | As long as you don't think imperitavel... yeah... you can program using the style. *nods sagely* |
| 2020-10-28 09:00:02 | × | m4v1 quits (~m4v@185.244.214.217) () |
| 2020-10-28 09:00:59 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 2020-10-28 09:01:08 | <eedgit> | dminuoso that's hurting my head a bit. Is the distinction you're making that it's 'folded' into the end, rather than accumulated in a new variable? |
| 2020-10-28 09:02:42 | <tomsmeding> | eedgit: 'foldr op e l' really just replaces the (:) in l with op, and the [] in l with e |
| 2020-10-28 09:03:14 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-28 09:03:26 | <tomsmeding> | foldr op e (1 : (2 : (3 : [])) = 1 `op` (2 `op` (3 `op` e)) |
| 2020-10-28 09:03:30 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-28 09:03:30 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-28 09:03:30 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-28 09:03:44 | <tomsmeding> | hence 'e' for "empty list" |
| 2020-10-28 09:04:28 | <tomsmeding> | oh that's what the picture says, lol |
| 2020-10-28 09:04:46 | <eedgit> | ahh ok, think I've got it (*whiteboarding intensifies*) |
| 2020-10-28 09:04:49 | <eedgit> | ty |
All times are in UTC.