Newest at the top
| 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 |
| 2024-10-11 13:09:51 +0200 | <tomsmeding> | or algorithms that are really mutation-based, like some dynamic programming algorithms |
| 2024-10-11 13:09:18 +0200 | <tomsmeding> | but it can only go so low into the concrete level; writing code that is really competitive with optimised C code at numerical stuff is hard to impossible |
| 2024-10-11 13:08:52 +0200 | <tomsmeding> | it also has a very high abstraction ceiling, even for code that is "low-level"-ish in the sense of mutable arrays and calling C functions |
| 2024-10-11 13:08:20 +0200 | <tomsmeding> | and IMO also a very enjoyable one |
| 2024-10-11 13:08:14 +0200 | <tomsmeding> | it's very expressive at writing compiler-like programs, and certainly the way it guides one in structuring one's program is one that is good to have under your belt |
| 2024-10-11 13:07:28 +0200 | <tomsmeding> | lxsameer: haskell is not good for every application |
| 2024-10-11 13:07:03 +0200 | CiaoSen | (~Jura@2a05:5800:2e4:b000:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2024-10-11 13:04:38 +0200 | <lxsameer> | araujo: i think so yeah |
| 2024-10-11 13:04:18 +0200 | <lxsameer> | opqdonut: don't know about purescript but tried Agda before |
| 2024-10-11 13:03:30 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-10-11 13:00:06 +0200 | <araujo> | lxsameer, Haskell certainly does that |
| 2024-10-11 12:57:51 +0200 | mari-estel | (~mari-este@user/danza) (Quit: shitty chrome system) |
| 2024-10-11 12:57:24 +0200 | <mari-estel> | kool kids use lean nowadays |
| 2024-10-11 12:57:10 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) finn_elija |
| 2024-10-11 12:56:30 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-10-11 12:50:36 +0200 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-11 12:50:05 +0200 | <opqdonut> | well if you want something "more haskell than haskell", try agda or perhaps (arguably) purescript |
| 2024-10-11 12:48:22 +0200 | <lxsameer> | hey folks, I heard it a lot that haskell ruins other langs for you as a programmer, just out of curiosity, do you know any lang "better" (air quote) than Haskell? |
| 2024-10-11 12:43:55 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-10-11 12:35:03 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-10-11 12:34:24 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) Luj |
| 2024-10-11 12:33:46 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-11 12:18:31 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-10-11 12:07:11 +0200 | mari-estel | (~mari-este@user/danza) danza |
| 2024-10-11 12:01:57 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb85c0de74302d76eade.dip0.t-ipconnect.de) acidjnk |
| 2024-10-11 12:00:17 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-10-11 11:59:44 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-11 11:57:39 +0200 | turlando | (~turlando@user/turlando) turlando |
| 2024-10-11 11:57:24 +0200 | dcoutts__ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Ping timeout: 252 seconds) |