Newest at the top
| 2026-02-19 11:14:47 +0100 | <gentauro> | which makes sense |
| 2026-02-19 11:14:41 +0100 | <gentauro> | merijn: and Safe-Haskell -> https://old.reddit.com/r/haskell/comments/kbayi9/is_safe_haskell_still_being_developed/gffxtai/ |
| 2026-02-19 11:14:18 +0100 | <merijn> | Whereas yahb is a sandboxed ghci session |
| 2026-02-19 11:14:01 +0100 | <merijn> | gentauro: lambdabot is using the mueval library |
| 2026-02-19 11:13:42 +0100 | <gentauro> | «… there is a bot called yahb which runs your request in an actual GHCi prompt» |
| 2026-02-19 11:13:23 +0100 | <gentauro> | https://wiki.haskell.org/IRC_channel#Bots |
| 2026-02-19 11:13:19 +0100 | <[exa]> | depends on how you look at it |
| 2026-02-19 11:13:14 +0100 | <lambdabot> | Num a => a |
| 2026-02-19 11:13:13 +0100 | <[exa]> | :t 42 |
| 2026-02-19 11:12:44 +0100 | <gentauro> | so lambdabot is not wrapping `ghci` right? |
| 2026-02-19 11:12:20 +0100 | <lambdabot> | [1] |
| 2026-02-19 11:12:19 +0100 | <gentauro> | > [1] |
| 2026-02-19 11:12:01 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input `:' |
| 2026-02-19 11:12:00 +0100 | <gentauro> | > :t 42 |
| 2026-02-19 11:11:54 +0100 | <yahb2> | 42 :: Num a => a |
| 2026-02-19 11:11:54 +0100 | <gentauro> | % :t 42 |
| 2026-02-19 11:09:44 +0100 | <[exa]> | looks like they are the only voiced nicks here, together with dr haskellbridge |
| 2026-02-19 11:09:04 +0100 | <merijn> | I think it's pretty much just lambdabot and yahb, yeah |
| 2026-02-19 11:08:59 +0100 | <[exa]> | ( oh I mean yahb2 ) |
| 2026-02-19 11:07:34 +0100 | <[exa]> | as you command! lambdabot, yahb |
| 2026-02-19 11:05:54 +0100 | <gentauro> | what are the name of the bots here in this channel? Is there a command to invoke a list of them :) |
| 2026-02-19 10:59:14 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-02-19 10:56:32 +0100 | Googulator72 | Googulator |
| 2026-02-19 10:56:29 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 10:55:46 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d9a6:1966:8883:20ad) |
| 2026-02-19 10:54:10 +0100 | mangoiv | (~mangoiv@user/mangoiv) mangoiv |
| 2026-02-19 10:54:10 +0100 | mangoiv | (~mangoiv@2a01:4f9:c012:6c0e::) (Changing host) |
| 2026-02-19 10:54:05 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-19 10:53:14 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2026-02-19 10:53:06 +0100 | mangoiv | (~mangoiv@2a01:4f9:c012:6c0e::) |
| 2026-02-19 10:52:51 +0100 | mangoiv | (~mangoiv@user/mangoiv) (Server closed connection) |
| 2026-02-19 10:52:29 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d9a6:1966:8883:20ad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-19 10:49:01 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2026-02-19 10:47:11 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-19 10:46:47 +0100 | <chromoblob> | well, i was joking |
| 2026-02-19 10:40:39 +0100 | <gentauro> | jackdk: and sshine -> https://github.com/sdiehl/wiwinwlh/tree/master and https://sdiehl.github.io/wiwinwlh/ ;) |
| 2026-02-19 10:38:48 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds) |
| 2026-02-19 10:38:30 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-19 10:38:16 +0100 | chele | (~chele@user/chele) chele |
| 2026-02-19 10:38:11 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-19 10:35:38 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2026-02-19 10:34:55 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-19 10:34:51 +0100 | anpad | (~pandeyan@user/anpad) (Server closed connection) |
| 2026-02-19 10:32:21 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-19 10:31:37 +0100 | <int-e> | So, sure, we *could* do that, and there's a related thing in EmptyCase, but I strongly disagree that we should. |
| 2026-02-19 10:30:58 +0100 | <int-e> | The compiler error that a declaration has no corresponding definition is practically useful though. And note that the declaration doesn't have to be next to the definition, so depending on coding style this won't be immediately obvious. |
| 2026-02-19 10:29:01 +0100 | fp | (~Thunderbi@130.233.70.214) (Ping timeout: 267 seconds) |
| 2026-02-19 10:28:08 +0100 | <chromoblob> | when extension... |
| 2026-02-19 10:27:46 +0100 | <chromoblob> | it occured to me now that we should allow function definitions with no equations, which when called simply return "non-exhaustive patterns" error |
| 2026-02-19 10:27:29 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |