Logs: liberachat/#haskell
| 2025-08-15 20:36:31 | ChanServ | sets mode +v haskellbridge |
| 2025-08-15 20:39:23 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-08-15 20:44:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-15 20:44:31 | <EvanR> | me too! |
| 2025-08-15 20:46:32 | × | trickard_ quits (~trickard@cpe-89-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-15 20:46:47 | → | trickard_ joins (~trickard@cpe-89-98-47-163.wireline.com.au) |
| 2025-08-15 20:48:14 | → | karenw_ joins (~karenw@user/karenw) |
| 2025-08-15 20:49:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-15 20:51:30 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-08-15 20:51:45 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-08-15 20:55:29 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-08-15 20:59:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-15 21:00:04 | × | athan quits (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
| 2025-08-15 21:00:33 | → | amadaluzia_ joins (~amadaluzi@user/amadaluzia) |
| 2025-08-15 21:01:42 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 276 seconds) |
| 2025-08-15 21:04:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-15 21:04:42 | × | davidlbowman quits (~dlb@user/davidlbowman) (Ping timeout: 252 seconds) |
| 2025-08-15 21:09:17 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-08-15 21:09:27 | → | exponens joins (~exponens@user/exponens) |
| 2025-08-15 21:09:32 | → | davros1 joins (~davros2@2a01:4b00:f01b:3e00:843f:76bd:98d0:f809) |
| 2025-08-15 21:10:08 | <davros1> | Hello. I haven't touched haskell for a long time but was just reflecting on how it was inspiring |
| 2025-08-15 21:10:42 | <davros1> | I remember the debates in rust where people wanted to add currying |
| 2025-08-15 21:11:03 | <davros1> | And some people want hkt |
| 2025-08-15 21:11:27 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-08-15 21:11:54 | <geekosaur> | it strikes me that for a Rust-like language a method that applies something and returns a lambda might make more sense |
| 2025-08-15 21:12:01 | ← | exponens parts (~exponens@user/exponens) () |
| 2025-08-15 21:12:45 | trickard_ | is now known as trickard |
| 2025-08-15 21:13:48 | <geekosaur> | although I gotta wonder about lifetime handling (obviously the lifetime of the lambda must be capped by the lifetime of the applied parameter, but without losing the lifetime of the thing it's being applied to) |
| 2025-08-15 21:14:02 | <geekosaur> | my rist is still a bit too weak to figure how they deal with that |
| 2025-08-15 21:15:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-15 21:15:59 | <int-e> | The lambda can take ownership of parameters if they're moved, or the lifetime of the lambda can be capped as you said. You can run into thorny lifetime issues with `async` because of that. |
| 2025-08-15 21:16:40 | <geekosaur> | right |
| 2025-08-15 21:18:14 | <davros1> | No currying is right for most functions in rust, but I do think it would be useful for operators |
| 2025-08-15 21:18:28 | <davros1> | Most 'systemsy' functions are not |
| 2025-08-15 21:19:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-15 21:20:20 | <geekosaur> | except that most (all?) operators are methods in traits underneath, no? |
| 2025-08-15 21:20:28 | <davros1> | sure |
| 2025-08-15 21:20:37 | <int-e> | but rust also is about making allocations explicit and implicit currying would violate that |
| 2025-08-15 21:20:48 | <davros1> | But traits are just ways of organising functions most of the time |
| 2025-08-15 21:20:48 | <int-e> | anyway, I'm not sure this is quite the right channel? :) |
| 2025-08-15 21:20:52 | <int-e> | (not a complaint) |
| 2025-08-15 21:21:09 | × | tromp quits (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-15 21:21:33 | <davros1> | Anyway my original question was who is using haskell seriously & for what sort of things |
| 2025-08-15 21:21:47 | <geekosaur> | define seriously? |
| 2025-08-15 21:21:56 | × | yangby quits (~secret@115.205.231.82) (Quit: Go out for a walk and buy a drink.) |
| 2025-08-15 21:22:02 | <geekosaur> | I'm a cabal maintainer and user, and an xmonad maintainer and user |
| 2025-08-15 21:22:14 | <davros1> | I remember there was a point where mr carmack was suggesting you should be able to do games in haskell but that sounded a bit far fetched (but he usually knows what he's talking about) |
| 2025-08-15 21:22:16 | <haskellbridge> | <iqubic (she/her)> I'm using it as to power my Window Manager. |
| 2025-08-15 21:22:38 | <davros1> | He probably just meant gameplay cod |
| 2025-08-15 21:22:48 | <davros1> | code^ like using it as a game scripting langauge |
| 2025-08-15 21:23:14 | <davros1> | I also do remember 'monadius' as one of the haskell demos |
| 2025-08-15 21:23:59 | × | Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2025-08-15 21:24:21 | → | Katarushisu joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2025-08-15 21:25:46 | <geekosaur> | there've been a few (Frag is infamous, but was a moonshot) |
| 2025-08-15 21:26:33 | <geekosaur> | and in the other direction elliott started writing a bot to play (an old version of) DCSSS but never finished it |
| 2025-08-15 21:30:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-15 21:32:18 | <geekosaur> | sorry, not elliott, rwbarton. https://github.com/rwbarton/rw |
| 2025-08-15 21:32:35 | → | tromp joins (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
| 2025-08-15 21:33:19 | <geekosaur> | sadly, crawl as changed so much since it was written that it would have no chance of working now even if it'd been complete |
| 2025-08-15 21:33:48 | → | pavonia joins (~user@user/siracusa) |
| 2025-08-15 21:34:10 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-08-15 21:35:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-15 21:35:11 | <geekosaur> | *has |
| 2025-08-15 21:39:19 | × | karenw_ quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-08-15 21:41:40 | <int-e> | > let ꙮ = 'ꙮ' in text $ replicate 3 ꙮ |
| 2025-08-15 21:41:42 | <lambdabot> | ꙮꙮꙮ |
| 2025-08-15 21:44:16 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-08-15 21:45:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-15 21:46:58 | → | myfirstname joins (~myfirstna@user/myfirstname) |
| 2025-08-15 21:47:37 | × | myfirstname quits (~myfirstna@user/myfirstname) (Client Quit) |
| 2025-08-15 21:47:41 | → | bliminse joins (~bliminse@user/bliminse) |
| 2025-08-15 21:50:16 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-08-15 21:50:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-15 21:57:40 | <monochrom> | I think people say "useful" when they mean "makes money". |
| 2025-08-15 21:59:01 | <monochrom> | I wrote a lot of basic Haskell code, useful for me own use, but didn't make a lot of money. |
| 2025-08-15 22:01:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-15 22:02:33 | <monochrom> | (A little. I teach computer science. I use Haskell to check my own answers because I can't trust my own C code or Java code for example.) |
| 2025-08-15 22:03:22 | × | tromp quits (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-15 22:03:37 | × | amadaluzia_ quits (~amadaluzi@user/amadaluzia) (Quit: You) |
| 2025-08-15 22:06:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-15 22:14:49 | <spew> | no i didn't mean makes money |
| 2025-08-15 22:14:54 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2025-08-15 22:16:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-15 22:23:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-15 22:26:58 | <ackthet> | so speaking of the gentle intro to haskell... what was LANL doing with haskell? |
| 2025-08-15 22:27:14 | × | finsternis quits (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2025-08-15 22:27:58 | <ackthet> | oh shit, he was on Fermi? https://www.researchgate.net/scientific-contributions/Joseph-Fasel-39908001 |
| 2025-08-15 22:34:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-15 22:37:54 | × | fgarcia quits (~lei@user/fgarcia) (Ping timeout: 276 seconds) |
| 2025-08-15 22:38:52 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-08-15 22:39:06 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-08-15 22:39:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-15 22:40:27 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 260 seconds) |
| 2025-08-15 22:45:25 | → | fgarcia joins (~lei@user/fgarcia) |
| 2025-08-15 22:45:44 | × | fgarcia quits (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2025-08-15 22:48:24 | → | SheRejoined joins (haveident@libera/staff/she/her) |
| 2025-08-15 22:48:51 | × | She quits (haveident@libera/staff/she/her) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 2025-08-15 22:48:51 | SheRejoined | is now known as She |
| 2025-08-15 22:49:12 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-08-15 22:50:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC.