Logs: liberachat/#haskell
| 2021-07-07 23:03:57 | <maerwald> | this scopes the `h` for both the pattern match and the result side |
| 2021-07-07 23:03:58 | <mniip> | xs | h <- head xs, Just _ <- foo -> f h |
| 2021-07-07 23:04:29 | <maerwald> | right, also can |
| 2021-07-07 23:04:33 | × | sonat_suer quits (~manually_@24.133.69.243) (Quit: Client closed) |
| 2021-07-07 23:05:10 | <maerwald> | let's bikeshed which one is more readable |
| 2021-07-07 23:05:25 | <mniip> | flip f x (f -> g) | (g -> r) <- x = r |
| 2021-07-07 23:05:30 | → | vish joins (~igloo@24.130.32.174) |
| 2021-07-07 23:07:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-07 23:07:35 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-07 23:08:26 | × | vish quits (~igloo@24.130.32.174) (Remote host closed the connection) |
| 2021-07-07 23:11:58 | → | ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398) |
| 2021-07-07 23:12:53 | → | Atum__ joins (~IRC@user/atum/x-2392232) |
| 2021-07-07 23:13:01 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Ping timeout: 246 seconds) |
| 2021-07-07 23:16:54 | × | mud quits (~mud@user/kadoban) (Ping timeout: 252 seconds) |
| 2021-07-07 23:19:41 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Quit: Leaving) |
| 2021-07-07 23:21:52 | × | nighmi quits (~felix@port-92-196-116-190.dynamic.as20676.net) (Quit: WeeChat 3.0.1) |
| 2021-07-07 23:23:41 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-07 23:23:57 | × | adanwan_ quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2021-07-07 23:24:12 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-07-07 23:25:09 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2021-07-07 23:28:21 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
| 2021-07-07 23:29:01 | → | sonat_suer joins (~sonat_sue@24.133.69.243) |
| 2021-07-07 23:29:37 | × | sonat_suer quits (~sonat_sue@24.133.69.243) (Client Quit) |
| 2021-07-07 23:29:59 | → | thelounge923068 joins (~thelounge@69.234.40.90) |
| 2021-07-07 23:31:09 | × | thelounge92306 quits (~thelounge@cpe-75-85-161-60.san.res.rr.com) (Ping timeout: 258 seconds) |
| 2021-07-07 23:31:52 | → | dajoer joins (~david@user/gvx) |
| 2021-07-07 23:32:11 | × | ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 252 seconds) |
| 2021-07-07 23:36:03 | → | ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398) |
| 2021-07-07 23:38:01 | × | chomwitt quits (~Pitsikoko@athedsl-16082.home.otenet.gr) (Ping timeout: 265 seconds) |
| 2021-07-07 23:41:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-07 23:43:48 | × | mikail quits (~mikail@90.212.77.3) (Ping timeout: 258 seconds) |
| 2021-07-07 23:43:51 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2021-07-07 23:44:37 | → | thelounge9230681 joins (~thelounge@cpe-75-85-161-60.san.res.rr.com) |
| 2021-07-07 23:45:12 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-07-07 23:46:37 | × | thelounge923068 quits (~thelounge@69.234.40.90) (Ping timeout: 246 seconds) |
| 2021-07-07 23:47:53 | <lechner> | Hi, I am trying to follow "Structure of a simple project" here, and have 'cabal-install version 3.4.0.0', but i get 'cabal: unrecognised command: sandbox (try --help)'. Any pointers would be appreciated. Thanks! https://wiki.haskell.org/How_to_write_a_Haskell_program |
| 2021-07-07 23:49:03 | <geekosaur> | sandboxes were removed in 3.4, they were a temporary workaround until cabal got proper project support. (evidently someone needs to update the wiki) |
| 2021-07-07 23:49:12 | <Axman6> | I think the sandbox stuff is basically what the cabal new-* commands do be default |
| 2021-07-07 23:49:18 | <monochrom> | sandbox is not a v2 thing. cabal-install 3.4 is a step towards removing v1 features, this is the first one to go. |
| 2021-07-07 23:49:38 | <lechner> | bummer, i just upgraded from 3.0 because that did not have it either |
| 2021-07-07 23:50:04 | <monochrom> | I am too disilluioned to help keep the haskell wiki up to date. |
| 2021-07-07 23:50:31 | <lechner> | no need. i just need some quick help here please |
| 2021-07-07 23:50:58 | <monochrom> | Just ignore sandboxing commands? |
| 2021-07-07 23:51:54 | <monochrom> | To a large extent, you need know only two commands. |
| 2021-07-07 23:52:18 | <monochrom> | For playing with a package in a REPL: cabal repl |
| 2021-07-07 23:52:28 | <monochrom> | For installing an executable: cabal install |
| 2021-07-07 23:52:46 | <monochrom> | "configure" and "build" are already implied. |
| 2021-07-07 23:53:28 | <lechner> | why does Haq.hs from the wiki speficy base < 4.8 please |
| 2021-07-07 23:53:36 | <lechner> | specify |
| 2021-07-07 23:54:04 | <monochrom> | conservativeness and not knowing the future? (who does?) |
| 2021-07-07 23:54:24 | <monochrom> | I mean since it is now very clear that the article is at least like 10 years old. |
| 2021-07-07 23:55:00 | <geekosaur> | not going to be clear to a newcomer who has no idea what base versions map to what |
| 2021-07-07 23:55:09 | <geekosaur> | or cabal's history |
| 2021-07-07 23:55:42 | <monochrom> | But semantic versioning is widely known. |
| 2021-07-07 23:56:54 | <lechner> | it works without |
| 2021-07-08 00:08:45 | <Axman6> | Do we actually have a good resource for starting a new haskell project? I was asking the other day about something for scaffolding options, without particularly satisfying answers |
| 2021-07-08 00:09:21 | → | vish joins (~igloo@24.130.32.174) |
| 2021-07-08 00:09:24 | <Axman6> | stack new isn't terrible, but the docs say it's been labled as up for replacement for a long time, and I'm preferring cabal these days |
| 2021-07-08 00:10:07 | <monochrom> | The cabal user guide may have a section on this. I haven't checked. |
| 2021-07-08 00:10:31 | <geekosaur> | cabal init creates very barebones projects |
| 2021-07-08 00:10:40 | <monochrom> | A lot of bloggers would have very opinionated ones. I avoid knowing them. |
| 2021-07-08 00:10:54 | × | vish quits (~igloo@24.130.32.174) (Remote host closed the connection) |
| 2021-07-08 00:12:36 | <monochrom> | Some haskell books have a short chapter for this too. |
| 2021-07-08 00:14:41 | <monochrom> | Me, I learned by taking a look at the cabal user guide (and a much older, terser, more incomplete edition at that), and taking a look at some package sources. |
| 2021-07-08 00:15:43 | <monochrom> | and playing a bit with cabal init (now cabal init -i and answering "I want to answer a lot of questions") |
| 2021-07-08 00:15:53 | <AWizzArd> | Servant: type API = "foo" :> QueryParam "bar" String :> Get '[JSON] Baz |
| 2021-07-08 00:16:03 | <AWizzArd> | How can I explain that "bar" is required? |
| 2021-07-08 00:16:28 | <AWizzArd> | Can I do QueryParam' [Required] "bar" or something like that? |
| 2021-07-08 00:16:41 | <monochrom> | BTW I am still baffled that after I have taken the trouble to say "-i" they feel like making me repeat myself. |
| 2021-07-08 00:18:23 | <monochrom> | Every type parameter is required, at least as long as you want to end up with the desired kind. What is there to explain? The String there is also required. The Baz there is also required. |
| 2021-07-08 00:18:32 | → | warnz joins (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) |
| 2021-07-08 00:19:29 | <AWizzArd> | monochrom: what I mean is: my handler would get a Maybe String but I want it without the Maybe. |
| 2021-07-08 00:19:48 | <AWizzArd> | If the user does not supply the query parameter then my handler wouldn’t get called at all. |
| 2021-07-08 00:20:33 | × | trufas quits (~trufas@177.240.218.218) (Ping timeout: 265 seconds) |
| 2021-07-08 00:20:46 | → | trufas joins (~trufas@177.240.218.218) |
| 2021-07-08 00:21:08 | <AWizzArd> | type QueryParam = QueryParam' '[Optional, Strict] |
| 2021-07-08 00:21:24 | × | Atum__ quits (~IRC@user/atum/x-2392232) (Quit: Atum__) |
| 2021-07-08 00:22:47 | × | warnz quits (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) (Ping timeout: 252 seconds) |
| 2021-07-08 00:24:34 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-08 00:26:12 | × | Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2021-07-08 00:28:11 | → | mud joins (~mud@user/kadoban) |
| 2021-07-08 00:28:58 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2021-07-08 00:31:49 | → | andreabedini joins (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) |
| 2021-07-08 00:31:53 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-08 00:33:14 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 252 seconds) |
| 2021-07-08 00:34:28 | <Axman6> | you can replace Optional with Required right? |
| 2021-07-08 00:34:54 | × | zeenk quits (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
| 2021-07-08 00:36:00 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:f403:cf1e:97b5:1c9b) (Ping timeout: 252 seconds) |
| 2021-07-08 00:36:11 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 240 seconds) |
| 2021-07-08 00:36:33 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:f403:cf1e:97b5:1c9b) |
| 2021-07-08 00:38:40 | → | spruit11_ joins (~quassel@86-82-44-193.fixed.kpn.net) |
| 2021-07-08 00:39:47 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-08 00:41:03 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:f403:cf1e:97b5:1c9b) (Ping timeout: 252 seconds) |
| 2021-07-08 00:41:42 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-08 00:44:58 | → | derelict joins (~derelict@user/derelict) |
| 2021-07-08 00:45:48 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-08 00:48:39 | × | haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-07-08 00:48:42 | → | haykam2 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-08 00:54:35 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2021-07-08 00:58:18 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
All times are in UTC.