2025/03/27

Newest at the top

2025-03-27 09:03:49 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-03-27 09:00:37 +0100tzh(~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 +0100Axman6wants a (IsString a, Semigroup a) => IsString (a -> a) instance so we can write C style strings "Hello, " "world!"
2025-03-27 08:49:43 +0100aetepe(~aetepe@188.119.58.34) aetepe
2025-03-27 08:49:39 +0100ft(~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 +0100aetepe(~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 +0100aetepe(~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 +0100acidjnk(~acidjnk@p200300d6e71c4f64d1428787ad85de6c.dip0.t-ipconnect.de) acidjnk
2025-03-27 08:28:52 +0100CiaoSen(~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 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-03-27 08:16:07 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2025-03-27 08:00:51 +0100caconym(~caconym@user/caconym) caconym
2025-03-27 08:00:03 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-03-27 07:58:47 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2025-03-27 07:57:20 +0100chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-03-27 07:57:07 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-03-27 07:54:08 +0100aetepe(~aetepe@188.119.58.34) (Ping timeout: 245 seconds)
2025-03-27 07:50:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-27 07:49:32 +0100aetepe(~aetepe@188.119.58.34) aetepe
2025-03-27 07:42:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-27 07:38:34 +0100aetepe(~aetepe@188.119.58.34) (Ping timeout: 260 seconds)
2025-03-27 07:33:50 +0100aetepe(~aetepe@188.119.58.34) aetepe
2025-03-27 07:31:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-27 07:27:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-27 07:24:34 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds)
2025-03-27 07:21:12 +0100zungi(~tory@user/andrewchawk) (Ping timeout: 264 seconds)
2025-03-27 07:16:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-27 07:13:07 +0100takuan(~takuan@d8D86B601.access.telenet.be)
2025-03-27 07:11:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-27 07:11:22 +0100ensyde(~ensyde@2601:5c6:c200:6dc0::7f7c)
2025-03-27 07:09:53 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-27 07:09:25 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)