Newest at the top
| 2025-12-01 11:02:22 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-01 11:01:15 +0100 | <kuribas> | I suppose there are always trade-offs. |
| 2025-12-01 11:01:12 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-12-01 10:59:30 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-12-01 10:59:16 +0100 | trickard_ | trickard |
| 2025-12-01 10:57:29 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-01 10:57:15 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-01 10:56:23 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-12-01 10:55:02 +0100 | semifunctor | (~omnifunct@user/semifunctor) (Leaving) |
| 2025-12-01 10:51:08 +0100 | <kuribas> | I spend a whole day once refactoring clojure database queries, because the schema changed. |
| 2025-12-01 10:50:35 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-12-01 10:49:57 +0100 | michalz | (~michalz@185.246.207.193) |
| 2025-12-01 10:49:22 +0100 | <kuribas> | Changing to another schema. |
| 2025-12-01 10:49:12 +0100 | <kuribas> | But refactoring would be a pita, where it would be trivial in haskell. |
| 2025-12-01 10:48:53 +0100 | <kuribas> | Yeah, I did some database queries in python using pypika, which isn't typed, and I didn't have a lot of problems with it. |
| 2025-12-01 10:47:53 +0100 | <lortabac> | you need to take into account how the code evolves over time etc. |
| 2025-12-01 10:47:34 +0100 | <Hecate> | kuribas: I feel like we're having this discussion every year haha |
| 2025-12-01 10:47:31 +0100 | <lortabac> | but I think it would be very hard to get the full picture |
| 2025-12-01 10:46:58 +0100 | <lortabac> | in order to get some evidence you may measure performance on a specific task |
| 2025-12-01 10:46:46 +0100 | <kuribas> | Except maybe missing dataframe libraries. |
| 2025-12-01 10:46:39 +0100 | <kuribas> | But for our usecases haskell would do just as well. |
| 2025-12-01 10:45:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-01 10:44:55 +0100 | <kuribas> | Even worse in idris2. |
| 2025-12-01 10:44:40 +0100 | <lortabac> | which of course isn't due to the programming paradigm but is still a factor |
| 2025-12-01 10:43:55 +0100 | <lortabac> | for lots of tasks I'd probably be less efficient in Haskell due to a lack of libraries |
| 2025-12-01 10:43:08 +0100 | <lortabac> | kuribas: that's very hard to determine in general |
| 2025-12-01 10:40:37 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-12-01 10:36:18 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-01 10:35:50 +0100 | Googulator20 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 10:35:50 +0100 | Googulator47 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 10:32:55 +0100 | <kuribas> | And for some tasks there is less advantages, like low level programming, complicated algorithms, ... |
| 2025-12-01 10:31:11 +0100 | <kuribas> | But it's hard to convince others. |
| 2025-12-01 10:31:07 +0100 | <kuribas> | I believe I am twice as efficient in haskell as in python/clojure/whatever. |
| 2025-12-01 10:30:53 +0100 | inline__ | Inline |
| 2025-12-01 10:30:13 +0100 | <kuribas> | Is there evidence that static functional typing leads to less defects and faster development time? |
| 2025-12-01 10:27:50 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-01 10:27:26 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-12-01 10:24:40 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2025-12-01 10:07:42 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-12-01 10:06:58 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-01 10:00:22 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-01 09:59:39 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-12-01 09:57:31 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-12-01 09:54:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-01 09:53:04 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 272 seconds) |
| 2025-12-01 09:52:55 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-12-01 09:52:03 +0100 | <lucabtz> | may ask also on #haskell-language-server if more appropriate |
| 2025-12-01 09:51:49 +0100 | <lucabtz> | also ive been having this issue with the haskell language server on windows + vscode https://paste.tomsmeding.com/WH7UrKNr |
| 2025-12-01 09:51:45 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-01 09:44:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) |