Newest at the top
2024-04-25 09:53:42 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-04-25 09:50:35 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) |
2024-04-25 09:49:26 +0200 | danza_ | (~francesco@151.43.170.223) |
2024-04-25 09:47:26 +0200 | causal | (~eric@50.35.88.207) |
2024-04-25 09:47:07 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 255 seconds) |
2024-04-25 09:38:41 +0200 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
2024-04-25 09:37:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-04-25 09:36:04 +0200 | zetef | (~quassel@5.2.182.98) |
2024-04-25 09:31:35 +0200 | kshube | (~kshube@49.207.195.24) (Ping timeout: 245 seconds) |
2024-04-25 09:25:11 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
2024-04-25 09:24:51 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-04-25 09:18:48 +0200 | renpose | (~renpose@user/renpose) (Quit: Client closed) |
2024-04-25 09:16:53 +0200 | totalghost | (~ghost@172-105-178-131.ip.linodeusercontent.com) (Ping timeout: 268 seconds) |
2024-04-25 09:08:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-25 09:06:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-25 09:03:03 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-04-25 08:58:44 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving) |
2024-04-25 08:56:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-25 08:55:32 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-04-25 08:55:31 +0200 | yin | (~yin@user/zero) |
2024-04-25 08:54:00 +0200 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
2024-04-25 08:53:43 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-04-25 08:53:22 +0200 | euleritian | (~euleritia@dynamic-176-004-206-216.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-25 08:50:42 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
2024-04-25 08:47:41 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 256 seconds) |
2024-04-25 08:45:35 +0200 | <jackdk> | it's more like `(&) = flip ($)`, no? |
2024-04-25 08:44:08 +0200 | <renpose> | Oh yeah, brainfart |
2024-04-25 08:43:46 +0200 | <renpose> | I like :$: |
2024-04-25 08:43:45 +0200 | <dminuoso> | No, ($) = id. |
2024-04-25 08:43:34 +0200 | <renpose> | `($) == flip id` isn't it? |
2024-04-25 08:43:32 +0200 | <dminuoso> | Or you could just straight up name it :$ or :$: |
2024-04-25 08:43:12 +0200 | <dminuoso> | Or you could just call it Dollar. :-) |
2024-04-25 08:42:57 +0200 | <dminuoso> | Apply might be a suitable name, though semigroupoids uses it for something else (namely Applicative sans pure) |
2024-04-25 08:41:59 +0200 | <dminuoso> | renpose: Mmm, it's a kind of lifted ($) I guess. |
2024-04-25 08:38:12 +0200 | <renpose> | Is it just a higher-kinded version of the identity functor? |
2024-04-25 08:37:02 +0200 | <renpose> | So I'm using HKD with the barbies package, and I ended up writing `newtype F a f = F (f a) deriving (Generic, FunctorB, ApplicativeB, TraversableB)` since I cannot use `type TyF f = Identity (f Ty)` and use `TyF` partially applied in a type family. What is `F`? Surely it has a name? |
2024-04-25 08:33:51 +0200 | renpose | (~renpose@user/renpose) |
2024-04-25 08:30:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-25 08:27:49 +0200 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
2024-04-25 08:17:23 +0200 | mima | (~mmh@aftr-62-216-211-38.dynamic.mnet-online.de) |
2024-04-25 08:17:16 +0200 | phma | (~phma@2001:5b0:212a:83b8:81d8:7229:2d03:5112) |
2024-04-25 08:16:20 +0200 | phma | (~phma@host-67-44-208-48.hnremote.net) (Read error: Connection reset by peer) |
2024-04-25 07:59:21 +0200 | totalghost | (~ghost@172-105-178-131.ip.linodeusercontent.com) |
2024-04-25 07:53:15 +0200 | <dminuoso> | While GHC will aggressively try to unbox Int, you cannot rely on that. |
2024-04-25 07:52:57 +0200 | <dminuoso> | It's a box around Int# |
2024-04-25 07:52:50 +0200 | <dminuoso> | In fact, Int will evaluate to Int. |
2024-04-25 07:52:11 +0200 | totalghost | (~ghost@172-105-178-131.ip.linodeusercontent.com) (Ping timeout: 264 seconds) |
2024-04-25 07:50:29 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-04-25 07:37:37 +0200 | danso_o | (~danso@user/danso) |
2024-04-25 07:37:28 +0200 | danso | (~danso@user/danso) (Ping timeout: 256 seconds) |