2025/01/12

Newest at the top

2025-01-12 19:24:54 +0100DigitteknohippieDigit
2025-01-12 19:22:22 +0100heichro(~user@p200300c3cf22f300bc1703d5e161c514.dip0.t-ipconnect.de) (Quit: ERC 5.6 (IRC client for GNU Emacs 31.0.50))
2025-01-12 19:21:01 +0100merijn(~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 +0100heichro(~user@p200300c3cf22f300bc1703d5e161c514.dip0.t-ipconnect.de) heichro
2025-01-12 19:10:50 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-12 19:10:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 19:08:25 +0100vanishingideal(~vanishing@user/vanishingideal) (Remote host closed the connection)
2025-01-12 19:08:00 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-01-12 19:05:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 18:59:51 +0100Digit(~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 +0100Digitteknohippie(~user@user/digit) Digit
2025-01-12 18:57:09 +0100merijn(~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 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 18:49:15 +0100Midjak(~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 +0100stef204(~stef204@user/stef204) stef204
2025-01-12 18:41:25 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-01-12 18:41:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-12 18:36:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 18:35:28 +0100hellwolf(~user@83f6-cc01-1ebf-4324-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2025-01-12 18:33:59 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-01-12 18:32:33 +0100acidjnk_new(~acidjnk@p200300d6e7283f06081469c6fc5c461d.dip0.t-ipconnect.de) acidjnk
2025-01-12 18:29:28 +0100hellwolf(~user@40c4-4c3f-bf6c-303b-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds)
2025-01-12 18:28:08 +0100paul_j(~user@8.190.187.81.in-addr.arpa) paul_j
2025-01-12 18:26:17 +0100paul_j(~user@8.190.187.81.in-addr.arpa) (Quit: Asta la vista)
2025-01-12 18:25:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-12 18:21:48 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-01-12 18:20:01 +0100merijn(~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 +0100dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-01-12 18:16:08 +0100dontdieych2(~quassel@user/dontdieych2) (Client Quit)
2025-01-12 18:16:08 +0100dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-01-12 18:15:54 +0100dontdieych2(~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-01-12 18:10:57 +0100dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-01-12 18:09:55 +0100acidjnk_new(~acidjnk@p200300d6e7283f06145d2259bf66d21b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-01-12 18:09:42 +0100dontdieych2(~quassel@user/dontdieych2) (Client Quit)
2025-01-12 18:09:28 +0100dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-01-12 18:09:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-12 18:09:03 +0100dontdieych2(~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-01-12 18:07:26 +0100tv(~tv@user/tv) tv
2025-01-12 18:04:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 17:57:29 +0100merijn(~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 +0100tv(~tv@user/tv) (Read error: Connection reset by peer)