2026/06/01

Newest at the top

2026-06-01 20:06:19 +0000 <tomsmeding> (but then, while C++'s std::cout might be a little faster, generating gigabytes of text using std::cout is also not a particularly good idea)
2026-06-01 20:05:43 +0000 <tomsmeding> If you'd want to pump that "5" up to a million or so and want it to generate the megabytes of text very quickly, you either need to reimplement in terms of more low-level operations or use another language
2026-06-01 20:04:52 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-01 20:04:37 +0000 <tomsmeding> finnyben: decently efficiently. Most of the time there is spent on actually printing stuff; IO is relatively expensive in any language.
2026-06-01 20:03:44 +0000 <tomsmeding> Sure. But then, why are you learning Haskell precisely?
2026-06-01 20:03:36 +0000 <tomsmeding> > I'd be very happy if it were taught to beginner Haskellers who want to learn Haskell as opposed to learning functional programming
2026-06-01 20:02:07 +0000azazazz(~zero@a89-153-63-117.cpe.netcabo.pt)
2026-06-01 20:02:07 +0000Googulator(~Googulato@193-226-241-87.pool.digikabel.hu)
2026-06-01 20:01:53 +0000Googulator(~Googulato@193-226-241-87.pool.digikabel.hu) (Quit: Client closed)
2026-06-01 20:01:10 +0000netunreach(~user@user/netunreach) netunreach
2026-06-01 19:57:43 +0000 <finnyben> will programs written in this style run efficiently in haskell? https://www.reddit.com/r/haskellquestions/comments/1tscedu/comment/oox6gm9/?utm_source=share&utm_m…
2026-06-01 19:57:07 +0000 <yin> that was what i meant
2026-06-01 19:56:49 +0000 <yin> i agree
2026-06-01 19:55:44 +0000finnyben(~zero@user/zero)
2026-06-01 19:54:06 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 252 seconds)
2026-06-01 19:53:25 +0000aetepe(~aetepe@188.119.22.175) (Remote host closed the connection)
2026-06-01 19:53:17 +0000synchromesh(~john@2406:5a00:247e:1500:29c5:b42c:d970:297d) synchromesh
2026-06-01 19:52:51 +0000synchromesh(~john@2406:5a00:247e:1500:29c5:b42c:d970:297d) (Read error: Connection reset by peer)
2026-06-01 19:49:05 +0000merijn(~merijn@62.45.136.136) merijn
2026-06-01 19:49:01 +0000Googulator(~Googulato@193-226-241-87.pool.digikabel.hu)
2026-06-01 19:48:43 +0000Googulator(~Googulato@193-226-241-87.pool.digikabel.hu) (Quit: Client closed)
2026-06-01 19:46:01 +0000Adran(adran@botters/adran) Adran
2026-06-01 19:43:19 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2026-06-01 19:41:44 +0000gentauro(~gentauro@user/gentauro) gentauro
2026-06-01 19:38:06 +0000unworriedsafari(unworrieds@user/unworriedsafari) unworriedsafari
2026-06-01 19:37:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-01 19:36:13 +0000Adran(~adran@botters/adran) (Quit: Este é o fim.)
2026-06-01 19:34:43 +0000Pozyomka(~pyon@user/pyon) (Client Quit)
2026-06-01 19:33:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-01 19:31:24 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-01 19:29:21 +0000Pozyomka(~pyon@user/pyon) (Quit: brb)
2026-06-01 19:27:13 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2026-06-01 19:25:55 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-06-01 19:21:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-01 19:15:16 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-01 19:08:49 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds)
2026-06-01 19:06:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-01 19:01:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-01 18:57:22 +0000wickedjargon(~user@207.194.126.30) (Remote host closed the connection)
2026-06-01 18:50:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-06-01 18:46:50 +0000divlamir_divlamir
2026-06-01 18:46:49 +0000divlamir(~divlamir@user/divlamir) (Ping timeout: 244 seconds)
2026-06-01 18:45:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-01 18:44:47 +0000divlamir_(~divlamir@user/divlamir) divlamir
2026-06-01 18:34:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-01 18:32:29 +0000 <tomsmeding> essentially anything that requires a mutable array fast becomes annoying in haskell, and you don't even get SIMD vectorisation
2026-06-01 18:31:36 +0000 <tomsmeding> there is plenty of code that is simultaneously awkward to express in haskell _and_ slow, and using a proper imperative language addresses both
2026-06-01 18:31:06 +0000 <tomsmeding> merijn: re "you should pick haskell over C": perhaps over C, but you should definitely not pick haskell over every other imperative language
2026-06-01 18:30:43 +0000 <tomsmeding> there may be formulations of the categorical combinators that address these relatively stupid issues
2026-06-01 18:30:19 +0000 <tomsmeding> you can of course improve this to O(log |Γ|) with a tree structure, but then you have to construct that tree, etc.