Logs: freenode/#haskell
| 2021-05-05 18:30:45 | <monochrom> | s/general/generally/ |
| 2021-05-05 18:34:40 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 268 seconds) |
| 2021-05-05 18:35:50 | × | bennofs_ quits (~quassel@dynamic-089-014-149-119.89.14.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-05-05 18:35:52 | <electricityZZZZ> | why is stack lagging ghc 9.0.1, it's reporting 8.10.4. i have told stack to update etc and built a fresh project |
| 2021-05-05 18:36:10 | → | bennofs_ joins (~quassel@dynamic-089-014-149-119.89.14.pool.telefonica.de) |
| 2021-05-05 18:36:11 | <electricityZZZZ> | that's a very counterintuitive syntax, for stack |
| 2021-05-05 18:36:24 | × | chisui quits (59f77c9f@i59F77C9F.versanet.de) (Quit: Connection closed) |
| 2021-05-05 18:36:32 | <geekosaur> | it's the standard way long options behave |
| 2021-05-05 18:36:47 | <enikar> | there is not a resolver for ghc 9, yet? |
| 2021-05-05 18:37:03 | <geekosaur> | andstack is lagging ghc because there hasn't been an lts release with 9.0.1, because most of the ecosystem is lagging 9.0.1 |
| 2021-05-05 18:37:46 | <monochrom> | I don't need 9.0.1 new stuff so I'm staying with 8.10.4 too. |
| 2021-05-05 18:37:53 | <electricityZZZZ> | i'm trying to define some simple types and work with them . i'm assuming that i should use recorddotsyntax for this ? |
| 2021-05-05 18:38:00 | <geekosaur> | and thre main new feature of 9.0.1 (linear types) has very few users as yet |
| 2021-05-05 18:38:25 | <monochrom> | simple types don't need RecordDotSyntax. At least my understand of "simple". |
| 2021-05-05 18:39:02 | <electricityZZZZ> | is it idiomatic to not name fields ... ? |
| 2021-05-05 18:39:04 | <monochrom> | I'm actually looking forward to 9.2 and potentially skipping 9.0.* entirely. |
| 2021-05-05 18:39:30 | <monochrom> | It is unidiomatic to use RecordDotSyntax. Please don't conflate issues. |
| 2021-05-05 18:39:44 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-akmjekqkfrijwwyl) (Quit: Connection closed for inactivity) |
| 2021-05-05 18:39:45 | <monochrom> | Then again you get to say "that's just because legacy" |
| 2021-05-05 18:39:48 | <electricityZZZZ> | do i define a getter function? |
| 2021-05-05 18:40:01 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 260 seconds) |
| 2021-05-05 18:40:07 | <monochrom> | The field name already doubles as getter function name. |
| 2021-05-05 18:40:52 | <monochrom> | I don't get it. Have you properly learned Haskell2010 record syntax? Or is your goal to just expect Javascript syntax to carry over? |
| 2021-05-05 18:41:13 | <davean> | electricityZZZZ: I would suggest you almsot definately don't want RecordDotSyntax. It doesn't give you features you didn't already have and it squats syntax space conflating things with function composition |
| 2021-05-05 18:41:44 | <electricityZZZZ> | so does the haskell community not have an agreed on method of defining types and accessing their fields? |
| 2021-05-05 18:42:05 | <davean> | Incorrect |
| 2021-05-05 18:42:13 | <monochrom> | OK you haven't properly learned Haskell2010 record syntax. |
| 2021-05-05 18:42:16 | <davean> | How did you even get to RecordDotSyntax? |
| 2021-05-05 18:42:23 | <davean> | Yah, you haven't looked at anything |
| 2021-05-05 18:42:28 | <davean> | this is defiantely covered in the basics |
| 2021-05-05 18:43:19 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 18:43:23 | → | undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-05 18:44:16 | <dmj`> | electricityZZZZ: if you just want access then use compose on the fields, if you want updates .... well now that will cost you |
| 2021-05-05 18:44:22 | <davean> | https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-680004.2 <-- "Labelled Fields" |
| 2021-05-05 18:44:44 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-05 18:44:45 | <electricityZZZZ> | right, i guess, ... do i idiomatically label or is it weird to label,...? |
| 2021-05-05 18:45:18 | <davean> | Labeling is common for larger datatypes, and when the lable has meaning |
| 2021-05-05 18:45:25 | <monochrom> | It is idiomatic to make your judgment on a case-by-case basis. |
| 2021-05-05 18:46:19 | <monochrom> | My understand of "simple" is that in simple cases the field names end up being totally unused. |
| 2021-05-05 18:46:55 | <monochrom> | This is what's wrong when a complainer hyperboles with saying "just a simple" all the time. |
| 2021-05-05 18:47:53 | <monochrom> | "This is just a simple type!" (it takes 100 lines of code to define) "I'm just asking a simple yes/no question!" (it is an NP-complete question.) |
| 2021-05-05 18:49:22 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds) |
| 2021-05-05 18:50:35 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-05 18:50:38 | <davean> | monochrom: so its decidable |
| 2021-05-05 18:51:02 | <davean> | monochrom: we exit simple when we get to semi-decidable |
| 2021-05-05 18:51:09 | <davean> | Those are "sorta simple" |
| 2021-05-05 18:51:16 | <monochrom> | :) |
| 2021-05-05 18:52:17 | <enikar> | so if simple is indecidable… let us inspect difficult questions :) |
| 2021-05-05 18:52:41 | <davean> | What is the last knowable busy beaver number? |
| 2021-05-05 18:57:16 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 2021-05-05 19:00:40 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan) |
| 2021-05-05 19:01:56 | × | ntqz quits (ntqz@gateway/vpn/protonvpn/ntqz) (Remote host closed the connection) |
| 2021-05-05 19:03:18 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-05 19:05:44 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-05-05 19:06:39 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-05-05 19:09:11 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-05 19:11:18 | → | Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-05-05 19:11:53 | × | mav1 quits (~mav@200116b8124c5f00be4a448485344013.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 2021-05-05 19:12:45 | × | daniil quits (8967c375@d-137-103-195-117.fl.cpe.atlanticbb.net) (Quit: Connection closed) |
| 2021-05-05 19:13:46 | × | Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 252 seconds) |
| 2021-05-05 19:14:21 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-05-05 19:16:31 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-05 19:19:49 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-05 19:27:06 | × | xcmw quits (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-05 19:27:15 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-05-05 19:28:34 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-05-05 19:30:19 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-05-05 19:32:05 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 2021-05-05 19:32:34 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-05 19:35:07 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-05-05 19:37:57 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-05-05 19:38:17 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-05 19:38:27 | → | zmijunkie joins (~Adium@87.122.212.2) |
| 2021-05-05 19:38:47 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-05 19:42:44 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 2021-05-05 19:43:18 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-05-05 19:44:52 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-05-05 19:46:39 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 2021-05-05 19:47:17 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-05 20:00:00 | → | jacks2 joins (~bc8134e3@217.29.117.252) |
| 2021-05-05 20:00:11 | ← | jacks2 parts (~bc8134e3@217.29.117.252) () |
| 2021-05-05 20:00:56 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-05-05 20:02:35 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-05-05 20:03:38 | → | xelxebar_ joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-05-05 20:03:57 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds) |
| 2021-05-05 20:04:46 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 2021-05-05 20:07:12 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-05-05 20:07:57 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) |
| 2021-05-05 20:10:11 | → | jacks2 joins (~bc8134e3@217.29.117.252) |
| 2021-05-05 20:13:25 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-05 20:17:00 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-05 20:18:57 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-05-05 20:25:12 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) () |
| 2021-05-05 20:29:31 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-05 20:30:13 | × | seliopou quits (seliopou@entropy.tmok.com) (Ping timeout: 252 seconds) |
| 2021-05-05 20:32:40 | → | seliopou joins (seliopou@entropy.tmok.com) |
| 2021-05-05 20:33:20 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-05 20:34:52 | → | gitgoood joins (~gitgood@80-44-12-75.dynamic.dsl.as9105.com) |
| 2021-05-05 20:35:49 | × | gitgoood quits (~gitgood@80-44-12-75.dynamic.dsl.as9105.com) (Remote host closed the connection) |
| 2021-05-05 20:36:15 | → | gitgoood joins (~gitgood@80-44-12-75.dynamic.dsl.as9105.com) |
All times are in UTC.