Newest at the top
| 2025-03-27 09:47:02 +0100 | califax | (~califax@user/califx) califx |
| 2025-03-27 09:46:47 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-03-27 09:45:42 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-03-27 09:34:56 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-27 09:24:01 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-27 09:20:39 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::7f7c) (Ping timeout: 252 seconds) |
| 2025-03-27 09:09:58 +0100 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 245 seconds) |
| 2025-03-27 09:09:12 +0100 | vpan | (~vpan@212.117.1.172) |
| 2025-03-27 09:03:49 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-03-27 09:00:37 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-03-27 08:59:58 +0100 | <jackdk> | Axman6: how about `instance FromJSON a => IsString a`? |
| 2025-03-27 08:58:45 +0100 | <Axman6> | hmmmm, would that give simple multi-line strings too? |
| 2025-03-27 08:57:31 +0100 | Axman6 | wants a (IsString a, Semigroup a) => IsString (a -> a) instance so we can write C style strings "Hello, " "world!" |
| 2025-03-27 08:49:43 +0100 | aetepe | (~aetepe@188.119.58.34) aetepe |
| 2025-03-27 08:49:39 +0100 | ft | (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-03-27 08:45:32 +0100 | <haskellbridge> | <Liamzee> jackdk: thanks, it's a pretty cool lib |
| 2025-03-27 08:43:56 +0100 | <haskellbridge> | <Liamzee> since 9.4 |
| 2025-03-27 08:43:53 +0100 | <haskellbridge> | <Liamzee> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/type_errors.html |
| 2025-03-27 08:41:03 +0100 | aetepe | (~aetepe@188.119.58.34) (Ping timeout: 276 seconds) |
| 2025-03-27 08:39:29 +0100 | <haskellbridge> | <Liamzee> i'm actually surprised no one tried treating that facility as a joke programming technique, i.e, your program is encoded via custom type errors |
| 2025-03-27 08:38:38 +0100 | <haskellbridge> | <Liamzee> no, i mean, I forget which version added it, but apparently you can now write your own custom type errors |
| 2025-03-27 08:37:24 +0100 | <jackdk> | Liamzee: https://hackage.haskell.org/package/acme-smuggler |
| 2025-03-27 08:36:10 +0100 | <haskellbridge> | <Liamzee> erm, refering to my "let's make everything an overloaded string" idea |
| 2025-03-27 08:36:04 +0100 | <haskellbridge> | <Liamzee> the idea is so bad, i'm actually sort of surprised no one tried publishing "Acme-BreakTypeInferences" as a joke yet |
| 2025-03-27 08:35:40 +0100 | aetepe | (~aetepe@188.119.58.34) aetepe |
| 2025-03-27 08:33:17 +0100 | <haskellbridge> | <Liamzee> https://github.com/tomjaguarpaw/haskell-opaleye/blob/master/Doc/Tutorial/TutorialBasic.lhs |
| 2025-03-27 08:33:15 +0100 | <haskellbridge> | <Liamzee> i'm looking at Tomjaguarpaw's Opaleye, and... |
| 2025-03-27 08:30:20 +0100 | <haskellbridge> | <Liamzee> you can design an interface based around just, umm, building with overloaded strings and overlapping instances |
| 2025-03-27 08:29:51 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f64d1428787ad85de6c.dip0.t-ipconnect.de) acidjnk |
| 2025-03-27 08:28:52 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-03-27 08:28:50 +0100 | <haskellbridge> | <Liamzee> it'd actually be more of an overlapping instances problem, tbh |
| 2025-03-27 08:28:32 +0100 | <haskellbridge> | <Liamzee> it wouldn't be an orphan instance |
| 2025-03-27 08:24:48 +0100 | <Athas> | Orphan instances are such a bad idea, but they are so easy and convenient. |
| 2025-03-27 08:19:54 +0100 | <haskellbridge> | <Liamzee> did anyone literally have a (Foo -> Bar) IsString? |
| 2025-03-27 08:19:32 +0100 | <haskellbridge> | <Liamzee> in the early days of Haskell, before people figured out what a terrible idea abusing overloaded literals were |
| 2025-03-27 08:17:50 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-27 08:16:07 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-03-27 08:00:51 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-27 08:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-27 07:58:47 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-03-27 07:57:20 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-03-27 07:57:07 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-03-27 07:54:08 +0100 | aetepe | (~aetepe@188.119.58.34) (Ping timeout: 245 seconds) |
| 2025-03-27 07:50:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-27 07:49:32 +0100 | aetepe | (~aetepe@188.119.58.34) aetepe |
| 2025-03-27 07:42:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-27 07:38:34 +0100 | aetepe | (~aetepe@188.119.58.34) (Ping timeout: 260 seconds) |
| 2025-03-27 07:33:50 +0100 | aetepe | (~aetepe@188.119.58.34) aetepe |
| 2025-03-27 07:31:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-27 07:27:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |