Newest at the top
| 2025-12-01 15:06:14 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-01 14:57:36 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-01 14:54:49 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-01 14:54:11 +0100 | __monty__ | (~toonn@user/toonn) (Client Quit) |
| 2025-12-01 14:54:10 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-01 14:50:05 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-01 14:50:05 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-12-01 14:50:05 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-12-01 14:47:45 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-01 14:47:10 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-12-01 14:45:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-12-01 14:42:45 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-12-01 14:42:31 +0100 | turlando_ | (~turlando@user/turlando) (Ping timeout: 244 seconds) |
| 2025-12-01 14:38:43 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 265 seconds) |
| 2025-12-01 14:37:39 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-12-01 14:37:08 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-01 14:35:42 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 14:35:30 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 14:34:37 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-01 14:25:46 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-12-01 14:25:04 +0100 | larsivi | (~larsivi@2001:2020:8341:7f8b:6585:e3fb:fff4:fe3f) (Ping timeout: 260 seconds) |
| 2025-12-01 14:22:08 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-12-01 14:19:16 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-12-01 14:18:37 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 246 seconds) |
| 2025-12-01 14:14:16 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 14:13:56 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 14:10:04 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-12-01 14:05:10 +0100 | Googulator24 | Googulator |
| 2025-12-01 13:58:47 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-01 13:58:07 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-01 13:55:54 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-12-01 13:54:58 +0100 | yin | (~zero@user/zero) zero |
| 2025-12-01 13:54:44 +0100 | yin | (~zero@user/zero) (Ping timeout: 260 seconds) |
| 2025-12-01 13:43:10 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-01 13:40:15 +0100 | <kuribas> | For example a type may be a class, which is a runtime entity. |
| 2025-12-01 13:39:53 +0100 | <kuribas> | jreicher: But dynamic language proponents don't think of types in terms of type theory. |
| 2025-12-01 13:39:29 +0100 | <kuribas> | jreicher: So you don't like the term... |
| 2025-12-01 13:38:24 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) |
| 2025-12-01 13:33:23 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-01 13:16:03 +0100 | <dminuoso> | As long as the type checker in python saves me more time on average than it wastes on account being wrong, its useful. |
| 2025-12-01 13:15:22 +0100 | <dminuoso> | One of the established rough description is that the type systems intention is to filter out as many bad programs, while filtering out as few good programs as possible. The false positive/negative rate is not perfect in any language. |
| 2025-12-01 13:14:22 +0100 | <lortabac> | :) |
| 2025-12-01 13:14:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-01 13:14:16 +0100 | <mniip> | many such cases in python |
| 2025-12-01 13:14:12 +0100 | <mniip> | don't you love when the static typechecker disagrees with the runtime typechecker |
| 2025-12-01 13:13:58 +0100 | <lortabac> | statically they are all the same type |
| 2025-12-01 13:13:58 +0100 | <dminuoso> | Sure, but that differentiation is only useful in the context of a type theory class at uni. |
| 2025-12-01 13:13:38 +0100 | <lortabac> | "unityped" is "dynamically typed" from the point of view of static type checking |
| 2025-12-01 13:12:05 +0100 | <dminuoso> | The presence of a static type system does not invalidate runtime assertions or checks either. |
| 2025-12-01 13:11:29 +0100 | <dminuoso> | I think the unityped/dynamically-typed differentiation is a kind of disjoint argument because they arise from fundamental different assumptions. At the core, both "type systems in the type theoretic sense" and "runtime tag checking" are both intended to prevent certain abnormal behaviors during runtime. |