Logs: liberachat/#haskell
| 2025-12-21 21:47:47 | <hololeap> | haskell's type system can't prevent reverse-string footguns |
| 2025-12-21 21:48:22 | <hololeap> | (or anything of the nature of "the right things in the wrong places") |
| 2025-12-21 21:48:41 | <hololeap> | you still need to write tests |
| 2025-12-21 21:49:05 | × | FloorCalc quits (~user@user/FloorCalc) (Remote host closed the connection) |
| 2025-12-21 21:49:16 | <int-e> | just don't make mistakes ;) |
| 2025-12-21 21:49:54 | <c_wraith> | that's the part of programming people keep forgetting |
| 2025-12-21 21:49:54 | <hololeap> | of course :) |
| 2025-12-21 21:51:05 | <int-e> | The thing is, the given examples are too symmetric and part 1 is actually fine with the reversed input. So it's a pretty brilliant bug to have in this problem. |
| 2025-12-21 21:51:21 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-12-21 21:52:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 21:53:09 | <EvanR> | one day we will have the perfect type system that makes mistakes impossible |
| 2025-12-21 21:53:18 | <EvanR> | except writing the types wrong |
| 2025-12-21 21:54:12 | <EvanR> | before you can play an unlosable game you have to define the game |
| 2025-12-21 21:57:55 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-21 21:58:03 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 21:58:16 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 21:58:42 | → | skum joins (~skum@user/skum) |
| 2025-12-21 21:59:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 22:04:22 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 22:08:37 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-21 22:11:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 22:12:14 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-12-21 22:12:57 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-12-21 22:13:27 | <monochrom> | Don't play to play, just don't play. >:) |
| 2025-12-21 22:15:33 | <int-e> | I actually managed to get through this nerd snipe attack without writing a single line of code. (I did, however, google a writeup that included part 2.) |
| 2025-12-21 22:15:33 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 22:15:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 22:15:46 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 22:22:52 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 22:25:47 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-21 22:26:27 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-12-21 22:26:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 22:26:59 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 22:27:48 | jmcantrell_ | is now known as jmcantrell |
| 2025-12-21 22:32:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-21 22:42:16 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-21 22:42:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 22:47:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 22:54:56 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 265 seconds) |
| 2025-12-21 22:55:41 | <yin> | Lists belong in the Control namespace |
| 2025-12-21 22:56:27 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 22:58:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 23:03:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 23:13:43 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-21 23:14:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 23:17:21 | × | synchromesh quits (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) (Read error: Connection reset by peer) |
| 2025-12-21 23:18:17 | → | synchromesh joins (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) |
| 2025-12-21 23:18:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 23:19:51 | <EvanR> | also monads in the Data |
| 2025-12-21 23:26:37 | <haskellbridge> | <loonycyborg> If there's Data.Data then why there isn't Control.Control? :P |
| 2025-12-21 23:29:22 | <monochrom> | GHC has only recently begun to provided delimited continuations. But eventually Control.Control would be a great home for its stable API. :) |
| 2025-12-21 23:29:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 23:31:52 | × | corecaps quits (~quassel@user/corecaps) (Quit: Segmentaiton fault, core dumped) |
| 2025-12-21 23:36:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-21 23:38:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 23:39:03 | <probie> | EvanR: We already have the perfect type system that makes mistakes impossible |
| 2025-12-21 23:39:20 | <probie> | It's uninhabited |
| 2025-12-21 23:40:11 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-12-21 23:42:22 | <EvanR> | is that like Falso |
| 2025-12-21 23:42:39 | <EvanR> | https://inutile.club/estatis/falso/ |
| 2025-12-21 23:42:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-21 23:45:52 | <probie> | It's the opposite of Falso |
| 2025-12-21 23:47:29 | <probie> | If our type system has no inhabitants, there are no valid programs, and therefore none of our programs can have any mistakes |
| 2025-12-21 23:50:06 | × | Pozyomka quits (~pyon@user/pyon) (Quit: bbl) |
| 2025-12-21 23:51:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 23:53:50 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-21 23:56:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 23:59:50 | → | Square2 joins (~Square@user/square) |
| 2025-12-22 00:00:37 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-22 00:02:12 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-22 00:04:34 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-22 00:07:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 00:12:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 00:22:15 | <yin> | ah, the principle of implosion |
| 2025-12-22 00:23:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 00:23:29 | <monochrom> | I don't know, I see that as: since every program fails to type-check, so every program has mistakes |
| 2025-12-22 00:27:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 00:27:51 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2025-12-22 00:28:10 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-12-22 00:31:45 | <ncf> | MLTT + Π + Σ + {one of U or 0} would do |
| 2025-12-22 00:32:09 | <ncf> | (can't have a universe *and* an empty type because that typically means you have a code for the empty type in the universe, which is a term!) |
| 2025-12-22 00:33:37 | <ncf> | i suppose you could have U + coproducts |
| 2025-12-22 00:35:00 | <ncf> | oh, and identity types! |
| 2025-12-22 00:38:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 00:43:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 00:54:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 00:59:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 01:04:30 | × | ringo_ quits (~ringo@157.230.117.128) (Ping timeout: 256 seconds) |
| 2025-12-22 01:06:55 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 264 seconds) |
| 2025-12-22 01:08:03 | trickard_ | is now known as trickard |
| 2025-12-22 01:10:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 01:12:54 | → | ringo_ joins (~ringo@157.230.117.128) |
| 2025-12-22 01:14:15 | × | xff0x quits (~xff0x@2405:6580:b080:900:ae34:f81a:c4c2:4c9b) (Ping timeout: 252 seconds) |
| 2025-12-22 01:16:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 01:22:51 | → | omidmash1 joins (~omidmash@user/omidmash) |
| 2025-12-22 01:24:34 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-22 01:24:36 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-12-22 01:24:36 | omidmash1 | is now known as omidmash |
| 2025-12-22 01:24:44 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-12-22 01:28:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.