Newest at the top
| 2024-10-11 14:25:57 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-10-11 14:22:38 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3d02:210b:1e86:6542) |
| 2024-10-11 14:07:07 +0200 | comerijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Read error: Connection reset by peer) |
| 2024-10-11 14:06:34 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-11 14:03:01 +0200 | mari-estel | (~mari-este@user/danza) (Quit: on the move) |
| 2024-10-11 14:00:32 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
| 2024-10-11 14:00:07 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
| 2024-10-11 13:54:14 +0200 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-10-11 13:48:29 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-11 13:46:05 +0200 | Lord_of_L | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2024-10-11 13:44:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-11 13:42:44 +0200 | mari-estel | (~mari-este@user/danza) danza |
| 2024-10-11 13:41:39 +0200 | Lord_of_Life | Lord_of_L |
| 2024-10-11 13:41:00 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-11 13:40:52 +0200 | Square | (~Square4@user/square) Square |
| 2024-10-11 13:40:24 +0200 | synchromesh | (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) (Read error: Connection reset by peer) |
| 2024-10-11 13:40:13 +0200 | synchrom1 | (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) synchromesh |
| 2024-10-11 13:36:51 +0200 | rosco | (~rosco@175.136.22.30) rosco |
| 2024-10-11 13:36:33 +0200 | synchromesh | (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) synchromesh |
| 2024-10-11 13:36:17 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 2024-10-11 13:35:52 +0200 | synchromesh | (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) (Read error: Connection reset by peer) |
| 2024-10-11 13:35:32 +0200 | synchromesh | (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) synchromesh |
| 2024-10-11 13:34:06 +0200 | synchromesh | (~john@180.148.124.74) (Read error: Connection reset by peer) |
| 2024-10-11 13:31:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2024-10-11 13:28:12 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-11 13:28:10 +0200 | <tomsmeding> | :) |
| 2024-10-11 13:27:29 +0200 | <lxsameer> | tomsmeding: thanks for the insight |
| 2024-10-11 13:25:56 +0200 | mulk | (~mulk@pd9514da8.dip0.t-ipconnect.de) mulk |
| 2024-10-11 13:25:07 +0200 | mulk | (~mulk@pd9514da8.dip0.t-ipconnect.de) (Quit: ZNC - http://znc.in) |
| 2024-10-11 13:21:53 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2024-10-11 13:21:27 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2024-10-11 13:21:10 +0200 | <Franciman> | lol |
| 2024-10-11 13:18:52 +0200 | <tomsmeding> | "C++ has sum types, it has std::variant" std::variant is a monstrosity that can only be deemed sufficient by people so deep in C++ stockholm syndrome that the way out is like being the Minotaur |
| 2024-10-11 13:18:49 +0200 | comerijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-11 13:17:39 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8501454db6567a02c6.dip0.t-ipconnect.de) acidjnk |
| 2024-10-11 13:17:31 +0200 | <tomsmeding> | lxsameer: but about spoiling: after using haskell a lot, writing _anything_ that you would use a sum type for in Haskell in a language like C++ without proper sum types is a royal pain in the behind that makes you long for the good days of haskell |
| 2024-10-11 13:15:30 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb85c0de74302d76eade.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-11 13:13:52 +0200 | <tomsmeding> | (disclaimer I don't use lens) |
| 2024-10-11 13:13:40 +0200 | <tomsmeding> | and various stuff that I already mentioned |
| 2024-10-11 13:13:28 +0200 | <tomsmeding> | "better" than haskell at lensy code is perhaps nothing else currently :p |
| 2024-10-11 13:13:05 +0200 | <tomsmeding> | "better" than haskell at simple FP code where laziness is more a pain than a boon is OCaml |
| 2024-10-11 13:12:49 +0200 | <tomsmeding> | "better" than haskell at highly verifiable prototype implementations of compiler stuff is Agda |
| 2024-10-11 13:12:15 +0200 | <tomsmeding> | so "better" than haskell at competitive programming or kernel code would be C++ or Rust |
| 2024-10-11 13:11:56 +0200 | <tomsmeding> | perhaps this gives some perspective :) |
| 2024-10-11 13:11:31 +0200 | <tomsmeding> | knowing haskell certainly spoils you for a lot of problem domains, but there are certainly domains left where haskell would not be my first choice |
| 2024-10-11 13:11:06 +0200 | <tomsmeding> | (I've seen that happen) |
| 2024-10-11 13:10:58 +0200 | <tomsmeding> | and even if you go deep on ST and unboxed stuff, C can still beat you 2x |
| 2024-10-11 13:10:51 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-11 13:10:49 +0200 | <lxsameer> | it's a trade off after all |
| 2024-10-11 13:10:37 +0200 | <tomsmeding> | while you _can_ express them, to get any semblance of performance in haskell you have to use ST, which makes the code very verbose and not necessarily easier to read than C code; you do still have a separation between the pure code and the impure code, but at some point that trades off against verbosity and clarity |