Logs: freenode/#haskell
| 2020-10-08 17:37:39 | → | Guest_46 joins (50ec28e9@ip-233.net-80-236-40.suresnes.rev.numericable.fr) |
| 2020-10-08 17:38:34 | → | nshepperd joins (~nshepperd@pool-96-239-61-124.nycmny.fios.verizon.net) |
| 2020-10-08 17:38:54 | × | zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving) |
| 2020-10-08 17:39:07 | <Habib> | hmm, looks like i do have process in my default package db |
| 2020-10-08 17:39:17 | → | zacts joins (~zacts@dragora/developer/zacts) |
| 2020-10-08 17:39:48 | <Habib> | i just didn't know it was a default package at the time, so i wanted to ensure it was installed by cabal and that if it tried to install it and it was already installed, it wouldn't fail |
| 2020-10-08 17:40:36 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7807:4c86:5073:949e) |
| 2020-10-08 17:41:16 | <Habib> | still, this behaviour isn't expected |
| 2020-10-08 17:41:29 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2020-10-08 17:41:37 | <Habib> | is System.Process part of Haskell2010? |
| 2020-10-08 17:41:51 | <geekosaur> | no |
| 2020-10-08 17:42:19 | <geekosaur> | it is part of the implementation of ghc, hence of ghc-lib which is part of ghc |
| 2020-10-08 17:43:02 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2020-10-08 17:43:07 | <Habib> | just checked, it isn't |
| 2020-10-08 17:43:25 | × | Cthalupa quits (~cthulhu@47.186.39.187) (Ping timeout: 264 seconds) |
| 2020-10-08 17:43:28 | <Habib> | ack, i keep repeating what people have already said |
| 2020-10-08 17:43:40 | <Habib> | i really need to get my irc scroll checked |
| 2020-10-08 17:45:09 | <Habib> | i'm gonna try this on a clean environment with a non-bundled library like aeson |
| 2020-10-08 17:46:11 | × | thir quits (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2020-10-08 17:47:08 | → | fendor joins (~fendor@77.119.131.69.wireless.dyn.drei.com) |
| 2020-10-08 17:47:28 | hackage | commander-cli 0.10.1.1 - A command line argument/option parser library https://hackage.haskell.org/package/commander-cli-0.10.1.1 (sgschlesinger) |
| 2020-10-08 17:48:10 | × | jneira_ quits (~jneira@118.red-176-83-71.dynamicip.rima-tde.net) (Ping timeout: 246 seconds) |
| 2020-10-08 17:48:33 | × | jneira quits (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) (Quit: Connection closed) |
| 2020-10-08 17:49:51 | → | thir joins (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) |
| 2020-10-08 17:50:45 | × | snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds) |
| 2020-10-08 17:52:00 | <Habib> | hmm, aeson just says “Up to date” when installing it and it's already there. something weird going on with process, perhaps due to being a bundled library already |
| 2020-10-08 17:53:38 | → | jneira_ joins (~jneira@225.red-176-87-26.dynamicip.rima-tde.net) |
| 2020-10-08 17:54:03 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-08 17:55:09 | × | thir quits (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2020-10-08 17:56:17 | × | int-e quits (~noone@int-e.eu) (Remote host closed the connection) |
| 2020-10-08 17:56:35 | → | sbp joins (~sbp@2001:19f0:6800:1102:5400:ff:fe11:39a1) |
| 2020-10-08 17:56:39 | → | snakemas1 joins (~snakemast@213.100.206.23) |
| 2020-10-08 17:57:35 | <sbp> | anybody know if Chris Penner hangs around here? |
| 2020-10-08 17:57:59 | × | geekosaur quits (ac3a3b6c@172.58.59.108) (Ping timeout: 245 seconds) |
| 2020-10-08 18:00:02 | × | hari1 quits (~hari@195.206.169.184) () |
| 2020-10-08 18:01:36 | × | snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 272 seconds) |
| 2020-10-08 18:02:58 | × | knupfer quits (~Thunderbi@200116b82ce4df00a0bd07f956f29bb7.dip.versatel-1u1.de) (Quit: knupfer) |
| 2020-10-08 18:03:10 | → | knupfer joins (~Thunderbi@200116b82ce4df00a0bd07f956f29bb7.dip.versatel-1u1.de) |
| 2020-10-08 18:04:56 | → | wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) |
| 2020-10-08 18:05:07 | × | jneira_ quits (~jneira@225.red-176-87-26.dynamicip.rima-tde.net) (Read error: Connection reset by peer) |
| 2020-10-08 18:05:18 | → | jneira_ joins (~jneira@80.30.101.206) |
| 2020-10-08 18:08:45 | → | geekosaur joins (ac3a3ed8@172.58.62.216) |
| 2020-10-08 18:16:44 | <dsal> | I've seen him now and then. |
| 2020-10-08 18:18:15 | × | catchme quits (uid355354@gateway/web/irccloud.com/x-ewqbboqewsctmvnj) (Quit: Connection closed for inactivity) |
| 2020-10-08 18:19:52 | × | andos quits (~dan@107-190-41-58.cpe.teksavvy.com) (Quit: Leaving) |
| 2020-10-08 18:21:03 | → | nados joins (~dan@107-190-41-58.cpe.teksavvy.com) |
| 2020-10-08 18:21:17 | → | snakemas1 joins (~snakemast@213.100.206.23) |
| 2020-10-08 18:21:48 | → | variable joins (~variable@185.244.214.216) |
| 2020-10-08 18:22:11 | variable | is now known as Guest36719 |
| 2020-10-08 18:23:13 | × | ralejs quits (~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer) |
| 2020-10-08 18:23:37 | → | snyp joins (~rksht@49.207.204.102) |
| 2020-10-08 18:23:53 | → | ralejs joins (~ralejs@2620:10d:c093:400::5:a494) |
| 2020-10-08 18:24:18 | <snyp> | "StateT Maybe a" vs "MaybeT State a" - don't you have to read the implementation to see how they're different? |
| 2020-10-08 18:25:22 | → | Tops21 joins (~Tobias@dyndsl-095-033-023-047.ewe-ip-backbone.de) |
| 2020-10-08 18:25:25 | × | zaquest quits (~notzaques@5.128.210.178) (Ping timeout: 264 seconds) |
| 2020-10-08 18:26:15 | <geekosaur> | no? you know that if the outer MaybeT fails you lose the State inside, whereas if reversed you keep the state, because it's outside |
| 2020-10-08 18:27:56 | <sbp> | dsal: ah. under what nickname? |
| 2020-10-08 18:28:01 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2020-10-08 18:28:05 | → | LKoen joins (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) |
| 2020-10-08 18:28:24 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 2020-10-08 18:28:47 | <lyxia> | sbp: he's on slack (functionalprogramming) under his own name. |
| 2020-10-08 18:28:59 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 2020-10-08 18:29:03 | × | Tops2 quits (~Tobias@dyndsl-095-033-023-047.ewe-ip-backbone.de) (Ping timeout: 265 seconds) |
| 2020-10-08 18:29:32 | × | zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving) |
| 2020-10-08 18:30:04 | <snyp> | geekosaur: Does "MaybeT State a" ever make sense to use? |
| 2020-10-08 18:30:12 | → | zacts joins (~zacts@dragora/developer/zacts) |
| 2020-10-08 18:30:26 | <geekosaur> | if the state is irrelevant in case of failure, yes |
| 2020-10-08 18:30:58 | → | thir joins (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) |
| 2020-10-08 18:31:44 | → | PerryThePlatypus joins (b644f401@182.68.244.1) |
| 2020-10-08 18:31:56 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-08 18:32:21 | → | chaosmasttter joins (~chaosmast@p200300c4a70b40010854fe5f0255a133.dip0.t-ipconnect.de) |
| 2020-10-08 18:32:39 | → | isovector1 joins (~isovector@172.103.216.166.cable.tpia.cipherkey.com) |
| 2020-10-08 18:33:33 | Gurkenglas_ | is now known as Gurkenglas |
| 2020-10-08 18:33:47 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:aced:b361:828c:f8f1) (Ping timeout: 272 seconds) |
| 2020-10-08 18:34:10 | <AWizzArd> | Can I use the unicode char `μ` in data constructors? I.e. data TimeUnit = NS | μs | MS | S |
| 2020-10-08 18:34:32 | <geekosaur> | it's a letter character, so yes |
| 2020-10-08 18:34:37 | <ski> | > isUpper 'μ' |
| 2020-10-08 18:34:40 | <lambdabot> | False |
| 2020-10-08 18:34:50 | <geekosaur> | oh, good point |
| 2020-10-08 18:34:52 | <PerryThePlatypus> | Hey, I wanted to improve my Haskell skillz. I wanted to try LeetCode but unfortunately they do not support Haskell. Any alternatives in mind? I don't need online IDE. |
| 2020-10-08 18:34:56 | <geekosaur> | has to be uppercase |
| 2020-10-08 18:35:35 | <AWizzArd> | Okay. |
| 2020-10-08 18:35:47 | <ski> | @unmtl StateT s (MaybeT m) a |
| 2020-10-08 18:35:47 | <lambdabot> | s -> m (Maybe (a, s)) |
| 2020-10-08 18:35:48 | <ski> | @unmtl MaybeT (StateT s m) a |
| 2020-10-08 18:35:49 | <lambdabot> | s -> m (Maybe a, s) |
| 2020-10-08 18:35:51 | <ski> | snyp ^ |
| 2020-10-08 18:36:17 | <geekosaur> | hm |
| 2020-10-08 18:36:18 | × | ralejs quits (~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer) |
| 2020-10-08 18:36:49 | → | ralejs joins (~ralejs@2620:10d:c093:400::5:a494) |
| 2020-10-08 18:37:25 | × | John20 quits (~John@82.46.59.122) (Ping timeout: 264 seconds) |
| 2020-10-08 18:37:26 | <AWizzArd> | > isUpper 'Μ' |
| 2020-10-08 18:37:29 | <lambdabot> | True |
| 2020-10-08 18:37:36 | × | PerryThePlatypus quits (b644f401@182.68.244.1) (Remote host closed the connection) |
| 2020-10-08 18:37:45 | <AWizzArd> | > (isUpper 'Μ', 'Μ' == 'M') |
| 2020-10-08 18:37:47 | <lambdabot> | (True,False) |
| 2020-10-08 18:37:54 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 2020-10-08 18:38:07 | × | thir quits (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-08 18:38:44 | → | int-e joins (~noone@silicon.int-e.eu) |
| 2020-10-08 18:39:39 | → | Wuzzy joins (~Wuzzy@p5790e6f5.dip0.t-ipconnect.de) |
All times are in UTC.