Newest at the top
| 2024-12-28 19:27:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 19:26:11 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-12-28 19:25:46 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-12-28 19:20:24 +0100 | <monochrom> | prsteele: That one is extremely difficult to hand-annotate. Long story. If possible, just don't bother. |
| 2024-12-28 19:18:30 +0100 | <monochrom> | plitter: Yes if you use "let" it's already lazy. |
| 2024-12-28 19:17:20 +0100 | <geekosaur> | I thought someone had an iOS port somewhere, but yeh, play.haskell.org or godbolt.org would be easiest |
| 2024-12-28 19:16:43 +0100 | <haskellbridge> | <hellwolf> play.haskell.org |
| 2024-12-28 19:15:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-28 19:14:41 +0100 | fp | (~Thunderbi@216-165-226-178.championbroadband.com) (Ping timeout: 248 seconds) |
| 2024-12-28 19:12:26 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-28 19:12:15 +0100 | kimiamania | (~65804703@user/kimiamania) kimiamania |
| 2024-12-28 19:10:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 19:09:10 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-12-28 19:06:42 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection) |
| 2024-12-28 19:06:17 +0100 | fp | (~Thunderbi@216-165-226-178.championbroadband.com) fp |
| 2024-12-28 19:05:44 +0100 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-12-28 19:05:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-28 19:04:49 +0100 | <tokie> | is there a good option for haskell on the ipad? |
| 2024-12-28 19:02:21 +0100 | tabemann__ | (~tabemann@2600:1700:7990:24e0:ada6:84a7:3e7e:966c) |
| 2024-12-28 19:01:26 +0100 | tabemann__ | (~tabemann@2600:1700:7990:24e0:ada6:84a7:3e7e:966c) (Remote host closed the connection) |
| 2024-12-28 19:00:40 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-12-28 18:58:48 +0100 | <prsteele> | I'm trying to figure out if there's a reasonable way to annotate locally-bound functions in the ST monad. Examples at https://paste.tomsmeding.com/cjXBqns9 |
| 2024-12-28 18:57:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-28 18:57:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-28 18:55:52 +0100 | prsteele | (~prsteele@pool-173-48-172-223.bstnma.fios.verizon.net) |
| 2024-12-28 18:55:51 +0100 | tabemann__ | (~tabemann@2600:1700:7990:24e0:ada6:84a7:3e7e:966c) |
| 2024-12-28 18:52:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 18:52:06 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-12-28 18:51:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-28 18:49:28 +0100 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2024-12-28 18:49:24 +0100 | tabemann__ | (~tabemann@2600:1700:7990:24e0:12b1:e4e1:19de:88e5) (Remote host closed the connection) |
| 2024-12-28 18:42:53 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Ping timeout: 245 seconds) |
| 2024-12-28 18:40:57 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2024-12-28 18:40:18 +0100 | Xe | (~Xe@perl/impostor/xe) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-12-28 18:40:12 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-28 18:39:29 +0100 | Everything | (~Everythin@195.138.86.118) Everything |
| 2024-12-28 18:39:11 +0100 | ubert | (~Thunderbi@p200300ecdf117c91b816f4b90c54fbf2.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-12-28 18:39:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-28 18:34:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 18:31:07 +0100 | <enikar> | I'm just lazier than haskell. Where haskell says ok, I'll do it later and ends up evaluating everything to print results, I say ok, I'll print the result maybe another day and take a rest :D |
| 2024-12-28 18:30:43 +0100 | <plitter> | monochrom: I thought this already was lazy https://termbin.com/sz27 :) |
| 2024-12-28 18:26:18 +0100 | <plitter> | To be fair, it is not just laziness. (at least for me who is not yet used to haskell) More like working hard to hardly work! Investment in the future :P |
| 2024-12-28 18:23:45 +0100 | <enikar> | laziness is sometimes very usefull |
| 2024-12-28 18:22:49 +0100 | <enikar> | monochrom: nice, it's a good idea. I just wondered if i could let haskell do the job with lazy evaluation and recursive definition :) |
| 2024-12-28 18:22:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-28 18:20:55 +0100 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2024-12-28 18:19:43 +0100 | <monochrom> | Similarly, you can let Haskell do dynamic programming for you by using a lazy array/vector! |
| 2024-12-28 18:19:21 +0100 | Xe | (~Xe@perl/impostor/xe) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-12-28 18:18:49 +0100 | <monochrom> | i.e., it is OK to have resolvable self reference such as: m = Map.fromList [(1, "a"), (2, (m!1) ++ "b"] |
| 2024-12-28 18:17:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |