Newest at the top
| 2025-11-20 19:26:28 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) |
| 2025-11-20 19:18:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-20 19:17:26 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-11-20 19:14:56 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds) |
| 2025-11-20 19:13:35 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-20 19:13:28 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-11-20 19:09:49 +0100 | trickard | (~trickard@cpe-95-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-11-20 19:09:43 +0100 | trickard___ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-11-20 19:08:11 +0100 | Googulator | (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-20 19:08:06 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-20 19:07:52 +0100 | Googulator | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-20 19:06:20 +0100 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) (Leaving) |
| 2025-11-20 18:51:44 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-20 18:48:25 +0100 | annamalai | (~annamalai@2409:4042:4e39:7842::9e0a:bf0a) annamalai |
| 2025-11-20 18:48:11 +0100 | annamalai | (~annamalai@157.32.219.191) (Read error: Connection reset by peer) |
| 2025-11-20 18:39:24 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-20 18:36:07 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-20 18:35:18 +0100 | jzargo | (~jzargo@user/jzargo) jzargo |
| 2025-11-20 18:34:46 +0100 | Googulator84 | Googulator |
| 2025-11-20 18:33:38 +0100 | <fgarcia> | i like it though. ghc can be better at figuring out the types than i am. over half the time i will add the inferences to my source |
| 2025-11-20 18:30:40 +0100 | <fgarcia> | other times if i write multiple functions without signatures and am trying to figure out why the type checker is mad, adding signatures will help narrow down the exact line causing ghc's wrath |
| 2025-11-20 18:28:53 +0100 | <fgarcia> | oh, there are times when i have a function and ghci gets confused with the typing. that is what mandates the signature to me. though i also have warnings i have been ignoring too hehe |
| 2025-11-20 18:25:16 +0100 | <mauke> | MR doesn't apply to this code, though |
| 2025-11-20 18:24:35 +0100 | <mauke> | that's still a thing |
| 2025-11-20 18:24:31 +0100 | <probie> | sam113101: In most cases you don't _need_ to, but it's generally a good idea. However with the code you've posted, you should probably write one for `nextCollatz` (if that's what you're still looking at) |
| 2025-11-20 18:24:19 +0100 | <chromoblob> | there was also "monomorphism restriction" thingy, or got it changed in new GHC versions? |
| 2025-11-20 18:23:51 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-11-20 18:23:45 +0100 | <mauke> | they also help the type checker produce better error messages when something goes wrong |
| 2025-11-20 18:23:24 +0100 | <mauke> | but top-level type declarations can help the human reader (i.e. me) figure out what's going on |
| 2025-11-20 18:23:01 +0100 | <mauke> | in most cases types can be inferred automatically |
| 2025-11-20 18:22:45 +0100 | <chromoblob> | no, not absolutely, though it may help |
| 2025-11-20 18:21:14 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2025-11-20 18:19:40 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-11-20 18:19:10 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-20 18:18:11 +0100 | <sam113101> | do I absolutely need to write the types down? |
| 2025-11-20 18:16:29 +0100 | <fgarcia> | for multiple lines, it can instead be 'main = do' with the lines under that |
| 2025-11-20 18:15:59 +0100 | <fgarcia> | you can prefix the line with 'main = ' |
| 2025-11-20 18:14:24 +0100 | <sam113101> | thanks |
| 2025-11-20 18:13:27 +0100 | <geekosaur> | compiled Haskell is like C or Java, everything must be in a function or be a declaration, and the stuff you want to actually run must be in a function named main |
| 2025-11-20 18:12:55 +0100 | <geekosaur> | that last line is the problem |
| 2025-11-20 18:12:26 +0100 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-11-20 18:12:22 +0100 | <geekosaur> | not that I'll be able to hep you but I have to run; hopefully someone else is around, but they'll need to see that as well. The whole file, please. |
| 2025-11-20 18:12:04 +0100 | <sam113101> | https://paste.tomsmeding.com/BaeblCYG |
| 2025-11-20 18:11:43 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-11-20 18:11:30 +0100 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-11-20 18:11:29 +0100 | Googulator84 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-20 18:11:10 +0100 | Googulator84 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-20 18:11:07 +0100 | tessier_ | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 264 seconds) |
| 2025-11-20 18:11:07 +0100 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 264 seconds) |
| 2025-11-20 18:10:57 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:b060:d053:cb8a:93d5) (Read error: Connection reset by peer) |