Newest at the top
| 2026-02-04 15:31:12 +0100 | <haskellbridge> | <magic_rb> :( |
| 2026-02-04 15:31:06 +0100 | <haskellbridge> | <Morj> «just, give me haskell thank you very much» yeh. Except I currently have to write a thing without gc or a large runtime at all |
| 2026-02-04 15:30:41 +0100 | <haskellbridge> | <magic_rb> honestly the only reason i may personally choose rust over haskell is due to the library ecosystem. for embedded i would try microhs, though idk how well that would work |
| 2026-02-04 15:30:29 +0100 | <haskellbridge> | <Morj> If this were in rust, some problems of async runtimes would be removed |
| 2026-02-04 15:30:22 +0100 | Enrico63 | (~Enrico63@148.252.128.12) Enrico63 |
| 2026-02-04 15:30:11 +0100 | <haskellbridge> | <Morj> I'm partial to the RIO approach of having only one monad, but you parameterize the context you read from it |
| 2026-02-04 15:29:57 +0100 | <haskellbridge> | <magic_rb> just, give me haskell thank you very much |
| 2026-02-04 15:29:50 +0100 | <haskellbridge> | <magic_rb> and a GC |
| 2026-02-04 15:29:39 +0100 | <haskellbridge> | <Morj> And monad readers |
| 2026-02-04 15:29:12 +0100 | <haskellbridge> | <Morj> «what features would you like to see in rust» I want `pub fn append_byte<const N: usize>(array: [u8; N], b: u8) -> [u8; N + 1]` to compile |
| 2026-02-04 15:25:58 +0100 | <lucabtz> | yeah they missed a chance with do notation maybe |
| 2026-02-04 15:25:43 +0100 | <haskellbridge> | <magic_rb> things get so much more awkward with those imo |
| 2026-02-04 15:25:23 +0100 | <haskellbridge> | <magic_rb> not having actual do notation with Monads is to me a deal breaker |
| 2026-02-04 15:25:07 +0100 | <haskellbridge> | <magic_rb> in 99% of cases i dont give a rats ass about not having a GC and having to fight the borrow checker or sprinkle Arc<> absolutely everywhere is not what i want to be doing |
| 2026-02-04 15:25:03 +0100 | <lucabtz> | and for future |
| 2026-02-04 15:25:03 +0100 | <merijn> | If you can afford GC then something like Haskell, Scala, any ML will give you essentially all the stuff you want |
| 2026-02-04 15:24:45 +0100 | <lucabtz> | it kinda has do notation, but only for Option and Result |
| 2026-02-04 15:24:38 +0100 | <merijn> | Now, personally I think the vast majority of code is perfectly fine with a GC. In which case you pay the price for nothing |
| 2026-02-04 15:24:18 +0100 | <haskellbridge> | <magic_rb> lucabtz: monads, more type magic, GC |
| 2026-02-04 15:24:03 +0100 | <merijn> | So Rust is supercool. IFF you cannot afford/accept a GC |
| 2026-02-04 15:23:47 +0100 | <merijn> | It's more like "Rust pays a (fairly heavy) price, to attain something hard to achieve" (i.e. memory safety without GC) |
| 2026-02-04 15:23:39 +0100 | <lucabtz> | magic_rb what features would you like to see in rust? |
| 2026-02-04 15:21:34 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-02-04 15:21:02 +0100 | <haskellbridge> | <magic_rb> and it lacks a substantial amount of features that make using it a pain :P |
| 2026-02-04 15:13:29 +0100 | <mesaoptimizer> | well, I haven't tried Rust yet, but I do understand that it has a surprising number of ML-family features I appreciate, such as ADTs and exhaustive pattern matching |
| 2026-02-04 15:13:02 +0100 | wickedjargon | (~user@2605:8d80:5431:33ac:d84d:2363:57fe:412) wickedjargon |
| 2026-02-04 15:09:10 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2026-02-04 15:09:00 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Quit: leaving) |
| 2026-02-04 15:08:33 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-02-04 15:07:28 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-04 15:06:43 +0100 | Enrico63 | (~Enrico63@148.252.128.12) (Ping timeout: 272 seconds) |
| 2026-02-04 15:04:30 +0100 | akegalj | (~akegalj@141-136-251-118.dsl.iskon.hr) akegalj |
| 2026-02-04 15:03:48 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-04 15:02:07 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2026-02-04 15:01:31 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 264 seconds) |
| 2026-02-04 14:57:58 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 265 seconds) |
| 2026-02-04 14:56:00 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2026-02-04 14:54:57 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-02-04 14:44:33 +0100 | <gentauro> | mesaoptimizer: I recall that Snoyman is educated in Actuarial sciences. Perhaps Rust is a better tool for solving those kind of problems? |
| 2026-02-04 14:42:30 +0100 | <mesaoptimizer> | perhaps their target customer base changed |
| 2026-02-04 14:42:01 +0100 | <mesaoptimizer> | wonder why |
| 2026-02-04 14:37:49 +0100 | mjacob | (~mjacob@adrastea.uberspace.de) (Ping timeout: 264 seconds) |
| 2026-02-04 14:32:43 +0100 | emaczen | (~user@user/emaczen) emaczen |
| 2026-02-04 14:31:45 +0100 | AlexNoo | (~AlexNoo@85.174.181.199) |
| 2026-02-04 14:29:23 +0100 | Alex_delenda_est | (~al_test@85.174.181.199) |
| 2026-02-04 14:29:09 +0100 | AlexZenon | (~alzenon@85.174.181.199) |
| 2026-02-04 14:28:52 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-04 14:28:07 +0100 | AlexNoo__ | (~AlexNoo@85.174.181.199) (Ping timeout: 255 seconds) |
| 2026-02-04 14:27:40 +0100 | AlexNoo_ | (~AlexNoo@85.174.181.199) (Ping timeout: 255 seconds) |
| 2026-02-04 14:26:54 +0100 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) zenstoic |