Newest at the top
2025-04-17 10:23:26 +0200 | inca | (~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 +0200 | merijn | (~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 +0200 | forell | (~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 +0200 | tzh | (~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 +0200 | merijn | (~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 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-17 10:05:14 +0200 | machinedgod | (~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 +0200 | fp | (~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 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-04-17 09:54:20 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
2025-04-17 09:53:33 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-04-17 09:53:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-17 09:51:18 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-04-17 09:48:33 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 248 seconds) |
2025-04-17 09:48:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-17 09:45:01 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2025-04-17 09:43:11 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
2025-04-17 09:43:08 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving) |
2025-04-17 09:38:23 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-04-17 09:35:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-17 09:33:18 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Quit: fp) |
2025-04-17 09:30:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-17 09:20:52 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-04-17 09:20:21 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
2025-04-17 09:19:29 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |