| 2022-05-15 00:00:24 +0200 | sympt | (~sympt@193.37.33.20) |
| 2022-05-15 00:00:38 +0200 | <pavonia> | Also you shouldn't return (0, 0) if there is not solution. Use a result type like Maybe (a, a) instead |
| 2022-05-15 00:01:02 +0200 | <dolio> | That doesn't look like it checks all sums. |
| 2022-05-15 00:01:27 +0200 | <EvanR> | that too |
| 2022-05-15 00:02:42 +0200 | <dolio> | It looks like `findSum n (x:xs) = any (== m) xs where m = n - x` |
| 2022-05-15 00:02:47 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-05-15 00:03:04 +0200 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-05-15 00:03:08 +0200 | <dolio> | At least, for an equivalent of whether the list contains the number. |
| 2022-05-15 00:03:41 +0200 | <dolio> | The result being `(x, n-x)` |
| 2022-05-15 00:06:19 +0200 | flinner | (~flinner@user/flinner) |
| 2022-05-15 00:07:14 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-05-15 00:14:45 +0200 | acidjnk | (~acidjnk@p200300d0c7068b6181b67b31768892e9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-15 00:18:04 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-15 00:19:46 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-15 00:23:11 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-15 00:24:42 +0200 | zer0bitz_ | (~zer0bitz@2001:2003:f444:8f00:86c:4c1e:64b:5ea1) (Read error: Connection reset by peer) |
| 2022-05-15 00:24:57 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 248 seconds) |
| 2022-05-15 00:27:27 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-05-15 00:27:36 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-05-15 00:27:37 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-05-15 00:27:39 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:cb8b:2f67:7218:10ac) (Remote host closed the connection) |
| 2022-05-15 00:30:17 +0200 | chomwitt | (~chomwitt@2a02:587:dc21:9e00:e28b:dfc7:bbce:95de) (Ping timeout: 248 seconds) |
| 2022-05-15 00:31:08 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-05-15 00:34:31 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-15 00:36:48 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-05-15 00:48:01 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-15 00:54:20 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-15 00:57:57 +0200 | alp_ | (~alp@user/alp) (Remote host closed the connection) |
| 2022-05-15 00:58:19 +0200 | alp_ | (~alp@user/alp) |
| 2022-05-15 01:00:22 +0200 | kaph_ | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Remote host closed the connection) |
| 2022-05-15 01:00:41 +0200 | kaph_ | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) |
| 2022-05-15 01:00:56 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-05-15 01:01:35 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-15 01:01:49 +0200 | kraftwerk28_ | (~kraftwerk@178.62.210.83) |
| 2022-05-15 01:10:01 +0200 | jargon | (~jargon@174-22-206-112.phnx.qwest.net) |
| 2022-05-15 01:10:26 +0200 | king_gs | (~Thunderbi@187.201.105.54) |
| 2022-05-15 01:10:43 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-15 01:13:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-15 01:13:11 +0200 | causal | (~user@50.35.83.177) |
| 2022-05-15 01:23:31 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-15 01:29:13 +0200 | king_gs | (~Thunderbi@187.201.105.54) (Read error: Connection reset by peer) |
| 2022-05-15 01:31:06 +0200 | king_gs | (~Thunderbi@187.201.105.54) |
| 2022-05-15 01:31:48 +0200 | xaotuk | (~sasha@net151-38-245-109.mbb.telenor.rs) (Ping timeout: 260 seconds) |
| 2022-05-15 01:32:04 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-15 01:44:21 +0200 | gnyeki_ | (~gnyeki@li578-216.members.linode.com) |
| 2022-05-15 01:44:21 +0200 | gnyeki | (~gnyeki@user/gnyeki) (Quit: Reconnecting) |
| 2022-05-15 01:44:21 +0200 | gnyeki_ | (~gnyeki@li578-216.members.linode.com) (Changing host) |
| 2022-05-15 01:44:21 +0200 | gnyeki_ | (~gnyeki@user/gnyeki) |
| 2022-05-15 01:44:21 +0200 | gnyeki_ | gnyeki |
| 2022-05-15 01:50:45 +0200 | travisb | (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-15 01:51:13 +0200 | travisb | (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2022-05-15 01:52:48 +0200 | <Guest57> | dolio I've modified my code to check all combinations, but now I'm unsure of how to display the correct tuple. `findSums :: Integer -> [Integer] -> [Bool] |
| 2022-05-15 01:52:49 +0200 | <Guest57> | findSums n list = map (==n) tupleList |
| 2022-05-15 01:52:49 +0200 | <Guest57> | where tupleList = map tupleAdd (tupleCombinations list list) |
| 2022-05-15 01:52:50 +0200 | <Guest57> | -- first list counts every combination the front number has with every other number |
| 2022-05-15 01:52:50 +0200 | <Guest57> | -- second list makes sure that every number is tried |
| 2022-05-15 01:52:51 +0200 | <Guest57> | tupleCombinations :: [a] -> [a] -> [(a, a)] |
| 2022-05-15 01:52:51 +0200 | <Guest57> | tupleCombinations [a, b] [a2, b2] = (a, b) : [] |
| 2022-05-15 01:52:52 +0200 | <Guest57> | tupleCombinations [a, b] (x:y:ys) = (a, b) : tupleCombinations (y:ys) (y:ys) |
| 2022-05-15 01:52:52 +0200 | <Guest57> | tupleCombinations (x:y:ys) list = (x, y) : tupleCombinations (x:ys) list |
| 2022-05-15 01:52:53 +0200 | <Guest57> | tupleAdd :: (Integer, Integer) -> Integer |
| 2022-05-15 01:52:53 +0200 | <Guest57> | tupleAdd (x, y) = x + y |
| 2022-05-15 02:02:11 +0200 | king_gs | (~Thunderbi@187.201.105.54) (Ping timeout: 252 seconds) |
| 2022-05-15 02:04:52 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-15 02:06:40 +0200 | <sm> | int-e: FYI, haskell-links now pulls the @where db hourly |
| 2022-05-15 02:07:53 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-05-15 02:11:11 +0200 | <statusbot1> | Maintenance update: Hackage is going offline for maintenance. -- http://status.haskell.org/pages/maintenance/537c07b0cf1fad5830000093/628040783a56b10533f94f5e |
| 2022-05-15 02:11:20 +0200 | <sm> | I might keep tags/votes/edits in overlay file(s). Those edits could be replayed/merged back to lambdabot periodically, if wanted |
| 2022-05-15 02:16:36 +0200 | <statusbot1> | Maintenance update: Hackage is back up. -- http://status.haskell.org/pages/maintenance/537c07b0cf1fad5830000093/628040783a56b10533f94f5e |
| 2022-05-15 02:21:55 +0200 | king_gs | (~Thunderbi@187.201.105.54) |
| 2022-05-15 02:22:09 +0200 | dostoevsky0 | (~5c42c5384@user/dostoevsky) |
| 2022-05-15 02:23:25 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Read error: Connection reset by peer) |
| 2022-05-15 02:23:25 +0200 | dostoevsky0 | dostoevsky |
| 2022-05-15 02:23:33 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-15 02:23:55 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-05-15 02:32:57 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2022-05-15 02:40:16 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-05-15 02:40:57 +0200 | king_gs | (~Thunderbi@187.201.105.54) (Read error: Connection reset by peer) |
| 2022-05-15 02:43:35 +0200 | king_gs | (~Thunderbi@2806:103e:29:da71:ba86:4e28:3521:b634) |
| 2022-05-15 02:45:24 +0200 | alp_ | (~alp@user/alp) |
| 2022-05-15 02:46:19 +0200 | gpncarl | (~gpncarl@120.244.220.69) |
| 2022-05-15 02:47:50 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-05-15 02:50:30 +0200 | king_gs | (~Thunderbi@2806:103e:29:da71:ba86:4e28:3521:b634) (Ping timeout: 260 seconds) |
| 2022-05-15 02:51:05 +0200 | gpncarl | (~gpncarl@120.244.220.69) (Ping timeout: 260 seconds) |
| 2022-05-15 02:56:11 +0200 | <Guest57> | dolio nvm I found out |
| 2022-05-15 02:56:42 +0200 | alp_ | (~alp@user/alp) (Remote host closed the connection) |
| 2022-05-15 02:57:02 +0200 | alp_ | (~alp@user/alp) |
| 2022-05-15 02:59:21 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-15 02:59:21 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-15 02:59:21 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-15 03:02:17 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-05-15 03:06:14 +0200 | Polo | (~Polo@user/polo) |
| 2022-05-15 03:13:47 +0200 | Polo | schmoe |
| 2022-05-15 03:18:00 +0200 | Guest57 | (~Guest57@69-174-160-103.iplwin75.metronetinc.net) (Quit: Client closed) |
| 2022-05-15 03:18:13 +0200 | schmoe | (~Polo@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-15 03:19:08 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2022-05-15 03:19:39 +0200 | no-n | (sid524992@smol/hors) |
| 2022-05-15 03:22:41 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-15 03:22:50 +0200 | Polo | (~Polo@user/polo) |
| 2022-05-15 03:26:09 +0200 | dzdcnfzd | (~dzdcnfzd@pool-108-54-250-165.nycmny.fios.verizon.net) |
| 2022-05-15 03:30:44 +0200 | Polo | (~Polo@user/polo) (Ping timeout: 248 seconds) |
| 2022-05-15 03:30:45 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2022-05-15 03:31:48 +0200 | flinner | (~flinner@user/flinner) (Quit: Using Circe, the loveliest of all IRC clients) |
| 2022-05-15 03:42:43 +0200 | <dzdcnfzd> | I have a Tasty test suite. I'm trying to add a custom flag to my program which I'll pass into my tests, but I'm getting errors because Tasty's main function tries to parse my flag and doesn't recognize it. Does anyone know how I'm supposed to get around this? |
| 2022-05-15 03:43:09 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) (Quit: WeeChat 3.5) |
| 2022-05-15 03:43:38 +0200 | dostoevsky6 | (~5c42c5384@user/dostoevsky) |
| 2022-05-15 03:44:51 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Read error: Connection reset by peer) |
| 2022-05-15 03:44:51 +0200 | dostoevsky6 | dostoevsky |
| 2022-05-15 03:48:27 +0200 | andrey_ | (~andrey@p200300dbcf3e23005cb23a11d813ffaf.dip0.t-ipconnect.de) |
| 2022-05-15 03:51:05 +0200 | andrey__ | (~andrey@p508d51c7.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-05-15 03:52:10 +0200 | jiribenes | (~jiribenes@rosa.jiribenes.com) (Ping timeout: 250 seconds) |
| 2022-05-15 03:55:43 +0200 | <sm> | I added ghc-guide, cabal-guide, stack-guide to @where; if no-one objects, I will remove the old "userguide" spelling |
| 2022-05-15 03:57:57 +0200 | <sm> | @where+ userguide |
| 2022-05-15 03:57:57 +0200 | <lambdabot> | It is forgotten. |
| 2022-05-15 03:59:43 +0200 | <shachaf> | Maybe have it mention the other guides instead? |
| 2022-05-15 04:03:43 +0200 | <sm> | shachaf: have userguide name all the known guides ? sure, be my guest |
| 2022-05-15 04:03:49 +0200 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2022-05-15 04:04:19 +0200 | <sm> | I'm using a web ui that makes them easy to find, so I'm concentrating more on individual links |
| 2022-05-15 04:05:41 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: Lost terminal) |
| 2022-05-15 04:06:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-05-15 04:06:25 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-15 04:06:25 +0200 | finn_elija | FinnElija |
| 2022-05-15 04:06:58 +0200 | abiss27 | (~abiss27@user/abiss) (Quit: hasta la vista... tchau!) |
| 2022-05-15 04:07:50 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-15 04:08:46 +0200 | stackdroid18 | (14094@user/stackdroid) (Client Quit) |
| 2022-05-15 04:12:08 +0200 | sander | (~sander@user/sander) |
| 2022-05-15 04:15:06 +0200 | roconnor | (~roconnor@coq/roconnor) (Quit: Konversation terminated!) |
| 2022-05-15 04:20:17 +0200 | Polo | (~Polo@user/polo) |
| 2022-05-15 04:21:24 +0200 | Polo | (~Polo@user/polo) (Client Quit) |
| 2022-05-15 04:25:05 +0200 | Topsi | (~Topsi@95.33.20.255) (Read error: Connection reset by peer) |
| 2022-05-15 04:35:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-15 04:40:11 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-05-15 04:42:26 +0200 | <dzdcnfzd> | https://github.com/UnkindPartition/tasty/issues/228 |
| 2022-05-15 04:42:51 +0200 | <dzdcnfzd> | I guess it's impossible to use Tasty with command line options if your TestTree is constructed using IO |
| 2022-05-15 04:42:56 +0200 | <dzdcnfzd> | This is sad |
| 2022-05-15 04:43:08 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 260 seconds) |
| 2022-05-15 04:43:28 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-15 04:44:44 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-05-15 04:47:27 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
| 2022-05-15 04:51:49 +0200 | Polo | (~Polo@user/polo) |
| 2022-05-15 04:51:55 +0200 | Polo | schmoe |
| 2022-05-15 04:53:32 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-15 04:54:18 +0200 | schmoe | (~Polo@user/polo) (Client Quit) |
| 2022-05-15 05:09:17 +0200 | dostoevsky9 | (~5c42c5384@user/dostoevsky) |
| 2022-05-15 05:10:37 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Read error: Connection reset by peer) |
| 2022-05-15 05:10:37 +0200 | dostoevsky9 | dostoevsky |
| 2022-05-15 05:11:23 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-15 05:24:52 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2022-05-15 05:30:54 +0200 | <dsal> | dzdcnfzd: unsafePerformIO isn't always terrible, but I've run into a variety of these kinds of annoyances in test frameworks. In particular, the hspec stuff we're using at work doesn't have useful hooks for certain types of initializations and we end up using unsafePerformIO (but down to like, one now… used to be a ton of them for no good reason). |
| 2022-05-15 05:39:34 +0200 | gpncarl | (~gpncarl@120.244.220.69) |
| 2022-05-15 05:53:26 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2022-05-15 05:57:50 +0200 | gpncarl | (~gpncarl@120.244.220.69) (Ping timeout: 240 seconds) |
| 2022-05-15 06:03:18 +0200 | kaph_ | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-05-15 06:09:39 +0200 | hamishmack_ | (sid389057@id-389057.hampstead.irccloud.com) () |
| 2022-05-15 06:10:21 +0200 | hamishmack_ | (sid389057@id-389057.hampstead.irccloud.com) |
| 2022-05-15 06:10:38 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-05-15 06:13:21 +0200 | hamishmack_ | hamishmack |
| 2022-05-15 06:24:51 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-05-15 06:31:23 +0200 | zebrag | (~chris@user/zebrag) (Read error: Connection reset by peer) |
| 2022-05-15 06:35:28 +0200 | frost | (~frost@user/frost) |
| 2022-05-15 06:40:19 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-15 06:44:55 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-15 06:45:38 +0200 | frost | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-05-15 06:49:35 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
| 2022-05-15 06:51:41 +0200 | frost | (~frost@user/frost) |
| 2022-05-15 06:57:29 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-05-15 07:00:10 +0200 | Benzi-Junior | (~BenziJuni@dsl-149-64-179.hive.is) (Ping timeout: 240 seconds) |
| 2022-05-15 07:04:36 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-05-15 07:09:10 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-05-15 07:10:28 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-05-15 07:28:27 +0200 | bilegeek | (~bilegeek@2600:1008:b047:7868:8343:8573:5cc1:560a) |
| 2022-05-15 07:29:46 +0200 | gpncarl | (~gpncarl@120.244.220.69) |
| 2022-05-15 07:33:14 +0200 | dostoevsky3 | (~5c42c5384@user/dostoevsky) |
| 2022-05-15 07:33:56 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-15 07:34:17 +0200 | gpncarl | (~gpncarl@120.244.220.69) (Ping timeout: 248 seconds) |
| 2022-05-15 07:34:28 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Ping timeout: 248 seconds) |
| 2022-05-15 07:34:28 +0200 | dostoevsky3 | dostoevsky |
| 2022-05-15 07:38:04 +0200 | Polo | (~Polo@user/polo) |
| 2022-05-15 07:39:34 +0200 | asivitz | (uid178348@id-178348.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-15 07:39:40 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-05-15 07:41:23 +0200 | sympt | (~sympt@193.37.33.20) (Remote host closed the connection) |
| 2022-05-15 07:42:41 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-05-15 07:46:27 +0200 | sympt | (~sympt@193.37.33.20) |
| 2022-05-15 07:47:30 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-15 07:48:01 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 2022-05-15 07:48:48 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-05-15 07:50:22 +0200 | sympt | (~sympt@193.37.33.20) (Remote host closed the connection) |
| 2022-05-15 07:52:18 +0200 | sympt | (~sympt@193.37.33.20) |
| 2022-05-15 07:54:22 +0200 | Polo | (~Polo@user/polo) (Read error: Connection reset by peer) |
| 2022-05-15 07:55:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-15 07:57:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-15 08:00:34 +0200 | sympt | (~sympt@193.37.33.20) (Remote host closed the connection) |
| 2022-05-15 08:02:31 +0200 | sympt | (~sympt@193.37.33.20) |
| 2022-05-15 08:05:02 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-15 08:12:58 +0200 | dostoevsky0 | (~5c42c5384@user/dostoevsky) |
| 2022-05-15 08:14:39 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Read error: Connection reset by peer) |
| 2022-05-15 08:14:39 +0200 | dostoevsky0 | dostoevsky |
| 2022-05-15 08:17:07 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-15 08:18:20 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 260 seconds) |
| 2022-05-15 08:19:55 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-15 08:21:08 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-15 08:28:24 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-05-15 08:28:42 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-05-15 08:36:51 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Quit: bye ~) |
| 2022-05-15 08:37:40 +0200 | Polo | (~Polo@user/polo) |
| 2022-05-15 08:39:43 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) |
| 2022-05-15 08:43:58 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-15 08:44:31 +0200 | dzdcnfzd | (~dzdcnfzd@pool-108-54-250-165.nycmny.fios.verizon.net) (Quit: Client closed) |
| 2022-05-15 08:48:17 +0200 | Polo | (~Polo@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-15 08:48:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-05-15 08:49:18 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-15 08:52:24 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2022-05-15 08:57:27 +0200 | jargon | (~jargon@174-22-206-112.phnx.qwest.net) (Remote host closed the connection) |
| 2022-05-15 08:59:30 +0200 | dostoevsky6 | (~5c42c5384@user/dostoevsky) |
| 2022-05-15 09:00:50 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Ping timeout: 240 seconds) |
| 2022-05-15 09:00:51 +0200 | dostoevsky6 | dostoevsky |
| 2022-05-15 09:01:27 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 276 seconds) |
| 2022-05-15 09:02:28 +0200 | MoC | (~moc@user/moc) |
| 2022-05-15 09:02:33 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) |
| 2022-05-15 09:02:33 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
| 2022-05-15 09:02:33 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2022-05-15 09:07:45 +0200 | king_gs | (~Thunderbi@187.201.97.18) |
| 2022-05-15 09:10:19 +0200 | king_gs | (~Thunderbi@187.201.97.18) (Client Quit) |
| 2022-05-15 09:11:38 +0200 | dostoevsky1 | (~5c42c5384@user/dostoevsky) |
| 2022-05-15 09:13:10 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Ping timeout: 240 seconds) |
| 2022-05-15 09:13:10 +0200 | dostoevsky1 | dostoevsky |
| 2022-05-15 09:14:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-15 09:19:50 +0200 | xaotuk | (~sasha@87.116.181.151) |
| 2022-05-15 09:21:11 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-15 09:21:30 +0200 | acidjnk | (~acidjnk@p200300d0c7068b96511328d5b9114591.dip0.t-ipconnect.de) |
| 2022-05-15 09:23:16 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-15 09:23:52 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 2022-05-15 09:30:00 +0200 | xaotuk | (~sasha@87.116.181.151) (Ping timeout: 248 seconds) |
| 2022-05-15 09:33:33 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-15 09:35:02 +0200 | amongas666[m] | (~amongas66@2001:470:69fc:105::2:fea) |
| 2022-05-15 09:43:20 +0200 | <amongas666[m]> | hello |
| 2022-05-15 09:43:47 +0200 | xaotuk | (~sasha@net44-38-245-109.mbb.telenor.rs) |
| 2022-05-15 09:45:53 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-05-15 09:47:28 +0200 | <amongas666[m]> | @help |
| 2022-05-15 09:47:29 +0200 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
| 2022-05-15 09:47:58 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-15 09:49:07 +0200 | kaph | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) |
| 2022-05-15 09:49:56 +0200 | <amongas666[m]> | :pl \n -> [z|x<-[2..n],z<-map(x^)[2..n],z<n,(==)=<<reverse$show z,z>9] |
| 2022-05-15 09:50:25 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-05-15 09:50:28 +0200 | <amongas666[m]> | @pl \n -> [z|x<-[2..n],z<-map(x^)[2..n],z<n,(==)=<<reverse$show z,z>9] |
| 2022-05-15 09:50:28 +0200 | <lambdabot> | ap ((:) . ((z | x) <-) . enumFromTo 2) (ap ((:) . (z <-) . map (x ^) . enumFromTo 2) ((: [(==) =<< reverse $ show z, z > 9]) . (z <))) |
| 2022-05-15 09:54:56 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-15 10:00:26 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-15 10:03:25 +0200 | <amongas666[m]> | @pl \p (a,b) (c,d) -> (a*d+b*c-a*c,a*c+b*d) |
| 2022-05-15 10:03:28 +0200 | <lambdabot> | const (uncurry (flip flip snd . (ap .) . flip flip fst . ((.) .) . ap (ap . (liftM2 (liftM2 (,)) .) . ap (flip . (liftM2 (flip . ((-) .)) .) . (. (*)) . (.) . flip . ((+) .) . (*)) (*)) ((. (*)) . |
| 2022-05-15 10:03:28 +0200 | <lambdabot> | flip . (((.) . (+)) .) . (*)))) |
| 2022-05-15 10:03:58 +0200 | <tomsmeding> | amongas666[m]: http://pointfree.io/ |
| 2022-05-15 10:03:59 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Ping timeout: 240 seconds) |
| 2022-05-15 10:04:36 +0200 | <tomsmeding> | it seems it misparsed that list comprehension :p |
| 2022-05-15 10:04:50 +0200 | <tomsmeding> | <- and | are parsed as operators but aren't |
| 2022-05-15 10:05:12 +0200 | <amongas666[m]> | tomsmeding: thanks |
| 2022-05-15 10:05:44 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-15 10:06:18 +0200 | <[Leary]> | @compose pl undo [z|x<-[2..n],z<-map(x^)[2..n],z<n,(==)=<<reverse$show z,z>9] |
| 2022-05-15 10:06:19 +0200 | <lambdabot> | flip (liftM2 if' (< n) (flip (ap (if' . ((==) =<< reverse) . show) (flip (liftM2 if' (> 9) return) [])) [])) [] =<< flip map [2..n] . (^) =<< [2..n] |
| 2022-05-15 10:06:50 +0200 | <[Leary]> | A workable trick. |
| 2022-05-15 10:06:50 +0200 | <tomsmeding> | TIL @compose |
| 2022-05-15 10:08:36 +0200 | <jackdk> | Can a mac user check if hackage search is busted? it works for me on my GNU/Linux laptop but Axman6 reports trouble with mobile safari |
| 2022-05-15 10:09:23 +0200 | <tomsmeding> | jackdk: getting this on my firefox linux box: Error with Hackage server: Unexpected content-type: For this resource the content-type was expected to be application/json, rather than multipart/form-data; boundary=---------------------------211408870538557291113223259920 |
| 2022-05-15 10:09:37 +0200 | <tomsmeding> | seems it's indeed broken |
| 2022-05-15 10:09:43 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-15 10:10:35 +0200 | <jackdk> | I'm on the road, any chance someone can at least log an issue? Please and thank you. |
| 2022-05-15 10:11:00 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-15 10:12:13 +0200 | <tomsmeding> | jackdk: I've asked in #hackage |
| 2022-05-15 10:15:27 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-15 10:20:55 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-15 10:21:25 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-05-15 10:22:34 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-15 10:24:25 +0200 | bilegeek | (~bilegeek@2600:1008:b047:7868:8343:8573:5cc1:560a) (Quit: Leaving) |
| 2022-05-15 10:25:18 +0200 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) |
| 2022-05-15 10:26:56 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-15 10:26:59 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-05-15 10:27:59 +0200 | odnes | (~odnes@5-203-216-219.pat.nym.cosmote.net) |
| 2022-05-15 10:29:15 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Client Quit) |
| 2022-05-15 10:35:16 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-05-15 10:35:47 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-15 10:37:47 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-05-15 10:48:28 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-15 10:49:21 +0200 | sympt | (~sympt@193.37.33.20) (Changing host) |
| 2022-05-15 10:49:21 +0200 | sympt | (~sympt@user/sympt) |
| 2022-05-15 10:52:58 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-05-15 10:55:09 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-05-15 10:55:37 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-15 11:02:59 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2022-05-15 11:04:31 +0200 | odnes | (~odnes@5-203-216-219.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-05-15 11:04:50 +0200 | odnes | (~odnes@5-203-216-219.pat.nym.cosmote.net) |
| 2022-05-15 11:15:28 +0200 | Polo | (~Polo@user/polo) |
| 2022-05-15 11:15:53 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-05-15 11:16:33 +0200 | Polo | (~Polo@user/polo) (Client Quit) |
| 2022-05-15 11:18:08 +0200 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-05-15 11:18:31 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-05-15 11:18:38 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-05-15 11:22:05 +0200 | Batzy | (~quassel@user/batzy) (Client Quit) |
| 2022-05-15 11:23:08 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-05-15 11:40:53 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-15 11:45:01 +0200 | Polo | (~Polo@user/polo) |
| 2022-05-15 11:46:25 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-15 11:47:23 +0200 | acidjnk | (~acidjnk@p200300d0c7068b96511328d5b9114591.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-05-15 11:53:29 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-15 11:55:12 +0200 | love-linux | (~aaa@182.253.151.149) |
| 2022-05-15 11:56:45 +0200 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) (Quit: king_gs) |
| 2022-05-15 11:57:16 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-15 11:57:59 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-15 11:59:57 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-15 12:00:07 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-15 12:01:09 +0200 | Polo | (~Polo@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-15 12:04:48 +0200 | phma | (~phma@2001:5b0:211f:6928:8569:9a3:f6e6:2945) (Read error: Connection reset by peer) |
| 2022-05-15 12:05:01 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-05-15 12:05:41 +0200 | phma | (~phma@host-67-44-208-139.hnremote.net) |
| 2022-05-15 12:09:45 +0200 | ubert | (~Thunderbi@p200300cd8f286500acdce0bbd2853fcd.dip0.t-ipconnect.de) |
| 2022-05-15 12:10:29 +0200 | ubert | (~Thunderbi@p200300cd8f286500acdce0bbd2853fcd.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2022-05-15 12:10:37 +0200 | ub | (~Thunderbi@p5dd19b2c.dip0.t-ipconnect.de) |
| 2022-05-15 12:12:55 +0200 | ub | ubert |
| 2022-05-15 12:14:29 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-05-15 12:19:19 +0200 | ubert | (~Thunderbi@p5dd19b2c.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-15 12:22:11 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-05-15 12:22:14 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-15 12:24:25 +0200 | ubert | (~Thunderbi@p5dd19b2c.dip0.t-ipconnect.de) |
| 2022-05-15 12:25:07 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-15 12:32:57 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-15 12:33:38 +0200 | odnes | (~odnes@5-203-216-219.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-05-15 12:35:23 +0200 | ubert | (~Thunderbi@p5dd19b2c.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-05-15 12:37:13 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-05-15 12:40:23 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-15 12:40:32 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:4826:893f:cf94:1ccb) |
| 2022-05-15 12:43:32 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-15 12:44:22 +0200 | acidjnk | (~acidjnk@p200300d0c7068b968155b6e67aa5654c.dip0.t-ipconnect.de) |
| 2022-05-15 12:46:45 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-15 12:46:56 +0200 | chomwitt | (~chomwitt@2a02:587:dc21:9e00:a5cf:4aa7:c02f:9451) |
| 2022-05-15 12:52:43 +0200 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 2022-05-15 12:53:44 +0200 | gpncarl | (~gpncarl@120.244.220.69) |
| 2022-05-15 12:54:40 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-05-15 12:54:48 +0200 | Clint | (~Clint@user/clint) (Ping timeout: 248 seconds) |
| 2022-05-15 12:55:19 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2022-05-15 12:57:25 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-05-15 12:57:32 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-05-15 12:58:20 +0200 | gpncarl | (~gpncarl@120.244.220.69) (Ping timeout: 260 seconds) |
| 2022-05-15 13:00:31 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-15 13:04:02 +0200 | kaph | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-05-15 13:04:14 +0200 | kaph | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) |
| 2022-05-15 13:08:20 +0200 | jollygood2 | (www-data@2607:5300:60:8be::1) |
| 2022-05-15 13:08:45 +0200 | kayprish | (~kayprish@cable-188-2-151-210.dynamic.sbb.rs) |
| 2022-05-15 13:08:50 +0200 | kayprish | (~kayprish@cable-188-2-151-210.dynamic.sbb.rs) (Remote host closed the connection) |
| 2022-05-15 13:11:46 +0200 | ubert | (~Thunderbi@p200300cd8f286500acdce0bbd2853fcd.dip0.t-ipconnect.de) |
| 2022-05-15 13:16:27 +0200 | zer0bitz_ | (~zer0bitz@2001:2003:f444:8f00:312d:d371:2ac4:b717) |
| 2022-05-15 13:17:24 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:4826:893f:cf94:1ccb) (Ping timeout: 248 seconds) |
| 2022-05-15 13:17:41 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-15 13:23:40 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-15 13:25:56 +0200 | acidjnk | (~acidjnk@p200300d0c7068b968155b6e67aa5654c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-05-15 13:28:30 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-15 13:30:43 +0200 | jolandr | (~Guest14@user/jolandr) |
| 2022-05-15 13:41:33 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-15 13:41:53 +0200 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) |
| 2022-05-15 13:45:16 +0200 | <jolandr> | What is the go-to package for using protobuf + gRPC in Haskell? proto-lens seems nice but doesn't offer all the functionality (ie. services) and gRPC-haskell seems outdated or simply doesn't work for me :'( |
| 2022-05-15 13:47:23 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-05-15 13:48:08 +0200 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-05-15 13:48:10 +0200 | yaroot | (~yaroot@134.27.31.150.dy.iij4u.or.jp) (Remote host closed the connection) |
| 2022-05-15 13:48:43 +0200 | yaroot | (~yaroot@134.27.31.150.dy.iij4u.or.jp) |
| 2022-05-15 13:52:56 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-05-15 13:54:21 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-05-15 13:54:50 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-05-15 13:55:02 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-15 13:56:43 +0200 | ubert | (~Thunderbi@p200300cd8f286500acdce0bbd2853fcd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-15 13:56:52 +0200 | love-linux | (~aaa@182.253.151.149) (Read error: Connection reset by peer) |
| 2022-05-15 13:57:19 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-05-15 13:59:14 +0200 | ubert | (~Thunderbi@p5dd19b2c.dip0.t-ipconnect.de) |
| 2022-05-15 13:59:30 +0200 | ubert | (~Thunderbi@p5dd19b2c.dip0.t-ipconnect.de) (Client Quit) |
| 2022-05-15 13:59:51 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-05-15 14:00:07 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-05-15 14:08:37 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-15 14:18:05 +0200 | xaotuk | (~sasha@net44-38-245-109.mbb.telenor.rs) (Ping timeout: 252 seconds) |
| 2022-05-15 14:18:29 +0200 | xaotuk | (~sasha@net44-38-245-109.mbb.telenor.rs) |
| 2022-05-15 14:18:34 +0200 | kilolympus | (~kilolympu@31.205.200.235) (Quit: See you later! :)) |
| 2022-05-15 14:19:32 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-05-15 14:21:06 +0200 | Guest40 | (~Guest40@117.97.135.91) |
| 2022-05-15 14:22:57 +0200 | jco | (~jco@90-228-194-139-no542.tbcn.telia.com) |
| 2022-05-15 14:23:30 +0200 | Guest40 | (~Guest40@117.97.135.91) (Client Quit) |
| 2022-05-15 14:23:59 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-15 14:26:39 +0200 | xaotuk | (~sasha@net44-38-245-109.mbb.telenor.rs) (Ping timeout: 240 seconds) |
| 2022-05-15 14:28:44 +0200 | enko4457 | (~enko4457@117.97.135.91) |
| 2022-05-15 14:35:09 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-05-15 14:35:49 +0200 | Clint | (~Clint@user/clint) |
| 2022-05-15 14:46:58 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-15 14:48:32 +0200 | kilolympus | (~kilolympu@31.205.200.235) |
| 2022-05-15 14:49:45 +0200 | <Axman6> | anyone familiar with the zippers package? I'm wondering if it's possible to push something into the context to the left or right of the current location - assuming a pretty normal list zipper, I want to be able to so something like lushr x (Z xs foc ys) = (Z xs x (f:ys)) if my current context is a list |
| 2022-05-15 14:50:26 +0200 | <Axman6> | higher level is, if I'm focused somehwere inside a document, and I'm somewhere where there's a list of things I'm focused within, I want to add to that context |
| 2022-05-15 14:51:59 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-15 14:55:35 +0200 | waleee | (~waleee@h-155-4-221-82.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2022-05-15 14:56:10 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-05-15 14:59:59 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-15 15:04:40 +0200 | <geekosaur> | tree zipper, instead of just a list? |
| 2022-05-15 15:15:50 +0200 | chomwitt | (~chomwitt@2a02:587:dc21:9e00:a5cf:4aa7:c02f:9451) (Ping timeout: 252 seconds) |
| 2022-05-15 15:17:27 +0200 | yaroot | (~yaroot@134.27.31.150.dy.iij4u.or.jp) (Ping timeout: 240 seconds) |
| 2022-05-15 15:17:35 +0200 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) |
| 2022-05-15 15:20:13 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-179.du.xdsl.is) |
| 2022-05-15 15:22:21 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-15 15:24:14 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-15 15:24:34 +0200 | enko4457 | (~enko4457@117.97.135.91) (Quit: Client closed) |
| 2022-05-15 15:28:46 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-05-15 15:31:54 +0200 | Vajb | (~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) |
| 2022-05-15 15:32:55 +0200 | govertsnovert | (~govertsno@46.246.41.174) |
| 2022-05-15 15:35:18 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-15 15:36:47 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-15 15:49:01 +0200 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2022-05-15 15:58:43 +0200 | govertsnovert | (~govertsno@46.246.41.174) (Remote host closed the connection) |
| 2022-05-15 16:17:06 +0200 | govertsnovert | (~govertsno@46.246.41.166) |
| 2022-05-15 16:18:30 +0200 | <govertsnovert> | Hi All. Trying to wrap my head around performance: How can Data.Map.insert be O(log n) if Data.Map.Map is immutable? Why isn't it at least O(n) ? (need to go through all the elements to copy them) . |
| 2022-05-15 16:19:34 +0200 | <[exa]> | govertsnovert: it doesn't reallocate the whole map |
| 2022-05-15 16:20:28 +0200 | <[exa]> | govertsnovert: if you know how binary search trees look like, on an insert you actually need to reallocate only the path from the root to the insert point, the rest stays the same and can be reused |
| 2022-05-15 16:21:25 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-15 16:22:09 +0200 | <[exa]> | (There's even a whole research area about functional data structures that try to optimize this behavior. You might have heard about zippers and finger trees.) |
| 2022-05-15 16:23:02 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-15 16:27:47 +0200 | <govertsnovert> | yeh i've ran into finger trees, but not zippers. and yes, I can see how one can reuse most of the structure. Thank you. In general, how does one navigate the various performance impacts of "things" in haskell? As an example, hackage's page on Data.Array has no info on how costly the // operator is. |
| 2022-05-15 16:27:47 +0200 | Vajb | (~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) (Read error: Connection reset by peer) |
| 2022-05-15 16:28:00 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-15 16:29:20 +0200 | <geekosaur> | documenting that is relatively recent, whereas nobody's touched the array package's docs in years |
| 2022-05-15 16:29:31 +0200 | <govertsnovert> | i remember reading somewhere that although // _could_ be implemented as a partial copy (only de? re? reference the elements that changed) it' somplemented as a full copy. (And thus has a profile of O(n+m) is guess? |
| 2022-05-15 16:29:39 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-15 16:29:50 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-15 16:29:50 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-15 16:29:50 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-15 16:29:52 +0200 | gpncarl | (~gpncarl@120.244.220.69) |
| 2022-05-15 16:31:02 +0200 | <[exa]> | govertsnovert: usually looking at the source from hackage answers that pretty fast. In this case it looks like the problem gets converted to unsafeReplace |
| 2022-05-15 16:31:05 +0200 | <geekosaur> | Array has to make a tradeoff: it could do accounting per element but that slows garbage collection noticeably, or it could do accounting over the whole array which is wasteful. the current solution is that array elements are grouped into "cards" and mutations are tracked per "card" |
| 2022-05-15 16:32:09 +0200 | chomwitt | (~chomwitt@2a02:587:dc21:9e00:5530:2656:4793:d635) |
| 2022-05-15 16:34:03 +0200 | <govertsnovert> | so the general answer is "read the source, and ask around." ? (I'm fine with that. I'm used to that. ) |
| 2022-05-15 16:38:48 +0200 | <[exa]> | Like, packages _should_ document complexity of performance-critical stuff that is not very obvious, but there is some variability in what authors consider to be "obvious" :D |
| 2022-05-15 16:39:37 +0200 | <geekosaur> | and sometimes such documentation is misleading because laziness figures into it |
| 2022-05-15 16:41:46 +0200 | <geekosaur> | and then there's https://hackage.haskell.org/package/xmonad-0.17.0/docs/XMonad-StackSet.html#v:focusUp where there's a general case and an exceptional one |
| 2022-05-15 16:43:11 +0200 | geekosaur | wonders if that should be updated so the variables match, you have to know how the StackSet is used to know that "w" is referring to "a" |
| 2022-05-15 16:43:19 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-05-15 16:43:30 +0200 | gpncarl | (~gpncarl@120.244.220.69) (Ping timeout: 260 seconds) |
| 2022-05-15 16:45:12 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-15 16:45:12 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-15 16:45:12 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-15 16:49:20 +0200 | rburkholder | (~blurb@96.45.2.121) (Remote host closed the connection) |
| 2022-05-15 16:53:26 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-15 16:54:43 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-15 17:02:36 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-15 17:02:49 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-15 17:03:12 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-15 17:03:19 +0200 | govertsnovert | (~govertsno@46.246.41.166) (Remote host closed the connection) |
| 2022-05-15 17:04:23 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-05-15 17:04:46 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2022-05-15 17:05:30 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 2022-05-15 17:07:05 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-15 17:08:02 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 2022-05-15 17:09:41 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-15 17:09:45 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-05-15 17:09:55 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-15 17:11:21 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 248 seconds) |
| 2022-05-15 17:13:06 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-15 17:14:52 +0200 | sabry | (~sabry@197.37.135.141) |
| 2022-05-15 17:15:35 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-05-15 17:16:37 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-15 17:16:51 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-05-15 17:17:23 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 2022-05-15 17:18:42 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-15 17:19:21 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2022-05-15 17:19:35 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-15 17:20:36 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-15 17:20:54 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-15 17:22:20 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 2022-05-15 17:23:06 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-15 17:25:33 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-05-15 17:27:12 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-15 17:28:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-15 17:29:05 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-15 17:31:58 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-05-15 17:34:36 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-15 17:37:08 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 248 seconds) |
| 2022-05-15 17:39:05 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-15 17:39:15 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-05-15 17:41:24 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 248 seconds) |
| 2022-05-15 17:44:13 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-15 17:48:35 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-15 17:49:39 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-15 17:52:33 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-15 17:54:32 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2022-05-15 17:55:53 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 252 seconds) |
| 2022-05-15 18:02:05 +0200 | gpncarl | (~gpncarl@120.244.220.69) |
| 2022-05-15 18:06:46 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-15 18:07:21 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-15 18:09:42 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-15 18:11:11 +0200 | janus39 | (~janus@84-107-171-239.cable.dynamic.v4.ziggo.nl) |
| 2022-05-15 18:12:03 +0200 | janus39 | (~janus@84-107-171-239.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2022-05-15 18:15:55 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-15 18:17:09 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-05-15 18:17:25 +0200 | gpncarl | (~gpncarl@120.244.220.69) (Ping timeout: 260 seconds) |
| 2022-05-15 18:18:19 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-05-15 18:24:41 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-15 18:24:43 +0200 | jollygood2 | (www-data@2607:5300:60:8be::1) (Quit: CGI:IRC (Session timeout)) |
| 2022-05-15 18:25:30 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-15 18:27:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-15 18:28:57 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Quit: Leaving) |
| 2022-05-15 18:29:11 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-15 18:30:10 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-15 18:36:32 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-05-15 18:39:34 +0200 | econo | (uid147250@user/econo) |
| 2022-05-15 18:41:55 +0200 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 2022-05-15 18:42:20 +0200 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Client Quit) |
| 2022-05-15 18:49:43 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-15 18:49:45 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-15 18:53:43 +0200 | Guest57 | (~Guest57@69-174-160-103.iplwin75.metronetinc.net) |
| 2022-05-15 18:55:23 +0200 | fjmorazan | (~quassel@user/fjmorazan) (Quit: fjmorazan) |
| 2022-05-15 18:55:39 +0200 | fjmorazan | (~quassel@user/fjmorazan) |
| 2022-05-15 19:00:13 +0200 | fjmorazan | (~quassel@user/fjmorazan) (Client Quit) |
| 2022-05-15 19:00:52 +0200 | fjmorazan | (~quassel@user/fjmorazan) |
| 2022-05-15 19:00:59 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 2022-05-15 19:01:23 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-15 19:03:45 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-15 19:04:11 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-15 19:12:41 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-15 19:13:27 +0200 | <Guest57> | How would I post my code for critique? |
| 2022-05-15 19:14:00 +0200 | <geekosaur> | paste.tomsmeding.com, gist.github.com, or some other good pastebin |
| 2022-05-15 19:14:47 +0200 | <geekosaur> | where good preferably includes support for narrowing in on a range of lines, etc. |
| 2022-05-15 19:15:12 +0200 | <Guest57> | and link it? or copy and paste the result |
| 2022-05-15 19:15:55 +0200 | <hpc> | link the url here |
| 2022-05-15 19:16:07 +0200 | <Guest57> | okay thanks |
| 2022-05-15 19:16:15 +0200 | <Guest57> | https://paste.tomsmeding.com/mdUv4Wo5 |
| 2022-05-15 19:16:16 +0200 | <hpc> | https://paste.tomsmeding.com/L8bIedEW |
| 2022-05-15 19:17:31 +0200 | <Guest57> | Haskell's my first programming language, and I'm excited to have solved my first "difficult" problem |
| 2022-05-15 19:19:30 +0200 | MoC | (~moc@user/moc) |
| 2022-05-15 19:19:52 +0200 | <[exa]> | Guest57: great! actually the subset sum problem _is_ computationally hard :] |
| 2022-05-15 19:21:11 +0200 | fendor | (~fendor@178.115.57.232.wireless.dyn.drei.com) |
| 2022-05-15 19:21:38 +0200 | dzdcnfzd | (~dzdcnfzd@pool-108-54-250-165.nycmny.fios.verizon.net) |
| 2022-05-15 19:21:42 +0200 | <hpc> | tupleCombinations can be made a little bit nicer |
| 2022-05-15 19:21:51 +0200 | <[exa]> | some minor improvements: you can shorten `tupleAdd = uncurry (+)` and `if x==True` is basically the same as `if x` |
| 2022-05-15 19:21:52 +0200 | <hpc> | tupleCombinations list = tupleCombinations' list list where ... |
| 2022-05-15 19:22:21 +0200 | <Guest57> | what does uncurry do? |
| 2022-05-15 19:22:23 +0200 | <hpc> | boolListToPointer can probably be named better - it finds the index of the first True in the list |
| 2022-05-15 19:22:26 +0200 | <hpc> | :t uncurry |
| 2022-05-15 19:22:27 +0200 | <lambdabot> | (a -> b -> c) -> (a, b) -> c |
| 2022-05-15 19:22:27 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-15 19:22:37 +0200 | <hpc> | makes a function take a tuple instead of two arguments |
| 2022-05-15 19:22:39 +0200 | <[exa]> | Guest57: converts a 2param function to a function that works on 2-tuple |
| 2022-05-15 19:23:12 +0200 | <hpc> | in fact, boolListToPointer can take the thing you are searching for as a parameter |
| 2022-05-15 19:23:19 +0200 | <hpc> | and then you can name it indexOf or something like that |
| 2022-05-15 19:23:40 +0200 | <hpc> | indexOf "abc" 'c' = 2, and such |
| 2022-05-15 19:23:48 +0200 | <hpc> | and then you can indexOf someList True |
| 2022-05-15 19:25:17 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-05-15 19:25:31 +0200 | <[exa]> | Guest57: btw should the program work with any _set_ or just _pairs_ of the numbers? |
| 2022-05-15 19:25:46 +0200 | <Guest57> | What would be your advice for fixing up the tupleCombinations function? |
| 2022-05-15 19:26:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-05-15 19:26:29 +0200 | <statusbot1> | Maintenance update: hackage downtime for small update -- http://status.haskell.org/pages/maintenance/537c07b0cf1fad5830000093/6281372eaa012605343fa6fd |
| 2022-05-15 19:26:56 +0200 | <dsal> | :t liftA2 (,) |
| 2022-05-15 19:26:57 +0200 | <lambdabot> | Applicative f => f a -> f b -> f (a, b) |
| 2022-05-15 19:27:14 +0200 | <dsal> | > liftA2 (,) [1,2,3] [4,5] |
| 2022-05-15 19:27:16 +0200 | <lambdabot> | [(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)] |
| 2022-05-15 19:28:13 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-15 19:29:56 +0200 | MoC | (~moc@user/moc) (Ping timeout: 252 seconds) |
| 2022-05-15 19:30:00 +0200 | <Guest57> | [exa] just pairs |
| 2022-05-15 19:30:11 +0200 | <[exa]> | Guest57: one nice way to generate the pairs is with list comprehensions, say [(a,b) | (a,bs) <- list, b <- bs] |
| 2022-05-15 19:30:41 +0200 | <[exa]> | oh whoops, I meant (a:bs) |
| 2022-05-15 19:30:50 +0200 | <statusbot1> | Maintenance update: Upgrade completed. -- http://status.haskell.org/pages/maintenance/537c07b0cf1fad5830000093/6281372eaa012605343fa6fd |
| 2022-05-15 19:31:59 +0200 | <dsal> | I don't quite understand `tupleCombinations [a, b] [a2, b2] = (a, b) : []` -- it's not clear to me what you're trying to do here. |
| 2022-05-15 19:33:33 +0200 | <Guest57> | dsal if there are only two numbers left in the second list, then all combinations have been tried |
| 2022-05-15 19:33:56 +0200 | <Guest57> | my code is really messy though and even I don't understand how it works completely |
| 2022-05-15 19:34:10 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2022-05-15 19:34:27 +0200 | <dsal> | I've seen far worse code. I just don't quite understand what you're trying to do. :) |
| 2022-05-15 19:34:51 +0200 | <shapr> | whoa, statusbot1 is handy, when did that show up? |
| 2022-05-15 19:34:53 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2022-05-15 19:34:53 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 252 seconds) |
| 2022-05-15 19:35:00 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-05-15 19:36:02 +0200 | <geekosaur> | it's been around for several years, it just doesn't have much to say |
| 2022-05-15 19:37:43 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-15 19:38:39 +0200 | <dmj`> | has anyone written haskell98 w/ bnfc |
| 2022-05-15 19:41:14 +0200 | <Guest57> | so an example would be [1,2,3] [1,2,3] -> (1, 2) : tupleCombinations [1,3] [1,2,3] then because it's a two list it would hit the second argument -> (1,2) : (1,3) : tupleCombinations [2,3] [2,3] then it would hit the third argument and produce (2,3) : [] and finish the program |
| 2022-05-15 19:41:22 +0200 | <Guest57> | I don't know if that helps or not |
| 2022-05-15 19:43:03 +0200 | <[exa]> | Guest57: I guess it removes some unnecessary checks |
| 2022-05-15 19:43:17 +0200 | <Guest57> | good or bad code? |
| 2022-05-15 19:43:59 +0200 | <Guest57> | at least compared to similar pattern match implementations |
| 2022-05-15 19:44:43 +0200 | <[exa]> | yeah, the point is that you can use a bit of builtin functions and tools that you probably don't know about to shorten it up a lot |
| 2022-05-15 19:45:05 +0200 | <[exa]> | (or list comprehensions, as I hinted above, except with an error) |
| 2022-05-15 19:45:15 +0200 | <[exa]> | let's try these 2: |
| 2022-05-15 19:45:20 +0200 | <[exa]> | > tails [1,2,3,4] |
| 2022-05-15 19:45:22 +0200 | <lambdabot> | [[1,2,3,4],[2,3,4],[3,4],[4],[]] |
| 2022-05-15 19:45:55 +0200 | <[exa]> | > map (\x -> (1,x)) [2,3,4] |
| 2022-05-15 19:45:57 +0200 | <lambdabot> | [(1,2),(1,3),(1,4)] |
| 2022-05-15 19:47:38 +0200 | <[exa]> | (to get tails, you may need to import Data.List) |
| 2022-05-15 19:47:56 +0200 | <Guest57> | I was also wondering if there is any way to skip the list of Bools step |
| 2022-05-15 19:48:03 +0200 | <Guest57> | any better way to do that |
| 2022-05-15 19:48:10 +0200 | <Guest57> | is seems wasteful to me |
| 2022-05-15 19:48:13 +0200 | <[exa]> | yes, I'd use filter |
| 2022-05-15 19:48:33 +0200 | <Guest57> | ok |
| 2022-05-15 19:49:28 +0200 | <[exa]> | filter out the tuples that don't sum to the number that you want, and from that you either get `[]` if there's no such pair, or `(your_result:_)` |
| 2022-05-15 19:51:12 +0200 | MoC | (~moc@user/moc) |
| 2022-05-15 19:51:48 +0200 | dzdcnfzd | (~dzdcnfzd@pool-108-54-250-165.nycmny.fios.verizon.net) (Quit: Client closed) |
| 2022-05-15 19:51:54 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-15 19:52:31 +0200 | <[exa]> | dmj`: wow if you meant the BNCF grammar&parser tool, that looks cool |
| 2022-05-15 19:52:49 +0200 | <dmj`> | [exa]: yea! v. cool project indeed |
| 2022-05-15 19:53:45 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-05-15 19:57:39 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-05-15 19:59:27 +0200 | <tomsmeding> | statusbot1 is cool |
| 2022-05-15 20:01:34 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 2022-05-15 20:05:10 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-15 20:08:46 +0200 | <[exa]> | dmj`: I'm still searching for a kinda good lexer generator that could do labels, this is close but still not there. But thanks for mentioning it, helps a lot with another project :] |
| 2022-05-15 20:08:58 +0200 | kenran | (~kenran@200116b82bb59000f68574e202d22e91.dip.versatel-1u1.de) |
| 2022-05-15 20:17:37 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:18b4:9d3:33e8:26e3) |
| 2022-05-15 20:18:10 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2022-05-15 20:19:48 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-05-15 20:21:17 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-15 20:21:47 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-05-15 20:22:35 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-15 20:27:35 +0200 | <dmj`> | [exa]: what do you mean labels, bnfc does use alex, which is very good imo |
| 2022-05-15 20:30:16 +0200 | urdh | (~urdh@user/urdh) (Quit: Boom!) |
| 2022-05-15 20:31:27 +0200 | <[exa]> | hm actually it could work |
| 2022-05-15 20:31:45 +0200 | fendor | (~fendor@178.115.57.232.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-05-15 20:31:55 +0200 | <[exa]> | I also kinda wanted to let the users write their own lexers and load them into the program without recompiling, but well, screw that |
| 2022-05-15 20:33:35 +0200 | causal | (~user@50.35.83.177) |
| 2022-05-15 20:34:55 +0200 | urdh | (~urdh@h88-129-148-132.cust.a3fiber.se) |
| 2022-05-15 20:34:55 +0200 | urdh | (~urdh@h88-129-148-132.cust.a3fiber.se) (Changing host) |
| 2022-05-15 20:34:55 +0200 | urdh | (~urdh@user/urdh) |
| 2022-05-15 20:38:42 +0200 | <dmj`> | [exa]: their own lexers ay? what kind of project is this |
| 2022-05-15 20:39:11 +0200 | <dsal> | Guest57: I generally recommend people avoiding Bool as much as possible. You surely don't need a list of them. |
| 2022-05-15 20:39:14 +0200 | <dsal> | :t find |
| 2022-05-15 20:39:15 +0200 | <lambdabot> | Foldable t => (a -> Bool) -> t a -> Maybe a |
| 2022-05-15 20:39:29 +0200 | <dsal> | ^ That's a slightly better shape to do something similar. |
| 2022-05-15 20:41:33 +0200 | dcoutts__ | (~duncan@host213-122-143-140.range213-122.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2022-05-15 20:41:51 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-15 20:42:55 +0200 | <dsal> | Guest57: Not sure if people pointed this out to you, but it's best to avoid partial functions like `(!!)` and having `error` and such. |
| 2022-05-15 20:43:22 +0200 | dcoutts__ | (~duncan@host213-122-143-140.range213-122.btcentralplus.com) |
| 2022-05-15 20:45:24 +0200 | <dsal> | If you have a function that takes a list `[a]`, how many results are possible? Exactly one? Then the result should be `a`. Zero or one? `Maybe a`. Zero or more? `[a]`. At least one? `NonEmpty a` |
| 2022-05-15 20:46:11 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-05-15 20:47:30 +0200 | dcoutts__ | (~duncan@host213-122-143-140.range213-122.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-05-15 20:48:51 +0200 | _73 | (~user@pool-108-49-252-36.bstnma.fios.verizon.net) (ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2022-05-15 20:51:54 +0200 | michalz | (~michalz@185.246.204.104) |
| 2022-05-15 20:52:52 +0200 | <Guest57> | dsal I'll make sure to write that down, thanks |
| 2022-05-15 20:55:52 +0200 | <[exa]> | dmj`: mergetool that doesn't explode on code reformats etc |
| 2022-05-15 20:56:52 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-15 21:03:23 +0200 | <dmj`> | [exa]: that's a pretty cool idea |
| 2022-05-15 21:04:06 +0200 | <dmj`> | [exa]: I was thinking of making a process monitoring tool that could understand systemD units, was multiplatform, etc. Like docker-compose but no docker images, just bare metal. |
| 2022-05-15 21:04:36 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-15 21:04:52 +0200 | <dmj`> | with colored output ofc |
| 2022-05-15 21:05:14 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-05-15 21:05:42 +0200 | <geekosaur> | multiplatform will change your mind very quickly :) |
| 2022-05-15 21:06:05 +0200 | <[exa]> | "multiplatform" vs "systemd" ah yes |
| 2022-05-15 21:06:13 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Quit: mikoto-chan) |
| 2022-05-15 21:06:27 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-05-15 21:06:42 +0200 | <[exa]> | systemd has some kind of programmatic output where it reports its complete internal state, right? |
| 2022-05-15 21:06:56 +0200 | <geekosaur> | even ignoring that (there are equivalents on both os x and windows, after all, they're just even harder to handle quasiportably than the rest of it) |
| 2022-05-15 21:07:37 +0200 | <geekosaur> | and then on macs there's the question of how you count mach vs. xinu processes, beyond launchd units |
| 2022-05-15 21:10:38 +0200 | <dmj`> | the unix package has some cross platform stuff and there's Win32, to be clear, I'm not advocating building an init system, everything would be user land. Just gets annoying re-running tests in a docker-compose setup because you have to rebuild images and that is no fun. |
| 2022-05-15 21:11:09 +0200 | <geekosaur> | (and I think windows has similar issues, there's an internal level beyond merely SYSTEM) |
| 2022-05-15 21:11:34 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-15 21:12:31 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:18b4:9d3:33e8:26e3) (Remote host closed the connection) |
| 2022-05-15 21:13:03 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-05-15 21:13:55 +0200 | <dmj`> | [exa]: yea, you can list all units w/ systemctl, and then journalctl -u name -f is like tailing on the logs |
| 2022-05-15 21:17:25 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-15 21:19:41 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-15 21:20:06 +0200 | nattiestnate | (~nate@202.138.250.53) |
| 2022-05-15 21:20:49 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-15 21:28:13 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 260 seconds) |
| 2022-05-15 21:28:42 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-15 21:30:38 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-15 21:31:00 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-05-15 21:32:26 +0200 | dcoutts__ | (~duncan@185.201.60.217) |
| 2022-05-15 21:35:17 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-15 21:42:45 +0200 | jco | (~jco@90-228-194-139-no542.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 2022-05-15 21:46:50 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-15 21:47:01 +0200 | pavonia | (~user@user/siracusa) |
| 2022-05-15 21:47:48 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds) |
| 2022-05-15 21:48:41 +0200 | ccntrq | (~Thunderbi@dynamic-046-114-166-012.46.114.pool.telefonica.de) |
| 2022-05-15 21:50:23 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds) |
| 2022-05-15 21:51:24 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-05-15 21:51:46 +0200 | ubert | (~Thunderbi@p200300ecdf1588eeec30bba7413e2c9e.dip0.t-ipconnect.de) |
| 2022-05-15 21:52:04 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-05-15 21:58:36 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-05-15 22:00:08 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-15 22:00:30 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-05-15 22:01:10 +0200 | ccntrq | (~Thunderbi@dynamic-046-114-166-012.46.114.pool.telefonica.de) (Remote host closed the connection) |
| 2022-05-15 22:02:39 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-15 22:03:12 +0200 | acidjnk | (~acidjnk@p200300d0c7068b96c1e16b2c2fcc66e6.dip0.t-ipconnect.de) |
| 2022-05-15 22:11:02 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-05-15 22:11:32 +0200 | ubert | (~Thunderbi@p200300ecdf1588eeec30bba7413e2c9e.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-05-15 22:14:15 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-15 22:14:23 +0200 | Guest57 | (~Guest57@69-174-160-103.iplwin75.metronetinc.net) (Quit: Client closed) |
| 2022-05-15 22:14:36 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-15 22:15:41 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-05-15 22:20:52 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 2022-05-15 22:21:34 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2022-05-15 22:22:59 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-15 22:23:00 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-05-15 22:24:42 +0200 | Kaipei | (~Kaiepi@156.34.47.253) |
| 2022-05-15 22:27:48 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 248 seconds) |
| 2022-05-15 22:28:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-15 22:28:38 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-15 22:31:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-15 22:31:47 +0200 | dcoutts__ | (~duncan@185.201.60.217) (Ping timeout: 240 seconds) |
| 2022-05-15 22:36:09 +0200 | michalz | (~michalz@185.246.204.104) (Remote host closed the connection) |
| 2022-05-15 22:36:32 +0200 | caef^ | (~nehsou@128-092-160-234.biz.spectrum.com) |
| 2022-05-15 22:38:54 +0200 | kenran | (~kenran@200116b82bb59000f68574e202d22e91.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-05-15 22:39:04 +0200 | Kaipei | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 2022-05-15 22:39:30 +0200 | Kaipei | (~Kaiepi@156.34.47.253) |
| 2022-05-15 22:42:22 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-15 22:47:34 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:c07a:8e6d:1ea3:2216) |
| 2022-05-15 22:48:00 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-05-15 22:48:45 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-15 22:51:10 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-05-15 22:53:58 +0200 | xaotuk | (~sasha@net110-38-245-109.mbb.telenor.rs) |
| 2022-05-15 22:54:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-05-15 22:55:18 +0200 | flupe | (~baboum@176-172-101-165.abo.bbox.fr) |
| 2022-05-15 22:55:58 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) |
| 2022-05-15 22:56:21 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-05-15 22:56:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-15 22:59:33 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-05-15 23:00:16 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-15 23:00:35 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-05-15 23:05:06 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-15 23:07:48 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-05-15 23:07:51 +0200 | Simon52 | (~Simon@ipbcc036f5.dynamic.kabel-deutschland.de) |
| 2022-05-15 23:09:22 +0200 | <Simon52> | Hey guys, does anybody have an idea why that " inhalt = inhalt ++ (dWort ++ " " ++ bWort ++ "\n")" brings me a parse error? |
| 2022-05-15 23:09:23 +0200 | <Simon52> | import System.IO |
| 2022-05-15 23:09:23 +0200 | <Simon52> | main :: IO() |
| 2022-05-15 23:09:24 +0200 | <Simon52> | main = do |
| 2022-05-15 23:09:24 +0200 | <Simon52> | let fullText = "" |
| 2022-05-15 23:09:25 +0200 | <Simon52> | putStrLn "Deutsches Wort:" |
| 2022-05-15 23:09:25 +0200 | <Simon52> | dWort <- getLine |
| 2022-05-15 23:09:26 +0200 | <Simon52> | if null dWort |
| 2022-05-15 23:09:26 +0200 | <Simon52> | then return () |
| 2022-05-15 23:09:27 +0200 | <Simon52> | else do |
| 2022-05-15 23:09:27 +0200 | <Simon52> | putStrLn "Bairisches Wort:" |
| 2022-05-15 23:09:28 +0200 | <Simon52> | bWort <- getLine |
| 2022-05-15 23:09:28 +0200 | <Simon52> | if null bWort |
| 2022-05-15 23:09:29 +0200 | <Simon52> | then return () |
| 2022-05-15 23:09:29 +0200 | <Simon52> | else do |
| 2022-05-15 23:09:30 +0200 | <Simon52> | putStrLn ("'" ++ dWort ++ "'" ++ " heisst auf Bairisch " ++ "'" ++ bWort ++ "'") |
| 2022-05-15 23:09:30 +0200 | <Simon52> | leseGriff <- openFile "woerterbuch.txt" ReadMode |
| 2022-05-15 23:09:31 +0200 | <Simon52> | inhalt <- hGetContents leseGriff |
| 2022-05-15 23:10:12 +0200 | Guest24 | (~Guest24@2601:407:c680:3410:68f3:fd0d:4e98:9595) |
| 2022-05-15 23:10:24 +0200 | <monochrom> | Ugh Simon52 please use a paste bin. Here: |
| 2022-05-15 23:10:25 +0200 | <Simon52> | I also would have handeled it differently, but I cannot figure out how to declare a string variable in that do-loop without it causing an error |
| 2022-05-15 23:10:28 +0200 | <monochrom> | @where paste |
| 2022-05-15 23:10:28 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-05-15 23:10:57 +0200 | <Simon52> | Thanks, here it is: https://paste.tomsmeding.com/5814MPmc |
| 2022-05-15 23:11:29 +0200 | andrey | (~andrey@p200300dbcf47c200eee061049814fce3.dip0.t-ipconnect.de) |
| 2022-05-15 23:12:27 +0200 | Guest24 | (~Guest24@2601:407:c680:3410:68f3:fd0d:4e98:9595) (Client Quit) |
| 2022-05-15 23:12:35 +0200 | <geekosaur> | you might want to use `when` instead of those if-then-else-s |
| 2022-05-15 23:12:36 +0200 | <monochrom> | I don't know how to explain "why" except "var = expr" is simply not a thing in do-notation. |
| 2022-05-15 23:12:40 +0200 | Guest24 | (~Guest24@2601:407:c680:3410:68f3:fd0d:4e98:9595) |
| 2022-05-15 23:12:47 +0200 | andrey_ | (~andrey@p200300dbcf3e23005cb23a11d813ffaf.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-15 23:12:56 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-05-15 23:13:14 +0200 | <Simon52> | monochrom how to solve it instead of that? |
| 2022-05-15 23:13:16 +0200 | <geekosaur> | there is no such thing as a "variable" in Haskell; you can't assign like that, the closest you get is <- (which is actually doing something else; see >>=) |
| 2022-05-15 23:13:36 +0200 | <geekosaur> | there is let but you still can't change a value that way |
| 2022-05-15 23:13:47 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-05-15 23:14:01 +0200 | sabry | (~sabry@197.37.135.141) (Quit: Client closed) |
| 2022-05-15 23:14:12 +0200 | <Simon52> | Ohh, now it seems to work (with let inhalt ...) |
| 2022-05-15 23:14:31 +0200 | <monochrom> | In do-notation there is a provision for "let var = expr" but just like the rest of Haskell it is not "update the variable" it is rather giving a name to a value. You will have no luck with "let inhalt = inhalt ++ ..." either. Choose a new name. |
| 2022-05-15 23:14:45 +0200 | <geekosaur> | typically if I were doing that I'd do something like https://paste.tomsmeding.com/mEA68sDg |
| 2022-05-15 23:15:14 +0200 | <geekosaur> | alternately I'd rearrange things so I could fmap the change over the readFile |
| 2022-05-15 23:15:49 +0200 | Rookie | (~Rookie@2601:407:c680:3410:68f3:fd0d:4e98:9595) |
| 2022-05-15 23:16:30 +0200 | <monochrom> | By the same logic, the inhalt="" and fullText="" at the beginning are dumb. |
| 2022-05-15 23:16:32 +0200 | Rookie | (~Rookie@2601:407:c680:3410:68f3:fd0d:4e98:9595) (Client Quit) |
| 2022-05-15 23:16:49 +0200 | <Simon52> | Yeah, you are right, I removed them |
| 2022-05-15 23:16:55 +0200 | Guest24 | (~Guest24@2601:407:c680:3410:68f3:fd0d:4e98:9595) () |
| 2022-05-15 23:17:03 +0200 | dcoutts | (~duncan@host86-187-173-90.range86-187.btcentralplus.com) |
| 2022-05-15 23:17:10 +0200 | <Simon52> | But that's the way it might would have worked in Java |
| 2022-05-15 23:17:22 +0200 | <Simon52> | But here things are different 😅 |
| 2022-05-15 23:17:42 +0200 | <Simon52> | Thanks for the input geekosaur |
| 2022-05-15 23:18:00 +0200 | rookiedoo | (~rookiedoo@2601:407:c680:3410:68f3:fd0d:4e98:9595) |
| 2022-05-15 23:18:05 +0200 | <Simon52> | What can I use instead of ReadMode? EditMode? |
| 2022-05-15 23:19:40 +0200 | <geekosaur> | changing the file mode won't help here |
| 2022-05-15 23:19:55 +0200 | <geekosaur> | Java has mutable values. Haskell doesn't |
| 2022-05-15 23:20:23 +0200 | m1dnight | (~christoph@78.22.9.5) (Ping timeout: 252 seconds) |
| 2022-05-15 23:20:24 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 248 seconds) |
| 2022-05-15 23:21:07 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-15 23:21:12 +0200 | <Simon52> | *** Exception: woerterbuch.txt: openFile: resource busy (file is locked) |
| 2022-05-15 23:21:46 +0200 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) |
| 2022-05-15 23:21:47 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-05-15 23:21:52 +0200 | <rookiedoo> | Does anyone have a suggestion on the best way to get in touch with devs who are able to build cardano defi apps? |
| 2022-05-15 23:23:36 +0200 | <geekosaur> | oh. that's because hGetContents is lazy. you need to force the read, generally by using seq |
| 2022-05-15 23:23:44 +0200 | <monochrom> | This is going to be a mess. hGetContents does lazy I/O, you have much less control on when the reading happens and when the file is closed. (No, code order does nothing.) |
| 2022-05-15 23:23:52 +0200 | <Simon52> | geekosaur What does using seq mean? |
| 2022-05-15 23:23:57 +0200 | <geekosaur> | :t seq |
| 2022-05-15 23:23:58 +0200 | <lambdabot> | a -> b -> b |
| 2022-05-15 23:23:59 +0200 | <monochrom> | The simplest way out is: Are you OK with writing to a different file? |
| 2022-05-15 23:24:27 +0200 | <Simon52> | monochrom You mean creating a new one? |
| 2022-05-15 23:24:32 +0200 | <monochrom> | Yes. |
| 2022-05-15 23:24:33 +0200 | <geekosaur> | seq promises that when its second argument is evaluated, so is its first |
| 2022-05-15 23:24:41 +0200 | <geekosaur> | but what monochrom is saying is easier |
| 2022-05-15 23:24:44 +0200 | <Simon52> | And overwriting the old one? Sure. Should have the name woerberbuch.txt |
| 2022-05-15 23:25:07 +0200 | <Simon52> | woerterbuch.txt, perdon |
| 2022-05-15 23:25:13 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2022-05-15 23:25:38 +0200 | <geekosaur> | the real way around it if you must keep the same name is to switch to strict I/O instead, since lazy I/O is a bit of a wart and hard to make behave |
| 2022-05-15 23:26:14 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-15 23:27:01 +0200 | <Simon52> | So I have to add a string consisting of two strings to the same file for every loop of the main method as long as the user wants. |
| 2022-05-15 23:27:02 +0200 | <Simon52> | How to handle that best? |
| 2022-05-15 23:29:28 +0200 | glguy | (x@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2022-05-15 23:30:17 +0200 | zer0bitz_ | (~zer0bitz@2001:2003:f444:8f00:312d:d371:2ac4:b717) (Ping timeout: 252 seconds) |
| 2022-05-15 23:30:27 +0200 | glguy | (x@libera/staff/glguy) |
| 2022-05-15 23:31:15 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 260 seconds) |
| 2022-05-15 23:31:46 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-05-15 23:32:34 +0200 | govertsnovert | (~govertsno@ip69-17-229-66.vif.net) |
| 2022-05-15 23:33:24 +0200 | xaotuk | (~sasha@net110-38-245-109.mbb.telenor.rs) (Ping timeout: 248 seconds) |
| 2022-05-15 23:33:44 +0200 | kmein | (~weechat@user/kmein) |
| 2022-05-15 23:34:13 +0200 | govertsnovert | (~govertsno@ip69-17-229-66.vif.net) (Quit: Leaving...) |
| 2022-05-15 23:38:29 +0200 | <Simon52> | Why won't it work like that? https://paste.tomsmeding.com/njPB0ps0 |
| 2022-05-15 23:38:51 +0200 | <Simon52> | I get *** Exception: ./woerterbuch.txt: openFile: resource busy (file is locked) |
| 2022-05-15 23:39:07 +0200 | <monochrom> | What we said. |
| 2022-05-15 23:39:19 +0200 | <monochrom> | readFile is as lazy as hGetContents. |
| 2022-05-15 23:39:25 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-05-15 23:40:05 +0200 | <Simon52> | Hmm. You suggested to overwrite the file? How would I do that? |
| 2022-05-15 23:40:22 +0200 | <monochrom> | No, I suggested writing to a different file. |
| 2022-05-15 23:40:41 +0200 | <Simon52> | And each do-iteration would require a different file? |
| 2022-05-15 23:40:43 +0200 | <monochrom> | I seriously don't understand how that became "overwrite the original file". |
| 2022-05-15 23:41:36 +0200 | <Simon52> | Sorry for the misinterpretation! |
| 2022-05-15 23:44:48 +0200 | Simon52 | (~Simon@ipbcc036f5.dynamic.kabel-deutschland.de) (Quit: Client closed) |
| 2022-05-15 23:48:46 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-15 23:49:14 +0200 | <monochrom> | This is just appending new data to a file, independent of existing data in the file. So just use appendFile, don't even read. |
| 2022-05-15 23:51:45 +0200 | nattiestnate | (~nate@202.138.250.53) (Quit: WeeChat 3.5) |
| 2022-05-15 23:55:33 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-15 23:56:55 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-05-15 23:59:28 +0200 | tafama | (~tafa@user/tafa) |
| 2022-05-15 23:59:49 +0200 | tafa | (~tafa@user/tafa) (Read error: Connection reset by peer) |