Newest at the top
| 2025-04-01 15:43:17 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f8289e7d3d4c6144767.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-01 15:38:28 +0200 | Otong | (~Otong@user/Otong) (Remote host closed the connection) |
| 2025-04-01 15:38:19 +0200 | Otong | (~Otong@user/Otong) Otong |
| 2025-04-01 15:37:40 +0200 | Otong | (~Otong@user/Otong) (Remote host closed the connection) |
| 2025-04-01 15:37:11 +0200 | Otong | (~Otong@user/Otong) Otong |
| 2025-04-01 15:33:01 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:553a:e935:8c4f:3651) |
| 2025-04-01 15:23:43 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-04-01 15:23:04 +0200 | Digit | (~user@user/digit) (Ping timeout: 272 seconds) |
| 2025-04-01 15:22:22 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-04-01 15:14:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) |
| 2025-04-01 15:13:38 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-04-01 15:10:05 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-04-01 15:06:51 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-04-01 15:05:28 +0200 | Googulator18 | (~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) |
| 2025-04-01 15:05:11 +0200 | Googulator18 | (~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-01 14:59:21 +0200 | <hellwolf> | is there optimization regarding single-constructor data type? |
| 2025-04-01 14:51:27 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-04-01 14:50:55 +0200 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-04-01 14:46:24 +0200 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-04-01 14:41:43 +0200 | jespada | (~jespada@2800:a4:2256:6500:9933:8787:b375:7c3e) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-04-01 14:36:52 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-01 14:34:44 +0200 | <tomsmeding> | (This reasoning doesn't quite hold up for single-constructor data types, but for uniformity and "principle of least surprise" it makes much more sense to extend this principle to single-constructor data types too.) |
| 2025-04-01 14:34:15 +0200 | <tomsmeding> | (in order to know that it is indeed that constructor, the runtime will have to evaluate it down to a constructor anyway. That's why it's strict.) |
| 2025-04-01 14:33:31 +0200 | srk | (~sorki@user/srk) srk |
| 2025-04-01 14:33:27 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-04-01 14:25:42 +0200 | Googulator18 | (~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) |
| 2025-04-01 14:25:24 +0200 | Googulator18 | (~Googulato@178-164-243-34.pool.digikabel.hu) (Quit: Client closed) |
| 2025-04-01 14:21:30 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-04-01 14:20:15 +0200 | srk | (~sorki@user/srk) (Ping timeout: 244 seconds) |
| 2025-04-01 14:17:00 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-01 14:16:47 +0200 | <hellwolf> | makes sense. |
| 2025-04-01 14:16:41 +0200 | <hellwolf> | good to know. thanks hlint. |
| 2025-04-01 14:16:02 +0200 | <hellwolf> | just read the doc. |
| 2025-04-01 14:15:56 +0200 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 2025-04-01 14:15:56 +0200 | <lambdabot> | <hint>:1:64: error: |
| 2025-04-01 14:15:54 +0200 | <hellwolf> | > Bang patterns do not have any effect with constructor patterns: |
| 2025-04-01 14:15:22 +0200 | jespada | (~jespada@2800:a4:2256:6500:9933:8787:b375:7c3e) jespada |
| 2025-04-01 14:14:49 +0200 | <hellwolf> | This one I did not know. Why It is a "redundant bang pattern" using in line 4: https://paste.tomsmeding.com/1KVgpGax ? |
| 2025-04-01 14:00:51 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-04-01 13:57:28 +0200 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-04-01 13:46:48 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds) |
| 2025-04-01 13:46:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-01 13:45:58 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-04-01 13:44:21 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-04-01 13:41:09 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-04-01 13:35:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) |
| 2025-04-01 13:31:12 +0200 | <Leary> | Indeed. |
| 2025-04-01 13:29:36 +0200 | <kqr> | I guess that is a vote in favour of Alternative? |
| 2025-04-01 13:24:39 +0200 | <lambdabot> | (["","a"],[Nothing,Just 'a']) |
| 2025-04-01 13:24:37 +0200 | <Leary> | > let test = [guard False $> 'a', guard True $> 'a'] in (test :: [String], test :: [Maybe Char]) |