| 2025-02-13 00:00:56 +0100 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 252 seconds) |
| 2025-02-13 00:01:39 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-13 00:01:53 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-02-13 00:05:21 +0100 | preflex | (~preflex@user/mauke/bot/preflex) (Ping timeout: 248 seconds) |
| 2025-02-13 00:05:41 +0100 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2025-02-13 00:05:53 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-02-13 00:06:16 +0100 | AWizzArd | (~code@user/awizzard) (Ping timeout: 272 seconds) |
| 2025-02-13 00:06:29 +0100 | AWizzArd | (~code@gehrels.uberspace.de) |
| 2025-02-13 00:07:04 +0100 | mauke | (~mauke@user/mauke) (Ping timeout: 260 seconds) |
| 2025-02-13 00:08:44 +0100 | mauke | (~mauke@user/mauke) mauke |
| 2025-02-13 00:09:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 00:14:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 00:22:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 00:22:49 +0100 | mange | (~user@user/mange) mange |
| 2025-02-13 00:25:22 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-4074-f40d-d825-16f5-119a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-13 00:25:40 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-4074-f40d-d825-16f5-119a.pool6.digikabel.hu) |
| 2025-02-13 00:25:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 00:26:12 +0100 | <Leary> | monochrom, mauke: https://hackage.haskell.org/package/exotic-list-monads-1.1.1/docs/Control-Monad-List-Exotic.html |
| 2025-02-13 00:26:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-13 00:28:25 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2025-02-13 00:30:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 00:31:56 +0100 | <monochrom> | Excellent. |
| 2025-02-13 00:33:56 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2025-02-13 00:36:26 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-02-13 00:38:43 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-13 00:40:25 +0100 | <haskellbridge> | <magic_rb> Im really trying to understand what im looking at, the only one i understood somewhat was the mazewalk monad |
| 2025-02-13 00:41:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 00:42:35 +0100 | <haskellbridge> | <magic_rb> Ah the later ones are saner, odd, mini |
| 2025-02-13 00:42:41 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-02-13 00:45:38 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-4074-f40d-d825-16f5-119a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-13 00:45:52 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-4074-f40d-d825-16f5-119a.pool6.digikabel.hu) |
| 2025-02-13 00:46:59 +0100 | <monochrom> | Yikes continuum of list monads. |
| 2025-02-13 00:49:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-02-13 00:49:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-13 00:51:14 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-4074-f40d-d825-16f5-119a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-13 00:51:30 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-4074-f40d-d825-16f5-119a.pool6.digikabel.hu) |
| 2025-02-13 00:54:24 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-02-13 00:55:47 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-13 01:00:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 01:01:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-13 01:02:12 +0100 | zero | zwro |
| 2025-02-13 01:03:27 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 01:07:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 01:08:20 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2025-02-13 01:11:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 01:16:31 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-13 01:18:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 01:23:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-13 01:23:49 +0100 | rini | (~rini@user/rini) (Ping timeout: 248 seconds) |
| 2025-02-13 01:24:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-02-13 01:24:53 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80357462f87ee532d8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-13 01:26:11 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-13 01:26:24 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-13 01:26:36 +0100 | rini | (~rini@user/rini) rini |
| 2025-02-13 01:28:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-02-13 01:28:33 +0100 | ljdarj1 | ljdarj |
| 2025-02-13 01:34:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 01:37:29 +0100 | <zwro> | are there arguments against using -O3 in development besides longer compilation time? |
| 2025-02-13 01:38:05 +0100 | <haskellbridge> | <sm> people always say it does nothing... |
| 2025-02-13 01:38:28 +0100 | <haskellbridge> | <sm> but it exists for _some_ reason... |
| 2025-02-13 01:38:47 +0100 | <c_wraith> | is it documented?\ |
| 2025-02-13 01:38:48 +0100 | <geekosaur> | yeh, my understanding is that it adds a lot to compile time but only produces speedups in some rare edge cases |
| 2025-02-13 01:39:03 +0100 | <geekosaur> | it's documented, and the documentation more or less says what I just did |
| 2025-02-13 01:39:44 +0100 | <geekosaur> | my conjecture is it helps for some corporate users |
| 2025-02-13 01:39:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 01:40:13 +0100 | <c_wraith> | https://downloads.haskell.org/ghc/latest/docs/users_guide/ghc.html#optimization-levels I suppose it's technically documented... |
| 2025-02-13 01:43:23 +0100 | JuanDaugherty | ColinRobinson |
| 2025-02-13 01:47:05 +0100 | euouae | (~euouae@user/euouae) () |
| 2025-02-13 01:47:13 +0100 | <zwro> | i actually meant -O2 but this was funny |
| 2025-02-13 01:47:31 +0100 | califax_ | (~califax@user/califx) califx |
| 2025-02-13 01:47:44 +0100 | <zwro> | well i guess my question goes for any optimization level |
| 2025-02-13 01:48:12 +0100 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-02-13 01:48:28 +0100 | <zwro> | i just found out that in some scheme implementations, high optimization levels turn off type checking so i thought to ask here |
| 2025-02-13 01:48:42 +0100 | califax_ | califax |
| 2025-02-13 01:49:17 +0100 | <zwro> | if there was some reason i shouldn't have optimization turned on by default while developing |
| 2025-02-13 01:50:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 01:50:34 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-13 01:53:35 +0100 | <jackdk> | You'll still get typechecking but your compilation speed may be slower at higher optimisation levels |
| 2025-02-13 01:54:02 +0100 | <zwro> | i know i will still get typechecking in haskell :p |
| 2025-02-13 01:54:23 +0100 | <geekosaur> | it will impact profiling unless you use a sufficiently recent ghc with -fprof-late |
| 2025-02-13 01:54:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 01:55:11 +0100 | <geekosaur> | otherwise no, just compilation speed (and performance of the resulting program, which can be pretty bad at -O0 especially if you were relying on fusion) |
| 2025-02-13 01:56:54 +0100 | <zwro> | great thanks |
| 2025-02-13 02:00:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 02:04:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-13 02:05:18 +0100 | <monochrom> | You can pretty much analogize ghc : O1 : O2 :: gcc : O2 : O3 |
| 2025-02-13 02:05:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 02:06:31 +0100 | <monochrom> | would be funny if GHC -Ooo turns on type checking. April 1st project! |
| 2025-02-13 02:06:41 +0100 | <monochrom> | err, turns off! |
| 2025-02-13 02:10:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 02:11:28 +0100 | sprotte24 | (~sprotte24@p200300d16f0a8e003d8337fe7ef7e64f.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-13 02:13:26 +0100 | <monochrom> | Oh, maybe it means runtime type checks for scheme. |
| 2025-02-13 02:14:26 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2025-02-13 02:19:02 +0100 | <jackdk> | monochrom: `-fdefer-type-errors` is occasionally really useful as a "just let me play with the working bits in GHCi" hammer |
| 2025-02-13 02:19:39 +0100 | <monochrom> | I use that too. |
| 2025-02-13 02:21:04 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-13 02:21:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 02:24:33 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-02-13 02:25:37 +0100 | xff0x | (~xff0x@2405:6580:b080:900:eaaa:e5a8:7fd2:7c37) (Ping timeout: 248 seconds) |
| 2025-02-13 02:25:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-13 02:34:25 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 02:36:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 02:39:09 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2025-02-13 02:41:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-13 02:46:33 +0100 | tjbc | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2025-02-13 02:47:38 +0100 | tjbc | (~tjbc@user/fliife) fliife |
| 2025-02-13 02:48:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 02:52:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 02:53:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-13 02:57:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-13 03:06:11 +0100 | messewix | (~jmc@user/messewix) messewix |
| 2025-02-13 03:07:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 03:07:32 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-13 03:14:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-13 03:22:15 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-02-13 03:25:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 03:30:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 03:34:18 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-182.resnet.purdue.edu) |
| 2025-02-13 03:36:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 03:40:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 03:40:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-13 03:45:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-13 03:49:56 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-182.resnet.purdue.edu) (Read error: Connection reset by peer) |
| 2025-02-13 03:55:37 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
| 2025-02-13 03:56:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 03:56:45 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 04:00:01 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Read error: Connection reset by peer) |
| 2025-02-13 04:00:49 +0100 | bilegeek | (~bilegeek@2600:1008:b046:158b:b133:8043:cdac:3685) bilegeek |
| 2025-02-13 04:01:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-13 04:06:29 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
| 2025-02-13 04:10:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-13 04:11:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 04:13:21 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 04:16:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-13 04:20:36 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-02-13 04:21:34 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Read error: Connection reset by peer) |
| 2025-02-13 04:22:00 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2025-02-13 04:23:35 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-13 04:25:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 04:27:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 04:29:11 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-13 04:31:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-13 04:33:30 +0100 | wryishly | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (Ping timeout: 246 seconds) |
| 2025-02-13 04:36:27 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 04:39:47 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 04:40:42 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2025-02-13 04:42:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 04:42:43 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-02-13 04:47:17 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Read error: Connection reset by peer) |
| 2025-02-13 04:47:47 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-13 04:49:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 04:52:21 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2025-02-13 05:00:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 05:04:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |