2025/04/17

Newest at the top

2025-04-17 10:23:26 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-17 10:22:29 +0200 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/QzItmSQZhhgYvudmKiGWwlCk/Jj0hkMx6nzA (4 lines)
2025-04-17 10:22:29 +0200 <haskellbridge> <sm> cool:
2025-04-17 10:20:37 +0200 <haskellbridge> <sm> actually I remember seeing such a map, I wonder where
2025-04-17 10:20:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 10:19:11 +0200 <tomsmeding> but I peruse this table fairly often
2025-04-17 10:18:58 +0200 <tomsmeding> it's sorted alphabetically, not by concept
2025-04-17 10:18:43 +0200 <tomsmeding> how about https://www.haskell.org/onlinereport/haskell2010/ + https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/table.html ?
2025-04-17 10:18:27 +0200 <haskellbridge> <sm> seems like the continent of Advanced Type Features has grown pretty vast
2025-04-17 10:18:06 +0200 <tomsmeding> including all the GHC extensions?
2025-04-17 10:17:45 +0200 <haskellbridge> <sm> I would really like an up to date accurate atlas of all of Haskell (or even just the language)
2025-04-17 10:16:55 +0200forell(~forell@user/forell) forell
2025-04-17 10:16:47 +0200 <haskellbridge> <sm> right you are. Some of the error messages are type families, only
2025-04-17 10:16:08 +0200 <haskellbridge> <sm> good to know, I maybe misread
2025-04-17 10:15:58 +0200 <haskellbridge> <sm> aiee
2025-04-17 10:15:53 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-04-17 10:15:49 +0200 <tomsmeding> the Strict family in strict-wrapper is a data family though, which is related but not quite the same
2025-04-17 10:15:23 +0200 <tomsmeding> basic type families are not so complex
2025-04-17 10:15:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 10:15:15 +0200 <tomsmeding> all the nitty-gritty details are complicated, sure
2025-04-17 10:15:12 +0200 <haskellbridge> <sm> but I see how it's used in strict-wrapper, that seems simple enough to use
2025-04-17 10:14:34 +0200 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/joUkRcuOzMUxtIIyKOZKEFIO/v9EHd00ulCY (4 lines)
2025-04-17 10:14:33 +0200 <haskellbridge> <sm> The general topic.. judging by
2025-04-17 10:13:56 +0200 <tomsmeding> which ones?
2025-04-17 10:13:39 +0200 <haskellbridge> <sm> type families seem pretty complicated
2025-04-17 10:12:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-17 10:06:11 +0200 <haskellbridge> <sm> heh, too much for me anyway. I just squint and nod, yes, yes, all fine...
2025-04-17 10:05:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 10:05:14 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-17 10:05:03 +0200 <tomsmeding> too much namespace confusion for haddock?
2025-04-17 10:04:56 +0200 <tomsmeding> sm: tangential, but the haddocks for that package are slightly broken: the source link for `pattern Strict` goes to `data Strict` in the class
2025-04-17 10:02:03 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
2025-04-17 10:01:38 +0200 <tomsmeding> Liamzee: what is a "channel for memory sharing"?
2025-04-17 09:55:38 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-17 09:54:20 +0200prdak(~Thunderbi@user/prdak) (Quit: prdak)
2025-04-17 09:53:33 +0200__monty__(~toonn@user/toonn) toonn
2025-04-17 09:53:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-17 09:51:18 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-04-17 09:48:33 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 248 seconds)
2025-04-17 09:48:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 09:45:01 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-04-17 09:43:11 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2025-04-17 09:43:08 +0200ft(~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving)
2025-04-17 09:38:23 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-04-17 09:35:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-17 09:33:18 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Quit: fp)
2025-04-17 09:30:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-17 09:20:52 +0200Lord_of_Life_Lord_of_Life
2025-04-17 09:20:21 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2025-04-17 09:19:29 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life