Logs: liberachat/#haskell
| 2021-08-19 21:30:55 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Remote host closed the connection) |
| 2021-08-19 21:33:00 | <aegon> | i guess auto doesn't work for string positional args |
| 2021-08-19 21:33:09 | <aegon> | switched over to strOption and things seem good |
| 2021-08-19 21:34:42 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-19 21:35:30 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-19 21:35:43 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-19 21:41:18 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-08-19 21:43:50 | <amesgen[m]> | jumper149: Note that backslashes don't work when CPP is enabled. |
| 2021-08-19 21:50:58 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Ping timeout: 252 seconds) |
| 2021-08-19 21:51:03 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-08-19 21:51:09 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-08-19 21:51:30 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Remote host closed the connection) |
| 2021-08-19 21:51:47 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-19 21:52:29 | → | azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) |
| 2021-08-19 21:52:37 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-08-19 21:55:30 | → | urdh joins (~urdh@user/urdh) |
| 2021-08-19 21:58:18 | → | tt1 joins (~User@pd9e4fba0.dip0.t-ipconnect.de) |
| 2021-08-19 21:59:24 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-19 22:03:37 | × | tt1 quits (~User@pd9e4fba0.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-08-19 22:07:30 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-19 22:07:53 | → | tt1 joins (~User@pd9e4fba0.dip0.t-ipconnect.de) |
| 2021-08-19 22:14:35 | × | tt1 quits (~User@pd9e4fba0.dip0.t-ipconnect.de) (Quit: tt1) |
| 2021-08-19 22:16:45 | × | dschrempf quits (~dominik@92-249-159-252.pool.digikabel.hu) (Quit: WeeChat 3.2) |
| 2021-08-19 22:20:36 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Remote host closed the connection) |
| 2021-08-19 22:20:51 | → | stefan-_ joins (~cri@42dots.de) |
| 2021-08-19 22:21:43 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-19 22:32:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-19 22:38:35 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-08-19 22:41:54 | × | dzdcnfzd quits (~anthonygr@104.132.34.65) (Quit: leaving) |
| 2021-08-19 22:51:00 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-08-19 22:52:13 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-19 22:53:18 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b950070172e7c3c578523.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-19 22:54:10 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2021-08-19 22:56:20 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Ping timeout: 250 seconds) |
| 2021-08-19 22:57:16 | → | Gurkenglas_ joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-19 22:59:51 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-19 23:00:00 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-19 23:00:16 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2021-08-19 23:00:17 | × | Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-08-19 23:04:34 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2021-08-19 23:04:40 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-08-19 23:06:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-19 23:07:13 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2021-08-19 23:08:30 | → | dajoer joins (~david@user/gvx) |
| 2021-08-19 23:09:18 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-19 23:10:10 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-19 23:13:55 | → | jgeerds joins (~jgeerds@55d473da.access.ecotel.net) |
| 2021-08-19 23:15:45 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-19 23:15:46 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-19 23:16:53 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
| 2021-08-19 23:18:25 | × | jgeerds quits (~jgeerds@55d473da.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2021-08-19 23:19:53 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-19 23:20:36 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2021-08-19 23:21:34 | → | jgeerds joins (~jgeerds@55d4b311.access.ecotel.net) |
| 2021-08-19 23:23:36 | → | gentauro joins (~gentauro@user/gentauro) |
| 2021-08-19 23:31:29 | × | bgamari quits (~bgamari@2001:470:e438::1) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-08-19 23:36:11 | → | bgamari joins (~bgamari@2001:470:e438::1) |
| 2021-08-19 23:42:08 | × | Reyu[M] quits (~reyureyuz@matrix.reyuzenfold.com) (Remote host closed the connection) |
| 2021-08-19 23:44:16 | × | d0ku quits (~d0ku@178.43.198.70.ipv4.supernova.orange.pl) (Ping timeout: 252 seconds) |
| 2021-08-19 23:50:04 | × | chomwitt quits (~chomwitt@2a02:587:dc0c:e200:12c3:7bff:fe6d:d374) (Remote host closed the connection) |
| 2021-08-19 23:52:13 | → | Reyu[M] joins (~reyureyuz@matrix.reyuzenfold.com) |
| 2021-08-20 00:01:47 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 268 seconds) |
| 2021-08-20 00:02:15 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-20 00:03:30 | × | Gurkenglas_ quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 250 seconds) |
| 2021-08-20 00:16:42 | × | jgeerds quits (~jgeerds@55d4b311.access.ecotel.net) (Ping timeout: 245 seconds) |
| 2021-08-20 00:20:41 | × | Reyu[M] quits (~reyureyuz@matrix.reyuzenfold.com) (Read error: Connection reset by peer) |
| 2021-08-20 00:21:09 | → | alx741 joins (~alx741@181.196.69.234) |
| 2021-08-20 00:23:18 | → | polyphem joins (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) |
| 2021-08-20 00:25:47 | <lechner> | Hi, I struggle with conditionals. Is it possible, in principle, to assign different values to the same variable, depending on a condition? I know only how to branch execution with Either. Thanks! |
| 2021-08-20 00:27:25 | <geekosaur> | > let bar = 5; foo | bar < 5 = 2 | otherwise = 1 in foo |
| 2021-08-20 00:27:27 | <lambdabot> | 1 |
| 2021-08-20 00:27:39 | <geekosaur> | > let bar = 4; foo | bar < 5 = 2 | otherwise = 1 in foo |
| 2021-08-20 00:27:40 | <lambdabot> | 2 |
| 2021-08-20 00:27:43 | <Axman6> | foo = = case something of Left x -> ...; Right y -> ... |
| 2021-08-20 00:27:59 | <Axman6> | foo = if cond then a else b |
| 2021-08-20 00:28:22 | <alexfmpe[m]> | > bool 1 2 True |
| 2021-08-20 00:28:24 | <lambdabot> | 2 |
| 2021-08-20 00:30:12 | <dsal> | lechner: Also, your variables don't. :) Do you have an example of what you'd like to see? |
| 2021-08-20 00:30:43 | <lechner> | dsal: that was exactly my issue! |
| 2021-08-20 00:30:55 | <lechner> | geekosaur: okay, that looks very Haskell-y. thanks! |
| 2021-08-20 00:32:15 | <lechner> | Axman6: i think ignored the "if then else" construct so far, for fear of falling into old harits |
| 2021-08-20 00:32:22 | <lechner> | habits |
| 2021-08-20 00:32:47 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-20 00:33:00 | <Axman6> | if is basically jjust syntax sugar for case cond of True -> a; False -> b (and will compile to exactly that) |
| 2021-08-20 00:33:24 | <Axman6> | we don't have the less safe if-then, only if-then-else |
| 2021-08-20 00:33:45 | <lechner> | Axman6: thanks for that explanation! |
| 2021-08-20 00:33:46 | <Axman6> | but yes, if you can use something more meaningful like a case statement on constructors with more meaningful names, do that |
| 2021-08-20 00:34:09 | <Axman6> | prefer case x of Nothing -> ... over if x == Nothing then ... |
| 2021-08-20 00:34:59 | <lechner> | it looks like haskell actually has everything other languages have, and more |
| 2021-08-20 00:35:15 | <dsal> | Haskell's missing a lot of things that makes it harder to replicate certain bugs. |
| 2021-08-20 00:35:18 | <lechner> | as usual, my brain is the problem |
| 2021-08-20 00:35:44 | <Axman6> | you can write PHP in any language though, C too, yes even in Haskell |
| 2021-08-20 00:36:30 | <dsal> | You can spin up a bunch of IORefs and make sure everything in your program runs in IO and has them in scope. It's just harder than doing something sensible. :) |
| 2021-08-20 00:37:18 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2021-08-20 00:38:09 | × | jacks2 quits (~bc8167eb@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-08-20 00:38:21 | <lechner> | dsal: i am slowly translating my Perl. according to emily p's recent podcast Perl is a common gateway drug at minute 4:00 https://www.buzzsprout.com/1817535/8984158-01-emily-pillmore |
| 2021-08-20 00:39:23 | <lechner> | dsal: $commitish here was giving me hives https://salsa.debian.org/lintian/kickoff/-/blob/master/add-lintian-tags#L112-134 |
| 2021-08-20 00:39:26 | <dsal> | Interesting. I've not intentionally touched perl in a probably 20 years. |
| 2021-08-20 00:39:36 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-20 00:39:44 | <lechner> | i inherited it |
All times are in UTC.