Logs: liberachat/#haskell
| 2025-12-01 04:23:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 04:28:15 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-12-01 04:30:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-01 04:35:40 | × | Googulator31 quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 04:35:45 | → | Googulator39 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 04:41:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 04:45:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-01 04:53:35 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-12-01 04:55:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 04:59:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-01 05:05:43 | → | Googulator77 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 05:05:45 | × | Googulator39 quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 05:06:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 05:10:12 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-01 05:10:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-01 05:21:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 05:24:29 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-01 05:24:43 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-01 05:26:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-01 05:30:56 | × | X-Scale quits (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-12-01 05:35:37 | → | Googulator94 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 05:35:43 | × | Googulator77 quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 05:37:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 05:41:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-01 05:43:54 | → | Square2 joins (~Square4@user/square) |
| 2025-12-01 05:52:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 05:57:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-01 06:00:33 | × | Square quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-12-01 06:04:21 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2025-12-01 06:05:43 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-12-01 06:06:27 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-01 06:07:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 06:12:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-01 06:15:19 | × | larsivi quits (~larsivi@user/larsivi) (Ping timeout: 264 seconds) |
| 2025-12-01 06:23:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 06:28:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-01 06:31:14 | → | dhil joins (~dhil@5.151.29.137) |
| 2025-12-01 06:32:16 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 246 seconds) |
| 2025-12-01 07:03:33 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-12-01 07:07:15 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-01 07:07:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 07:11:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-01 07:12:46 | → | jreicher joins (~user@user/jreicher) |
| 2025-12-01 07:21:16 | × | annamalai quits (~annamalai@2409:4042:4dc7:b66e::9eca:ef08) (Ping timeout: 246 seconds) |
| 2025-12-01 07:21:18 | → | bggd joins (~bgg@2a01:e0a:fd5:f510:9b09:80f:2f26:e3ad) |
| 2025-12-01 07:22:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 07:27:44 | → | annamalai joins (~annamalai@2409:4042:4dc2:f11::9e8a:e814) |
| 2025-12-01 07:28:57 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-12-01 07:29:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-01 07:32:03 | → | tromp joins (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) |
| 2025-12-01 07:34:20 | Athas_ | is now known as Athas |
| 2025-12-01 07:40:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 07:40:59 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-01 07:41:13 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-01 07:44:10 | → | chele joins (~chele@user/chele) |
| 2025-12-01 07:45:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-01 07:46:51 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-12-01 07:51:14 | <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 07:56:06 | → | absence joins (torgeihe@hildring.pvv.ntnu.no) |
| 2025-12-01 07:56:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 08:00:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-01 08:01:03 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-01 08:01:16 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-01 08:09:07 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-12-01 08:09:41 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 2025-12-01 08:13:42 | → | Googulator20 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 08:13:50 | × | Googulator94 quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 08:18:07 | → | kuribas joins (~user@2a02-1810-2825-6000-91ce-6f5d-5219-16e3.ip6.access.telenet.be) |
| 2025-12-01 08:24:31 | × | tromp quits (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-01 08:30:37 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-01 08:30:37 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-01 08:34:57 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 2025-12-01 08:44:54 | → | tromp joins (~textual@2001:1c00:3487:1b00:9c00:2cdd:fe3f:e613) |
| 2025-12-01 08:51:45 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-01 08:51:49 | <lucabtz> | also ive been having this issue with the haskell language server on windows + vscode https://paste.tomsmeding.com/WH7UrKNr |
| 2025-12-01 08:52:03 | <lucabtz> | may ask also on #haskell-language-server if more appropriate |
| 2025-12-01 08:52:55 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-12-01 08:53:04 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 272 seconds) |
| 2025-12-01 08:54:44 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-01 08:57:31 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-12-01 08:59:39 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-12-01 09:00:22 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-01 09:06:58 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-01 09:07:42 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-12-01 09:24:40 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2025-12-01 09:27:26 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-12-01 09:27:50 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-01 09:30:13 | <kuribas> | Is there evidence that static functional typing leads to less defects and faster development time? |
| 2025-12-01 09:30:53 | inline__ | is now known as Inline |
| 2025-12-01 09:31:07 | <kuribas> | I believe I am twice as efficient in haskell as in python/clojure/whatever. |
| 2025-12-01 09:31:11 | <kuribas> | But it's hard to convince others. |
| 2025-12-01 09:32:55 | <kuribas> | And for some tasks there is less advantages, like low level programming, complicated algorithms, ... |
| 2025-12-01 09:35:50 | → | Googulator47 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 09:35:50 | × | Googulator20 quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 09:36:18 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-01 09:40:37 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-12-01 09:43:08 | <lortabac> | kuribas: that's very hard to determine in general |
| 2025-12-01 09:43:55 | <lortabac> | for lots of tasks I'd probably be less efficient in Haskell due to a lack of libraries |
| 2025-12-01 09:44:40 | <lortabac> | which of course isn't due to the programming paradigm but is still a factor |
| 2025-12-01 09:44:55 | <kuribas> | Even worse in idris2. |
All times are in UTC.