Newest at the top
| 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) |
| 2025-12-01 09:34:57 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 2025-12-01 09:30:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-01 09:30:37 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-01 09:24:31 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-01 09:18:07 +0100 | kuribas | (~user@2a02-1810-2825-6000-91ce-6f5d-5219-16e3.ip6.access.telenet.be) kuribas |
| 2025-12-01 09:13:50 +0100 | Googulator94 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 09:13:42 +0100 | Googulator20 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 09:09:41 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-12-01 09:09:07 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-12-01 09:01:16 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-01 09:01:03 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-01 09:00:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-01 08:56:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-01 08:56:06 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2025-12-01 08:51:14 +0100 | <lucabtz> | hello, in https://hackage-content.haskell.org/package/adjunctions-4.4.3/docs/Data-Functor-Adjunction.html shouldn't it be saying "Any implementation is required to ensure that leftAdjunct and rightAdjunct witness an isomorphism from Hom(f a, b) to Hom(a, g b)" (replacing Nat with Hom)? |
| 2025-12-01 08:46:51 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-01 08:45:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-01 08:44:10 +0100 | chele | (~chele@user/chele) chele |
| 2025-12-01 08:41:13 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-01 08:40:59 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-01 08:40:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-01 08:34:20 +0100 | Athas_ | Athas |