Newest at the top
2024-10-09 12:16:35 +0200 | <tomsmeding> | I see |
2024-10-09 12:16:29 +0200 | <kuribas> | And it's passed to __getitem__ |
2024-10-09 12:16:13 +0200 | <kuribas> | The syntax creates a splice object. So in the end it's just sugar. |
2024-10-09 12:15:36 +0200 | <tomsmeding> | ah |
2024-10-09 12:15:26 +0200 | <kuribas> | splicing is just a special dunder method I think. |
2024-10-09 12:14:51 +0200 | <tomsmeding> | *syntax |
2024-10-09 12:14:48 +0200 | <tomsmeding> | but I guess it's also impossible to properly describe python's fancy s(p)licing syntac |
2024-10-09 12:14:32 +0200 | <tomsmeding> | I would categorise that under "not expressive enough" |
2024-10-09 12:14:23 +0200 | <kuribas> | Which would be possible in haskell or idris. |
2024-10-09 12:14:11 +0200 | <kuribas> | And they cannot capture the fact "I have a column with name 'foobar' and type 'int'" |
2024-10-09 12:14:08 +0200 | <tomsmeding> | I see |
2024-10-09 12:13:45 +0200 | <kuribas> | tomsmeding: it's not expressive enough. There are actually type annotations for pandas. They often don't work well. |
2024-10-09 12:10:33 +0200 | CiaoSen | (~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
2024-10-09 12:08:18 +0200 | <tomsmeding> | or is the type system not expressive enough for that |
2024-10-09 12:08:07 +0200 | <tomsmeding> | kuribas: I am not at all familiar with that space, but given that there are (external) type checkers for python, would someone not have contrived some external typing annotations for pandas or something? |
2024-10-09 12:07:21 +0200 | hseg | (~gesh@46.120.20.246) |
2024-10-09 12:00:48 +0200 | <kuribas> | But I'd say for a long running service, haskell would be a better choice than Python. |
2024-10-09 11:58:58 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2024-10-09 11:58:58 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-10-09 11:57:11 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-10-09 11:56:32 +0200 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) drdo |
2024-10-09 11:54:26 +0200 | famubu | (~julinuser@14.139.174.50) |
2024-10-09 11:53:53 +0200 | famubu | (~julinuser@user/famubu) (Ping timeout: 248 seconds) |
2024-10-09 11:50:01 +0200 | <kuribas> | Of course the chance to get anyone on board with using idris or haskell in my company would be close to 0% |
2024-10-09 11:49:07 +0200 | <kuribas> | Or even to idris2. |
2024-10-09 11:49:00 +0200 | <kuribas> | We could easily port the polars dataframe library to haskell, with some typesafe wrapper on top. |
2024-10-09 11:48:05 +0200 | <kuribas> | I wish there was more data science on haskell. The time I spend debugging pandas issues with missing indices etc would not have been there with a typed dataframes. |
2024-10-09 11:35:14 +0200 | gvg | (~dcd@user/gvg) (Ping timeout: 255 seconds) |
2024-10-09 11:28:34 +0200 | euleritian | (~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) |
2024-10-09 11:27:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-09 11:14:51 +0200 | Guest98 | (~Guest98@2406:7400:bd:df2a:e59e:ee5c:235f:b905) (Client Quit) |
2024-10-09 11:14:26 +0200 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) coldmountain |
2024-10-09 11:13:33 +0200 | Guest98 | (~Guest98@2406:7400:bd:df2a:e59e:ee5c:235f:b905) |
2024-10-09 11:12:22 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-09 11:12:04 +0200 | euleritian | (~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-09 10:54:51 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-10-09 10:48:52 +0200 | noctux | (~noctux@user/noctux) noctux |
2024-10-09 10:48:14 +0200 | noctux | (~noctux@user/noctux) (Ping timeout: 272 seconds) |
2024-10-09 10:44:25 +0200 | euleritian | (~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) |
2024-10-09 10:43:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-09 10:39:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-09 10:39:00 +0200 | euleritian | (~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-09 10:37:19 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-10-09 10:36:39 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2024-10-09 10:36:38 +0200 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 245 seconds) |
2024-10-09 10:29:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-10-09 10:28:26 +0200 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Client Quit) |
2024-10-09 10:27:15 +0200 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
2024-10-09 10:27:07 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-09 10:25:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |