Logs: freenode/#haskell
| 2021-04-24 00:11:19 | × | Synthetica quits (uid199651@gateway/web/irccloud.com/x-jigmslouldxhdupx) (Quit: Connection closed for inactivity) |
| 2021-04-24 00:11:23 | <tanner_> | As a side note, I also tried func _ = (+1) and got a different error. This time about not being able to match types. |
| 2021-04-24 00:11:24 | <geekosaur> | you have func 1 = 2, which takes an argument |
| 2021-04-24 00:11:44 | <geekosaur> | all *other* definitions of func must therefore take an argument |
| 2021-04-24 00:12:08 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-qyszewyuetfjzacp) |
| 2021-04-24 00:13:00 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds) |
| 2021-04-24 00:13:14 | <geekosaur> | this is not required by standard Haskell but ghc requires it because of how it works |
| 2021-04-24 00:13:41 | <geekosaur> | "func _ = (+1)" does not do what you think |
| 2021-04-24 00:14:06 | <geekosaur> | it accepts and ignores a parameter, like func x = some_expression_that_doesn't_use_x |
| 2021-04-24 00:19:04 | <tanner_> | So func 1 = 2 means that func takes one argument, func = (+1) means that func evaluates to something that takes one argument, and func _ = (+1) is syntactic sugar for func x = (+1). Oh and the reason func x = (+1) doesn't work is because the rhs there should be of type Int not of type Int -> Int. Is this all correct? |
| 2021-04-24 00:19:32 | <geekosaur> | func itself takes 0 parameters and returns something that takes a parameter |
| 2021-04-24 00:19:44 | <geekosaur> | yes |
| 2021-04-24 00:20:04 | <geekosaur> | and ghc has this restriction that all definitions of func must have the same number of parameters |
| 2021-04-24 00:20:22 | <geekosaur> | so you *should* be able to do what you tried, but ghc won't allow it |
| 2021-04-24 00:24:30 | <tanner_> | Ok I think I got it. "func _ = (+1)" doesn't even make sense in this context. func = (+1) does make sense but for some reason ghc doesn't like it. |
| 2021-04-24 00:24:38 | <tanner_> | Thanks for your help. |
| 2021-04-24 00:24:39 | <monochrom> | Wait, "Note that all clauses defining a function must be contiguous, and the number of patterns in each clause must be the same." is straight from Haskell 2010 Report section 4.4.3.1 |
| 2021-04-24 00:24:46 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-24 00:25:28 | <geekosaur> | interesting. could have sworn that was a ghc wart. was it the same in H98? |
| 2021-04-24 00:25:52 | × | lordcirth_ quits (~lordcirth@2607:f2c0:95b3:4400:bc81:7608:42a7:e76a) (Ping timeout: 276 seconds) |
| 2021-04-24 00:26:44 | × | sz0 quits (uid110435@gateway/web/irccloud.com/x-cbtqvvpmzwwkflbr) (Quit: Connection closed for inactivity) |
| 2021-04-24 00:26:45 | <tanner_> | Hmm, I haven't read the Haskell Report yet, so I don't know what a "clause" or a "pattern"is. But... does my origional definition make sense? Or is there a good reason for that restriction that I'm just not realizing? |
| 2021-04-24 00:27:07 | <geekosaur> | according to monochrom it's just the rules |
| 2021-04-24 00:27:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-24 00:27:42 | <tanner_> | ok |
| 2021-04-24 00:27:53 | <geekosaur> | hm, same in H98 |
| 2021-04-24 00:28:10 | <geekosaur> | so I guess it's just illegal |
| 2021-04-24 00:30:26 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-24 00:31:24 | → | philderbeast joins (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) |
| 2021-04-24 00:35:09 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-24 00:38:05 | → | bennofs__ joins (~quassel@dynamic-089-012-022-232.89.12.pool.telefonica.de) |
| 2021-04-24 00:38:30 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-emjdgfahhcenqbut) |
| 2021-04-24 00:40:51 | → | zmijunkie joins (~Adium@87.122.222.145) |
| 2021-04-24 00:40:58 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-04-24 00:41:40 | × | zmijunkie1 quits (~Adium@87.123.48.31) (Ping timeout: 252 seconds) |
| 2021-04-24 00:41:41 | × | bennofs_ quits (~quassel@dynamic-077-013-079-233.77.13.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2021-04-24 00:47:50 | → | tabemann joins (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2021-04-24 00:48:00 | → | Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-04-24 00:48:41 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-24 00:51:34 | × | Codaraxis__ quits (~Codaraxis@92.223.89.199) (Ping timeout: 252 seconds) |
| 2021-04-24 00:53:31 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 2021-04-24 00:53:54 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-04-24 00:55:40 | × | tabemann quits (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-24 00:56:18 | → | tabemann joins (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2021-04-24 00:56:19 | → | erisco joins (~erisco@d24-57-249-233.home.cgocable.net) |
| 2021-04-24 00:59:22 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-04-24 00:59:45 | × | tabemann quits (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-24 01:00:05 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Quit: Leaving) |
| 2021-04-24 01:00:25 | → | tabemann joins (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2021-04-24 01:02:26 | × | tsaka_ quits (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 260 seconds) |
| 2021-04-24 01:05:33 | → | snowflake_ joins (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-24 01:05:57 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 2021-04-24 01:11:28 | × | jess quits (jess@freenode/staff/jess) (Quit: Lost terminal) |
| 2021-04-24 01:11:48 | × | philderbeast quits (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-24 01:12:24 | → | jess joins (jess@freenode/staff/jess) |
| 2021-04-24 01:21:31 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-04-24 01:22:04 | × | renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 245 seconds) |
| 2021-04-24 01:22:29 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-24 01:23:56 | → | drbean_ joins (~drbean@TC210-63-209-220.static.apol.com.tw) |
| 2021-04-24 01:28:11 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-24 01:28:22 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
| 2021-04-24 01:32:11 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9) |
| 2021-04-24 01:34:02 | × | xcmw quits (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-24 01:47:55 | × | xff0x quits (~xff0x@2001:1a81:52f5:ac00:2560:bbed:ada5:1f88) (Ping timeout: 250 seconds) |
| 2021-04-24 01:48:20 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-04-24 01:49:59 | → | xff0x joins (~xff0x@2001:1a81:5345:1000:b335:7ff7:cb5b:57a8) |
| 2021-04-24 01:53:28 | → | HarveyPwca joins (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) |
| 2021-04-24 01:55:42 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-24 01:56:40 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-24 01:58:15 | → | __minoru__shirae joins (~shiraeesh@46.34.206.138) |
| 2021-04-24 02:00:54 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2021-04-24 02:01:45 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-24 02:04:34 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 2021-04-24 02:07:52 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-04-24 02:09:11 | × | tmciver quits (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-04-24 02:11:05 | → | tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com) |
| 2021-04-24 02:12:56 | → | xcmw joins (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 2021-04-24 02:14:34 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-04-24 02:23:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-24 02:25:10 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-04-24 02:30:26 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-04-24 02:32:22 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-04-24 02:33:08 | × | MVQq quits (~anja@198.254.208.159) (Quit: q) |
| 2021-04-24 02:33:46 | → | MarcelineVQ joins (~anja@198.254.208.159) |
| 2021-04-24 02:36:04 | × | theDon quits (~td@94.134.91.183) (Ping timeout: 252 seconds) |
| 2021-04-24 02:38:08 | → | theDon joins (~td@94.134.91.143) |
| 2021-04-24 02:41:18 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-04-24 02:42:18 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-24 02:42:18 | finn_elija | is now known as Guest91582 |
| 2021-04-24 02:42:18 | FinnElija | is now known as finn_elija |
| 2021-04-24 02:43:16 | → | Katarushisu6 joins (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) |
| 2021-04-24 02:44:06 | → | vulcan01 joins (~Perpetual@c-73-254-191-149.hsd1.wa.comcast.net) |
| 2021-04-24 02:44:20 | × | dastomaten quits (~dastomate@0543f40b.skybroadband.com) (Ping timeout: 246 seconds) |
| 2021-04-24 02:44:28 | × | Katarushisu quits (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-04-24 02:44:29 | Katarushisu6 | is now known as Katarushisu |
| 2021-04-24 02:44:58 | → | dastomaten joins (~dastomate@0543f40b.skybroadband.com) |
| 2021-04-24 02:45:02 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-04-24 02:45:57 | × | Guest91582 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-24 02:46:25 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-04-24 02:46:51 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:243e:56b2:17ce:1eff) (Ping timeout: 250 seconds) |
All times are in UTC.