Newest at the top
| 2025-11-11 05:34:22 +0100 | <jreicher> | Square2: what language(s) do they already know? |
| 2025-11-11 05:33:21 +0100 | <mange> | What DSL library are you using that needs Haskell, if you're not already using Haskell? |
| 2025-11-11 05:32:48 +0100 | <Square2> | be your* |
| 2025-11-11 05:32:21 +0100 | <Square2> | I'm going to give a talk at my company about Haskell to inspire some people to learn it, cause we'll be needing it for a DSL library. How would you pitch Haskell to middle age people that might not be you most curious programmers? |
| 2025-11-11 05:30:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-11 05:27:35 +0100 | polykernel_ | polykernel |
| 2025-11-11 05:27:34 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 246 seconds) |
| 2025-11-11 05:25:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-11 05:25:33 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2025-11-11 05:17:36 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 05:17:23 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 05:14:27 +0100 | sm | (znc@plaintextaccounting/sm) () |
| 2025-11-11 05:14:25 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-11-11 05:05:42 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-11 05:00:49 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 05:00:36 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 04:56:44 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::8bad) (Read error: Connection reset by peer) |
| 2025-11-11 04:54:56 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-11 04:54:50 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-11 04:46:23 +0100 | deptype | (~deptype@2406:b400:3a:73c2:87a5:b5f2:d68c:7c8) |
| 2025-11-11 04:45:49 +0100 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
| 2025-11-11 04:45:38 +0100 | bionade24 | (~quassel@server2.oscloud.info) (Quit: Apocalypse Incoming!) |
| 2025-11-11 04:40:44 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 04:40:43 +0100 | Googulator96 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 04:36:08 +0100 | qqe | (~qqq@185.54.21.203) |
| 2025-11-11 04:33:12 +0100 | td_ | (~td@i53870938.versanet.de) |
| 2025-11-11 04:31:25 +0100 | td_ | (~td@i5387093B.versanet.de) (Ping timeout: 250 seconds) |
| 2025-11-11 04:13:10 +0100 | <EvanR> | A = Stream Bool would satisfy this using diagonalization to prove the existence part, if you could somehow get the "does not equal" to make sense |
| 2025-11-11 04:11:51 +0100 | Square3 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-11 04:10:28 +0100 | bggd | (~bgg@2a01:e0a:819:1510:c077:be4f:997f:e54a) |
| 2025-11-11 04:09:55 +0100 | <EvanR> | then A is sequence avoiding |
| 2025-11-11 04:08:30 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-11 04:08:04 +0100 | <EvanR> | for all streams of A, say xs, there exists an x such that for all i, x "does not equal" xs !! i |
| 2025-11-11 04:07:41 +0100 | <jreicher> | It can be countable but still not recursive. That's the really surprising case IMO. |
| 2025-11-11 04:06:48 +0100 | <EvanR> | I saw a constructive notion of "uncountable" floating around called "sequence avoiding" set, maybe could be repurposed for types |
| 2025-11-11 04:06:19 +0100 | <jreicher> | That's why I was asking about what haskell is representing with these "infinite sets". |
| 2025-11-11 04:05:42 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 04:05:37 +0100 | Googulator92 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 04:05:32 +0100 | <EvanR> | I meant Stream of Bool |
| 2025-11-11 04:05:08 +0100 | <EvanR> | diagonalization could be used to construct a missed sequence |
| 2025-11-11 04:04:18 +0100 | <EvanR> | if you tried to form a list of all Sequence of Bool, you'd fail to list them all |
| 2025-11-11 04:03:12 +0100 | <EvanR> | depends on your metatheory? |
| 2025-11-11 04:02:47 +0100 | <jreicher> | Are they only denumerable? |
| 2025-11-11 04:02:30 +0100 | <EvanR> | also haskell has "infinite sets" (types with infinite inhabitants) so that's not a deal breaker |
| 2025-11-11 04:02:09 +0100 | Sidney | (~Sidney@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Quit: Client closed) |
| 2025-11-11 04:01:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-11 03:56:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-11 03:50:21 +0100 | <geekosaur> | typeclasses |
| 2025-11-11 03:50:18 +0100 | <jreicher> | Took me ages to unlearn that expectation |
| 2025-11-11 03:50:14 +0100 | <geekosaur> | and patsyns |