Newest at the top
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) |
2024-04-25 07:37:18 +0200 | acidjnk | (~acidjnk@p200300d6e714dc7109d5fea24ae1df5e.dip0.t-ipconnect.de) |
2024-04-25 07:35:00 +0200 | attebregge | (~adam@user/attebregge) (Quit: Lost terminal) |
2024-04-25 07:34:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-25 07:30:08 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-04-25 07:26:25 +0200 | zetef | (~quassel@5.2.182.98) |
2024-04-25 07:23:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-25 07:18:43 +0200 | euleritian | (~euleritia@dynamic-176-004-206-216.176.4.pool.telefonica.de) |
2024-04-25 07:17:17 +0200 | yin | (~yin@user/zero) |
2024-04-25 07:17:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-04-25 07:17:00 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-04-25 07:11:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-25 07:11:25 +0200 | euleritian | (~euleritia@dynamic-176-004-206-216.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-25 07:10:50 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |