Logs: liberachat/#haskell
| 2026-02-27 07:42:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 07:43:34 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-02-27 07:45:18 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-27 07:47:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-27 07:58:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 07:59:23 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-02-27 08:02:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 08:03:25 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 08:08:28 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 276 seconds) |
| 2026-02-27 08:11:40 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 08:13:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 08:14:47 | → | oskarw joins (~user@user/oskarw) |
| 2026-02-27 08:15:58 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2026-02-27 08:16:18 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 08:17:33 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-27 08:18:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-27 08:19:27 | → | Square joins (~Square4@user/square) |
| 2026-02-27 08:19:58 | × | Googulator quits (~Googulato@2a01-036d-0106-0119-3163-e164-ab4d-fc66.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2026-02-27 08:21:03 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 08:25:35 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 08:29:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 08:29:57 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-02-27 08:34:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-27 08:34:37 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 08:39:21 | × | larsivi quits (~larsivi@user/larsivi) (Quit: WeeChat 4.8.1) |
| 2026-02-27 08:42:00 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-27 08:43:02 | → | tromp joins (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) |
| 2026-02-27 08:43:47 | × | tromp quits (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) (Client Quit) |
| 2026-02-27 08:43:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 08:45:17 | → | tromp joins (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) |
| 2026-02-27 08:46:00 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 08:46:41 | × | housemate quits (~housemate@2001:8004:6c50:754d:5f21:507e:f058:3bbb) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-27 08:50:33 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 255 seconds) |
| 2026-02-27 08:50:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-27 08:53:06 | × | Square quits (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2026-02-27 08:55:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 08:56:45 | → | chele joins (~chele@user/chele) |
| 2026-02-27 08:56:52 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-27 08:59:16 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 09:03:46 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 09:03:52 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-27 09:05:07 | → | img joins (~img@user/img) |
| 2026-02-27 09:05:08 | × | werneta quits (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2026-02-27 09:14:11 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-02-27 09:14:46 | × | Athas quits (athas@2a01:7c8:aaac:1cf:5b23:7d4e:8d70:47e1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2026-02-27 09:15:00 | → | Athas joins (athas@2a01:7c8:aaac:1cf:cf1a:69d5:5267:2743) |
| 2026-02-27 09:18:29 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 09:19:58 | × | tromp quits (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-27 09:22:57 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-27 09:26:47 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 09:31:31 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 264 seconds) |
| 2026-02-27 09:37:02 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-27 09:38:33 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2026-02-27 09:39:57 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 09:40:12 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-27 09:40:35 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2026-02-27 09:44:18 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 09:44:34 | → | Fischmie- joins (~Fischmiep@user/Fischmiep) |
| 2026-02-27 09:45:33 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 272 seconds) |
| 2026-02-27 09:47:46 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 09:54:08 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2026-02-27 09:57:24 | → | Googulator joins (~Googulato@team.broadbit.hu) |
| 2026-02-27 10:08:04 | → | tromp joins (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) |
| 2026-02-27 10:19:36 | × | EPic_ quits (apic@apic.name) (Quit: ffffffffffffffffffffffffuuuuuuuuuuuuuuuuuuuuuuuuuuu-) |
| 2026-02-27 10:21:06 | → | APic joins (apic@apic.name) |
| 2026-02-27 10:26:47 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-27 10:27:04 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-02-27 10:31:22 | → | Googulator69 joins (~Googulato@team.broadbit.hu) |
| 2026-02-27 10:34:28 | × | Googulator quits (~Googulato@team.broadbit.hu) (Ping timeout: 240 seconds) |
| 2026-02-27 10:44:35 | → | Enrico63 joins (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) |
| 2026-02-27 10:46:28 | × | cipherrot quits (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-27 10:49:39 | → | qqq joins (~qqq@185.54.22.240) |
| 2026-02-27 10:51:59 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 245 seconds) |
| 2026-02-27 10:57:38 | → | weary-traveler joins (~user@user/user363627) |
| 2026-02-27 10:58:37 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-02-27 11:02:39 | <yin> | in a parallel universe the term could have evolved to latin vita minutio -> vitamin |
| 2026-02-27 11:02:45 | <gentauro> | sm: when did I write that message? |
| 2026-02-27 11:02:46 | <gentauro> | :) |
| 2026-02-27 11:03:12 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-27 11:03:20 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-02-27 11:07:55 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-02-27 11:08:23 | <gentauro> | btw, is there a way to pass different context for functions parameters? Like: `foobar :: ((Foo a) => a -> String) -> ((Bar b) => b -> String) -> FooBar` |
| 2026-02-27 11:09:22 | <gentauro> | would it just to do: `foobar :: (Foo a, Bar b) => (a -> String) -> (b -> String) -> FooBar`? |
| 2026-02-27 11:10:13 | → | kaskal joins (~kaskal@2a02:8388:1a8b:7d00:6863:87bc:381d:11fa) |
| 2026-02-27 11:10:25 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2026-02-27 11:12:32 | → | misterfish joins (~misterfis@046044172198.static.ipv4.heldenvannu.net) |
| 2026-02-27 11:18:11 | <mauke> | depends on whether you want to apply those callbacks at different types |
| 2026-02-27 11:18:44 | <ski> | > let foo :: (Ord a => a -> a -> Bool) -> (Num a => a -> a) -> (Integral a => a -> a -> a); foo f g x y = if f x y then g x else y `mod` x in foo (>=) negate 3 8 |
| 2026-02-27 11:18:45 | <lambdabot> | 2 |
| 2026-02-27 11:18:58 | × | Enrico63 quits (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Ping timeout: 240 seconds) |
| 2026-02-27 11:19:14 | × | APic quits (apic@apic.name) (Ping timeout: 248 seconds) |
| 2026-02-27 11:20:06 | → | APic joins (apic@apic.name) |
| 2026-02-27 11:24:02 | <ski> | the first `foobar' is : caller picks two types `a' and `b', and passes two callbacks working on them. callee will pick instances `Foo a' and `Bar b' for those caller-chosen types |
| 2026-02-27 11:26:40 | × | rainbyte quits (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2026-02-27 11:27:04 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2026-02-27 11:27:15 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 11:28:51 | <ski> | (which seems to only make sense if either (a) those two callbacks will never be used; or (b) both `Foo' and `Bar' have a generic instance, working for all types; or (c) `FooBar' actually mentions `a' and `b', including being provided evidence for some instance(s) relating to `a' and `b', from which `Foo a' and `Bar b' can be derived; or (d) there's some GADT-matching going on (still asssuming `a' and `b' |
| 2026-02-27 11:28:57 | <ski> | occurs in `FooBar'), so that by learning more about `a' and `b', `foobar' can manage to provide the `Foo' and `Bar' instances to the callbacks) |
| 2026-02-27 11:30:28 | <ski> | while, the second `foobar' is : caller picks two types `a' and `b', and passes two callbackss working on them. *caller* also will pick and provide instances `Foo a' and `Bar b' (which should then be easier, given that caller picked `a' and `b', presumably knows more about them) |
| 2026-02-27 11:32:49 | <ski> | gentauro : in any case, `Cxt => (... -> ...)' is very different from `(Cxt => ...) -> ...'. in the former, evidence for `Cxt' is provided by the caller/user/consumer of the value (of this type); while in the latter, evidence for `Cxt' is provided by the callee/implementor/producer of the value |
All times are in UTC.