Newest at the top
2024-10-07 11:31:08 +0200 | <lortabac> | *not doing anything |
2024-10-07 11:31:00 +0200 | <lortabac> | I have various options between "not doing nothing and keep using the hack" and "make a full-fledged GHC proposal to implement this exactly as I have it in mind" |
2024-10-07 11:30:05 +0200 | <lortabac> | but it's a proof of concept, a proper implementation would require modifying GHC |
2024-10-07 11:29:07 +0200 | <lortabac> | I've written a library to "fix" implicit parameters via a hack + a GHC plugin |
2024-10-07 11:28:02 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-07 11:27:33 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-07 11:26:39 +0200 | [exa] | curious |
2024-10-07 11:24:44 +0200 | <lortabac> | more like a GHC proposal |
2024-10-07 11:24:27 +0200 | <lortabac> | yes |
2024-10-07 11:24:12 +0200 | <kuribas> | lortabac: You have a project? |
2024-10-07 11:16:33 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2024-10-07 11:14:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-07 11:13:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
2024-10-07 11:10:20 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-10-07 11:10:03 +0200 | CiaoSen | (~Jura@2a05:5800:2e4:9e00:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-07 11:10:03 +0200 | onliner10 | (~onliner10@user/onliner10) (Remote host closed the connection) |
2024-10-07 11:09:56 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-07 11:09:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
2024-10-07 11:08:04 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-10-07 11:02:04 +0200 | ZLima12_ | ZLima12 |
2024-10-07 10:57:55 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-07 10:55:20 +0200 | <lortabac> | I'm coming with a couple of colleagues |
2024-10-07 10:53:33 +0200 | chele | (~chele@user/chele) chele |
2024-10-07 10:52:47 +0200 | <kuribas> | Anyone coming to munihac? |
2024-10-07 10:51:53 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-10-07 10:46:12 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-07 10:35:59 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2024-10-07 10:35:23 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-10-07 10:26:09 +0200 | rosco | (~rosco@175.136.23.101) (Read error: Connection reset by peer) |
2024-10-07 10:19:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-07 10:12:39 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-07 10:09:26 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-10-07 10:08:36 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-10-07 10:07:20 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-10-07 10:06:16 +0200 | <jle`> | it doesn't do anything smart afaict |
2024-10-07 10:05:50 +0200 | <jle`> | famubu: i wonder if you can use the Set generator |
2024-10-07 10:04:20 +0200 | <famubu> | https://hackage.haskell.org/package/hedgehog-1.5/docs/Hedgehog-Gen.html#v:sample |
2024-10-07 10:04:17 +0200 | <famubu> | Hi. In hedgehog, is there a way to generate n unqiue samples? We can use `Gen.sample` to get one sample. But using it repeatedly could give non-uniques samples. |
2024-10-07 10:03:06 +0200 | famubu | (~julinuser@user/famubu) famubu |
2024-10-07 10:03:06 +0200 | famubu | (~julinuser@14.139.174.50) (Changing host) |
2024-10-07 10:03:06 +0200 | famubu | (~julinuser@14.139.174.50) famubu |
2024-10-07 10:00:54 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) m1dnight |
2024-10-07 09:54:46 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2024-10-07 09:53:23 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-10-07 09:52:48 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Ping timeout: 265 seconds) |
2024-10-07 09:46:58 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
2024-10-07 09:42:41 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-07 09:41:09 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-10-07 09:40:51 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Client Quit) |
2024-10-07 09:36:47 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |