Logs: freenode/#haskell
| 2020-09-29 04:24:32 | → | adam_wespiser joins (~adam_wesp@209.6.42.110) |
| 2020-09-29 04:25:35 | → | benet8 joins (~lubuntu@179.176.72.238.dynamic.adsl.gvt.net.br) |
| 2020-09-29 04:25:48 | → | sepi joins (49dc4892@c-73-220-72-146.hsd1.ca.comcast.net) |
| 2020-09-29 04:26:48 | <benet8> | on |
| 2020-09-29 04:27:25 | <sepi> | My bad got disconnected didn't realize. thanks for the assistance Haskell is a little clearer than when I woke this morning |
| 2020-09-29 04:28:12 | × | Orbstheorem quits (~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 260 seconds) |
| 2020-09-29 04:30:03 | × | sepi quits (49dc4892@c-73-220-72-146.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2020-09-29 04:32:25 | <benet8> | q |
| 2020-09-29 04:32:29 | <sim590> | Is it possible to force building the package of my cabal project without downloading anythihng. I'm writing some CI script and I don't want any downloading since everything is being installed in my Docker image. |
| 2020-09-29 04:33:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-09-29 04:35:08 | → | Clough joins (~Cain@210.185.68.138) |
| 2020-09-29 04:38:28 | hackage | hls-plugin-api 0.4.1.0 - Haskell Language Server API for plugin communication https://hackage.haskell.org/package/hls-plugin-api-0.4.1.0 (jneira) |
| 2020-09-29 04:39:13 | × | toorevitimirp quits (~tooreviti@117.182.182.201) (Ping timeout: 264 seconds) |
| 2020-09-29 04:39:33 | <sim590> | new-build --offline just doesn't work. I still see "Downloading" lines. |
| 2020-09-29 04:40:01 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Remote host closed the connection) |
| 2020-09-29 04:40:35 | × | argent0 quits (~argent0@168.227.96.4) (Remote host closed the connection) |
| 2020-09-29 04:41:26 | → | mozzarella joins (~sam@unaffiliated/sam113101) |
| 2020-09-29 04:43:19 | × | jneira quits (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) (Ping timeout: 246 seconds) |
| 2020-09-29 04:45:23 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2020-09-29 04:46:47 | × | xff0x quits (~fox@2001:1a81:53b0:3c00:19ba:3f05:ac4b:7fb3) (Ping timeout: 240 seconds) |
| 2020-09-29 04:47:46 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 2020-09-29 04:47:56 | → | xff0x joins (~fox@2001:1a81:53b0:3c00:9889:b2f6:c747:1eec) |
| 2020-09-29 04:51:01 | × | benet8 quits (~lubuntu@179.176.72.238.dynamic.adsl.gvt.net.br) (Remote host closed the connection) |
| 2020-09-29 04:54:17 | → | polyrain joins (~polyrain@130.102.13.187) |
| 2020-09-29 04:58:28 | → | TooDifficult joins (~TooDiffic@139.59.59.230) |
| 2020-09-29 04:58:48 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2020-09-29 04:59:12 | → | mmohammadi9812 joins (~mmohammad@188.210.120.20) |
| 2020-09-29 04:59:32 | × | adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 272 seconds) |
| 2020-09-29 05:00:28 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 2020-09-29 05:04:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-09-29 05:04:33 | → | josh___ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 2020-09-29 05:07:28 | × | polyrain quits (~polyrain@130.102.13.187) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-09-29 05:09:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-09-29 05:15:40 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2020-09-29 05:16:29 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 246 seconds) |
| 2020-09-29 05:16:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2020-09-29 05:17:05 | × | xmj1 quits (~xmj@178.239.168.171) (Remote host closed the connection) |
| 2020-09-29 05:17:53 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 2020-09-29 05:18:23 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 2020-09-29 05:20:03 | → | ishutin_ joins (~Ishutin@92-249-150-146.static.digikabel.hu) |
| 2020-09-29 05:20:27 | → | Quarl joins (~Quarl@94.191.138.174.mobile.tre.se) |
| 2020-09-29 05:22:03 | <hololeap> | what's a good way to combine functions that pattern match on a sum type, so that if the first function fails to match, it moves on to the next? |
| 2020-09-29 05:22:52 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds) |
| 2020-09-29 05:23:37 | × | ishutin quits (~Ishutin@178-164-206-35.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2020-09-29 05:23:47 | <hololeap> | i think this could be made into a monoid somehow, where mempty is a function that never matches |
| 2020-09-29 05:24:06 | <glguy> | Have the function return a Maybe result |
| 2020-09-29 05:24:14 | <glguy> | Nothing for no match, Just result for a match |
| 2020-09-29 05:24:57 | <glguy> | then you can take the first result that was a Just |
| 2020-09-29 05:25:01 | <hololeap> | ah, or a Maybe (First a), which would fufill my monoid wishes |
| 2020-09-29 05:25:25 | <glguy> | Instead of Monoid you can use Alternative |
| 2020-09-29 05:25:44 | <glguy> | If you want to use First, just use First; you don't need the extra Maybe in that case |
| 2020-09-29 05:26:40 | <hololeap> | what would i do if the entire thing returned a Nothing? ideally it would pass through the normal error about failing a pattern match |
| 2020-09-29 05:27:19 | <glguy> | There's no failing pattern matches |
| 2020-09-29 05:27:45 | <glguy> | You'll have all complete patterns; some will return Nothing |
| 2020-09-29 05:28:28 | <hololeap> | in this case, the Maybe has to be discarded before it is passed along |
| 2020-09-29 05:28:47 | → | coot joins (~coot@37.30.59.210.nat.umts.dynamic.t-mobile.pl) |
| 2020-09-29 05:29:15 | <hololeap> | i'm looking at appHandleEvent from Brick.Main |
| 2020-09-29 05:30:30 | <hololeap> | i would like to have a "default" where certain BrickEvent possibilities are handled, but the ability to pass in custom handlers which can handle more possibilites |
| 2020-09-29 05:31:30 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 2020-09-29 05:31:43 | <hololeap> | oh, i think i see the correct solution here |
| 2020-09-29 05:31:49 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2020-09-29 05:32:11 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 2020-09-29 05:33:22 | <hololeap> | if the inner function returns a Nothing, then it will pass through the original state |
| 2020-09-29 05:36:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-09-29 05:36:39 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2020-09-29 05:38:14 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 2020-09-29 05:38:23 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2020-09-29 05:39:58 | × | alp quits (~alp@2a01:e0a:58b:4920:3dd5:cbe7:ffdd:6e48) (Remote host closed the connection) |
| 2020-09-29 05:40:20 | → | alp joins (~alp@2a01:e0a:58b:4920:8dc4:6663:c8fb:d2c0) |
| 2020-09-29 05:48:13 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@68.235.43.166) (Ping timeout: 264 seconds) |
| 2020-09-29 05:51:05 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2020-09-29 05:52:06 | → | mu_ joins (~mu@unaffiliated/mu) |
| 2020-09-29 05:52:53 | → | jedws joins (~jedws@121.209.139.222) |
| 2020-09-29 05:52:54 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 2020-09-29 05:53:17 | → | mu_ joins (~mu@unaffiliated/mu) |
| 2020-09-29 05:55:29 | → | polyrain joins (~polyrain@130.102.13.187) |
| 2020-09-29 05:56:11 | × | plutoniix quits (~q@175.176.222.7) (Ping timeout: 240 seconds) |
| 2020-09-29 05:56:28 | × | josh___ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2020-09-29 05:57:26 | → | plutoniix joins (~q@175.176.222.7) |
| 2020-09-29 05:57:50 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 2020-09-29 05:59:01 | × | plutoniix quits (~q@175.176.222.7) (Max SendQ exceeded) |
| 2020-09-29 06:00:18 | → | supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 2020-09-29 06:01:38 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-09-29 06:03:12 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 2020-09-29 06:03:18 | → | mu__ joins (~mu@unaffiliated/mu) |
| 2020-09-29 06:04:08 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2020-09-29 06:06:53 | × | supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded) |
| 2020-09-29 06:07:08 | → | supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 2020-09-29 06:09:15 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-09-29 06:09:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-09-29 06:11:11 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2020-09-29 06:12:19 | → | fog joins (a181460d@gateway/web/cgi-irc/kiwiirc.com/ip.161.129.70.13) |
| 2020-09-29 06:12:31 | → | josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 2020-09-29 06:12:56 | <fog> | do we have something like go in haskell? |
| 2020-09-29 06:12:57 | × | mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 2020-09-29 06:13:17 | → | mu_ joins (~mu@unaffiliated/mu) |
| 2020-09-29 06:13:38 | × | supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded) |
| 2020-09-29 06:13:56 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2020-09-29 06:13:56 | → | supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 2020-09-29 06:14:08 | <fog> | i was watching a pretty cool talk about how it made its way into "kotlin" https://www.youtube.com/watch?v=Mj5P47F6nJg |
All times are in UTC.