Newest at the top
2025-01-12 19:24:54 +0100 | Digitteknohippie | Digit |
2025-01-12 19:22:22 +0100 | heichro | (~user@p200300c3cf22f300bc1703d5e161c514.dip0.t-ipconnect.de) (Quit: ERC 5.6 (IRC client for GNU Emacs 31.0.50)) |
2025-01-12 19:21:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-12 19:18:25 +0100 | <lambdabot> | ('.' /=) |
2025-01-12 19:18:25 +0100 | <heichro> | @pl \x -> x /= '.' |
2025-01-12 19:17:50 +0100 | heichro | (~user@p200300c3cf22f300bc1703d5e161c514.dip0.t-ipconnect.de) heichro |
2025-01-12 19:10:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-01-12 19:10:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-12 19:08:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
2025-01-12 19:08:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-01-12 19:05:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-12 18:59:51 +0100 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
2025-01-12 18:58:42 +0100 | <probie> | It's one thing to do it for programs being compiled, but to have it as the default for the interactive environment just seems _way_ too opinionated |
2025-01-12 18:58:25 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2025-01-12 18:57:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2025-01-12 18:56:25 +0100 | <probie> | (that's on 9.10.1) |
2025-01-12 18:55:52 +0100 | <probie> | I find it really annoying when I'm trying to use GHCi as a calculator that something "silly" like `liftA2 (,) head tail [1..10]` generates 10 lines of warning before giving me my result unless I run it with `-Wno-x-partial` |
2025-01-12 18:51:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-12 18:49:15 +0100 | Midjak | (~MarciZ@82.66.147.146) Midjak |
2025-01-12 18:47:20 +0100 | <probie> | tomsmeding: In actual backwards-incompatible changes, although I don't actually think it will happen. However, I think it might plausible in 5-10 years that `head` and `tail` disappear. |
2025-01-12 18:43:24 +0100 | stef204 | (~stef204@user/stef204) stef204 |
2025-01-12 18:41:25 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-01-12 18:41:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-12 18:36:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-12 18:35:28 +0100 | hellwolf | (~user@83f6-cc01-1ebf-4324-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
2025-01-12 18:33:59 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-01-12 18:32:33 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f06081469c6fc5c461d.dip0.t-ipconnect.de) acidjnk |
2025-01-12 18:29:28 +0100 | hellwolf | (~user@40c4-4c3f-bf6c-303b-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds) |
2025-01-12 18:28:08 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) paul_j |
2025-01-12 18:26:17 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Quit: Asta la vista) |
2025-01-12 18:25:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-12 18:21:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
2025-01-12 18:20:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-12 18:16:35 +0100 | <smiesner> | or does GHC just start at the non-terminal Module and goes with each production rule into smaller non-terminals? |
2025-01-12 18:16:23 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
2025-01-12 18:16:08 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Client Quit) |
2025-01-12 18:16:08 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
2025-01-12 18:15:54 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2025-01-12 18:10:57 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
2025-01-12 18:09:55 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f06145d2259bf66d21b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-01-12 18:09:42 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Client Quit) |
2025-01-12 18:09:28 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
2025-01-12 18:09:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2025-01-12 18:09:03 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2025-01-12 18:07:26 +0100 | tv | (~tv@user/tv) tv |
2025-01-12 18:04:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-12 17:57:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2025-01-12 17:57:08 +0100 | <smiesner> | however it seems this parser always expects to parse 'decs'. i think the approach in ghc is a bit nicer and better to read? |
2025-01-12 17:56:28 +0100 | <smiesner> | a different approach is shared here: https://gist.github.com/heitor-lassarote/9cc4203990352f5df5f6b84da9291df9 |
2025-01-12 17:52:45 +0100 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |