Newest at the top
| 2026-02-27 12:30:28 +0100 | <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 12:28:57 +0100 | <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 12:28:51 +0100 | <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 12:27:15 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 12:27:04 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-27 12:26:40 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2026-02-27 12:24:02 +0100 | <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 12:20:06 +0100 | APic | (apic@apic.name) APic |
| 2026-02-27 12:19:14 +0100 | APic | (apic@apic.name) (Ping timeout: 248 seconds) |
| 2026-02-27 12:18:58 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Ping timeout: 240 seconds) |
| 2026-02-27 12:18:45 +0100 | <lambdabot> | 2 |
| 2026-02-27 12:18:44 +0100 | <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 12:18:11 +0100 | <mauke> | depends on whether you want to apply those callbacks at different types |
| 2026-02-27 12:12:32 +0100 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish |
| 2026-02-27 12:10:25 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-02-27 12:10:13 +0100 | kaskal | (~kaskal@2a02:8388:1a8b:7d00:6863:87bc:381d:11fa) kaskal |
| 2026-02-27 12:09:22 +0100 | <gentauro> | would it just to do: `foobar :: (Foo a, Bar b) => (a -> String) -> (b -> String) -> FooBar`? |
| 2026-02-27 12:08:23 +0100 | <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 12:07:55 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-27 12:03:20 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-02-27 12:03:12 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-27 12:02:46 +0100 | <gentauro> | :) |
| 2026-02-27 12:02:45 +0100 | <gentauro> | sm: when did I write that message? |
| 2026-02-27 12:02:39 +0100 | <yin> | in a parallel universe the term could have evolved to latin vita minutio -> vitamin |
| 2026-02-27 11:58:37 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-02-27 11:57:38 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-27 11:51:59 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 245 seconds) |
| 2026-02-27 11:49:39 +0100 | qqq | (~qqq@185.54.22.240) |
| 2026-02-27 11:46:28 +0100 | cipherrot | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-27 11:44:35 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-02-27 11:34:28 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Ping timeout: 240 seconds) |
| 2026-02-27 11:31:22 +0100 | Googulator69 | (~Googulato@team.broadbit.hu) |
| 2026-02-27 11:27:04 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-27 11:26:47 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-27 11:21:06 +0100 | APic | (apic@apic.name) APic |
| 2026-02-27 11:19:36 +0100 | EPic_ | (apic@apic.name) (Quit: ffffffffffffffffffffffffuuuuuuuuuuuuuuuuuuuuuuuuuuu-) |
| 2026-02-27 11:08:04 +0100 | tromp | (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) |
| 2026-02-27 10:57:24 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2026-02-27 10:54:08 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2026-02-27 10:47:46 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 10:45:33 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 272 seconds) |
| 2026-02-27 10:44:34 +0100 | Fischmie- | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2026-02-27 10:44:18 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 10:40:35 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2026-02-27 10:40:12 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-27 10:39:57 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 10:38:33 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-27 10:37:02 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-27 10:31:31 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 264 seconds) |
| 2026-02-27 10:26:47 +0100 | tales | (~tales@149.167.1.176) |