Logs: liberachat/#haskell
| 2025-11-28 10:26:03 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-28 10:29:37 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-28 10:34:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-28 10:40:05 | <lucabtz> | no i just like the idea really, nothing existing in mind |
| 2025-11-28 10:41:20 | × | pie_ quits (~pie_bnc@user/pie/x-2818909) () |
| 2025-11-28 10:41:31 | → | pie_ joins (~pie_bnc@user/pie/x-2818909) |
| 2025-11-28 10:43:06 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 2025-11-28 10:45:53 | → | qqe joins (~qqq@185.54.22.255) |
| 2025-11-28 10:46:07 | × | APic quits (apic@apic.name) (Ping timeout: 255 seconds) |
| 2025-11-28 10:48:10 | → | APic joins (apic@apic.name) |
| 2025-11-28 10:50:51 | × | trickard_ quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-28 10:51:05 | → | trickard_ joins (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-28 11:02:23 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 2025-11-28 11:06:12 | <__monty__> | That's OK, I don't mind Haskell maximalism : ) |
| 2025-11-28 11:08:43 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 264 seconds) |
| 2025-11-28 11:24:16 | → | fp joins (~Thunderbi@130.233.70.215) |
| 2025-11-28 11:27:15 | <[exa]> | is there some canonical tutorial on implementing a linear-types-capable typesystem? Like there's THIH for typeclasses. |
| 2025-11-28 11:32:35 | <merijn> | probably not |
| 2025-11-28 11:32:47 | <merijn> | That's probably "read research papers" territory :) |
| 2025-11-28 11:40:50 | × | trickard_ quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-28 11:41:03 | → | trickard_ joins (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-28 11:45:00 | Catty | is now known as catties |
| 2025-11-28 11:53:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-28 11:55:39 | → | tromp joins (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) |
| 2025-11-28 11:56:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-28 11:57:19 | <tomsmeding> | [exa]: I have been recommended this thing at some point https://granule-project.github.io/papers/esop22-paper.pdf ; not quite what you're asking for, but perhaps still interesting |
| 2025-11-28 12:08:02 | <[exa]> | tomsmeding: sounds good, thanks a lot! |
| 2025-11-28 12:16:41 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-28 12:17:06 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-28 12:19:07 | → | Googulator joins (~Googulato@team.broadbit.hu) |
| 2025-11-28 12:26:49 | → | notzmv joins (~umar@user/notzmv) |
| 2025-11-28 12:28:05 | × | barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (Quit: Lost terminal) |
| 2025-11-28 12:30:38 | → | xff0x joins (~xff0x@ai083123.d.east.v6connect.net) |
| 2025-11-28 12:42:22 | × | trickard_ quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-28 12:42:36 | → | trickard_ joins (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-28 12:47:00 | → | barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk) |
| 2025-11-28 12:58:04 | × | AlexZenon quits (~alzenon@85.174.183.41) (Quit: ;-) |
| 2025-11-28 12:58:13 | × | AlexNoo quits (~AlexNoo@85.174.183.41) (Quit: Leaving) |
| 2025-11-28 13:05:15 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-28 13:05:38 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-28 13:16:26 | → | AlexNoo joins (~AlexNoo@85.174.183.41) |
| 2025-11-28 13:19:07 | → | AlexZenon joins (~alzenon@85.174.183.41) |
| 2025-11-28 13:22:36 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-11-28 13:27:19 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-11-28 13:29:53 | → | ft joins (~ft@p508db844.dip0.t-ipconnect.de) |
| 2025-11-28 13:37:39 | trickard_ | is now known as trickard |
| 2025-11-28 13:53:11 | × | Googulator quits (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-11-28 14:00:31 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-28 14:01:40 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-11-28 14:15:12 | <yin> | is `cabal run test` supposed to run test-suite? |
| 2025-11-28 14:15:45 | <merijn> | yin: Yes, but also maybe no :p |
| 2025-11-28 14:16:16 | × | trickard quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-28 14:16:26 | <merijn> | I assume you mean `test` is the name of a test-suite there? |
| 2025-11-28 14:16:28 | → | trickard_ joins (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-28 14:17:25 | <merijn> | There was a weird thing where if you don't configure with --enable-tests it won't build (and thus not run) test suites by default |
| 2025-11-28 14:20:07 | <yin> | ah yes, `test` is the name of the test-suite. that makes more sense |
| 2025-11-28 14:20:15 | <yin> | ty |
| 2025-11-28 14:22:26 | <merijn> | yin: For local development you probably wanna just do "cabal configure --enable-tests" so that it *always* builds tests and then it should "Just Work (TM)" |
| 2025-11-28 14:25:55 | × | trickard_ quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-28 14:29:17 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-11-28 14:30:49 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-11-28 14:30:52 | ljdarj1 | is now known as ljdarj |
| 2025-11-28 14:37:09 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 2025-11-28 14:38:52 | → | trickard_ joins (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-28 14:42:29 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-11-28 14:43:57 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-11-28 14:50:50 | → | Googulator joins (~Googulato@team.broadbit.hu) |
| 2025-11-28 14:53:22 | → | mjrosenb joins (~mjrosenb@pool-71-190-143-170.nycmny.fios.verizon.net) |
| 2025-11-28 14:55:35 | × | Googulator quits (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-11-28 14:57:58 | × | tromp quits (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-28 14:58:19 | × | lucabtz quits (~lucabtz@user/lucabtz) (Ping timeout: 246 seconds) |
| 2025-11-28 14:59:07 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-11-28 15:02:19 | → | Nguntal_Geni joins (~Nguntal_A@182.8.228.63) |
| 2025-11-28 15:02:46 | ← | Nguntal_Geni parts (~Nguntal_A@182.8.228.63) (Leaving) |
| 2025-11-28 15:05:40 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-28 15:08:38 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-11-28 15:09:37 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2025-11-28 15:16:29 | → | Googulator joins (~Googulato@team.broadbit.hu) |
| 2025-11-28 15:21:02 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-28 15:22:14 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-28 15:22:42 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-28 15:22:47 | trickard_ | is now known as trickard |
| 2025-11-28 15:26:51 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-11-28 15:28:27 | → | tromp joins (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) |
| 2025-11-28 15:32:15 | × | fp quits (~Thunderbi@130.233.70.215) (Ping timeout: 240 seconds) |
| 2025-11-28 15:38:51 | travisb_ | is now known as tabemann |
| 2025-11-28 15:42:58 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-28 15:58:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-28 16:00:39 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-28 16:02:24 | → | milan joins (~milan@88.212.61.169) |
| 2025-11-28 16:02:50 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-28 16:03:20 | → | FirefoxDeHuk joins (~FirefoxDe@user/FirefoxDeHuk) |
| 2025-11-28 16:03:54 | <milan> | Hello guyz.. Long time no see :). I have a question why GHC uses native backend. Wouldn't it be better to only use LLVM? We chould then have ghc on arm? Is my reasoning sound? |
| 2025-11-28 16:04:26 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-28 16:08:07 | <fgarcia> | if i had to guess, supporting llvm has a burden to it maintainers are not intersted in. this is me speculating though |
| 2025-11-28 16:08:35 | <juri_> | my guess would be vectorization requirements. |
| 2025-11-28 16:09:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-28 16:10:25 | <tomsmeding> | milan: you can tell GHC to use LLVM (-fllvm), but you're probably aware of that |
| 2025-11-28 16:10:56 | <tomsmeding> | common wisdom is that it tends to bring improvement on highly numerical, tight code (because LLVM does auto-vectorisation), and is slightly worse on very haskell-y code |
| 2025-11-28 16:11:18 | × | lucabtz quits (~lucabtz@user/lucabtz) (Remote host closed the connection) |
All times are in UTC.