Newest at the top
| 2024-10-06 15:54:19 +0200 | <yushyin> | Guest6817: maybe a bit outdated overview, but might give you an overall impression https://github.com/Gabriella439/post-rfc/blob/main/sotu.md |
| 2024-10-06 15:50:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 15:50:47 +0200 | <lxsameer> | tomsmeding: cheers |
| 2024-10-06 15:50:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-06 15:48:45 +0200 | <Guest6817> | How's the Haskell external library support? Good enough for (most) random things I wanna do with Haskell? |
| 2024-10-06 15:46:58 +0200 | <Guest6817> | So all in all, other than the scary learning cliff that Haskell has, nothing should bother me if I actually learn it well |
| 2024-10-06 15:46:18 +0200 | <identity> | any tool will hinder you if you don't know which way to hold it |
| 2024-10-06 15:45:53 +0200 | <identity> | Guest6817: haskell-specific parts will only hinder you while you are unfamiliar with them |
| 2024-10-06 15:44:59 +0200 | <haskellbridge> | <thirdofmay18081814goya> haskell will fix your marriage |
| 2024-10-06 15:43:31 +0200 | <yushyin> | rust has some influences from haskell and other funcprog languages, so you might even recognize some parts of that while learning haskell |
| 2024-10-06 15:43:11 +0200 | <Guest6817> | The only concern I had till now is whether any part of the Haskell (the immutability, everything as functions, the arcane things called 'monads' or whatever they're called) will hinder me in working on a problem where a imperative language wouldn't? |
| 2024-10-06 15:40:58 +0200 | <Lears> | Guest6817: Learning a new language (Haskell) as opposed to another dialect of a language you already know (C, Rust, etc) will be a lot harder. It will also be much more fun and rewarding. |
| 2024-10-06 15:40:42 +0200 | <Guest6817> | 'Alienation' is actually a great term to describe how I feel looking at some of the past codes I've written |
| 2024-10-06 15:40:41 +0200 | <haskellbridge> | <thirdofmay18081814goya> gaze at the masses of programmers, typing away. one asks: how can they be so close to this thing that they call their life's work, yet at the same time be so far from it? |
| 2024-10-06 15:40:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-06 15:39:57 +0200 | <haskellbridge> | <thirdofmay18081814goya> constantly living in a state of alienation from the very thing you spent hours working on |
| 2024-10-06 15:39:39 +0200 | <haskellbridge> | <thirdofmay18081814goya> are you tired of not knowing why you fix bugs, why you make programs that work and you can't tell why |
| 2024-10-06 15:39:24 +0200 | <haskellbridge> | <thirdofmay18081814goya> do you want to understand what it is you work with |
| 2024-10-06 15:39:19 +0200 | <haskellbridge> | <thirdofmay18081814goya> you need to ask a single question to yourself: do you want to be able to reason about your programs |
| 2024-10-06 15:38:34 +0200 | <Guest6817> | So considering one spends enough time learning it, the major shift in paradigm to a function style won't hamper me as compared to a more traditional language like C or Rust? |
| 2024-10-06 15:36:54 +0200 | <haskellbridge> | <thirdofmay18081814goya> competitors are dependently-typed langs |
| 2024-10-06 15:36:36 +0200 | <haskellbridge> | <thirdofmay18081814goya> no competition |
| 2024-10-06 15:36:31 +0200 | <haskellbridge> | <thirdofmay18081814goya> literally the best production lang |
| 2024-10-06 15:36:12 +0200 | <Guest6817> | other languages at the moment? |
| 2024-10-06 15:36:11 +0200 | <Guest6817> | This has probably been asked a thousand times and I'm sorry for asking it again, but is Haskell still relevant to be used in today's time considering some of the competition right now? I code mostly for fun and would like to know if Haskell still holds its ground with a decent ecosystem to go with it, like how's the library support compared some |
| 2024-10-06 15:36:07 +0200 | Guest6817 | (~Guest6817@103.182.161.2) |
| 2024-10-06 15:35:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 15:26:20 +0200 | <haskellbridge> | <thirdofmay18081814goya> will check the references ty |
| 2024-10-06 15:26:15 +0200 | <haskellbridge> | <thirdofmay18081814goya> i don't think they are w-types if they are not well-founded |
| 2024-10-06 15:25:36 +0200 | Achylles | (~Achylles@45.182.57.66) Achylles |
| 2024-10-06 15:24:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-06 15:23:51 +0200 | <ncf> | you should probably read the references at https://ncatlab.org/nlab/show/W-type#CategoricalSemanticsOfWTypesReferences |
| 2024-10-06 15:23:44 +0200 | <ncf> | it is how they're defined. whether what you get is a "well-founded" object or not probably depends on the category and what you mean by that |
| 2024-10-06 15:21:25 +0200 | <haskellbridge> | <thirdofmay18081814goya> ncf: is this true over Cpo? |
| 2024-10-06 15:20:44 +0200 | <ncf> | W-types are initial algebras for polynomial endofunctors |
| 2024-10-06 15:20:14 +0200 | <haskellbridge> | <Bowuigi> You can also get sized types using Nat recursion over the type level, but unless you use singletons you can't iterate on that type |
| 2024-10-06 15:19:27 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-06 15:19:10 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
| 2024-10-06 15:18:42 +0200 | <haskellbridge> | <Bowuigi> Termination and a size |
| 2024-10-06 15:17:13 +0200 | <haskellbridge> | <thirdofmay18081814goya> e.g. what sort of constraints do we need on the domain to guarantee a functor provides a w-type |
| 2024-10-06 15:16:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-06 15:16:27 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
| 2024-10-06 15:16:24 +0200 | <haskellbridge> | <Bowuigi> They are mostly present in dependent stuff so I don't know how useful they are in a practical sense |
| 2024-10-06 15:16:15 +0200 | <haskellbridge> | <thirdofmay18081814goya> Bowuigi: yeah those are what i'm thinking about |
| 2024-10-06 15:15:28 +0200 | <haskellbridge> | <Bowuigi> thirdofmay18081814goya you might want to look at well-founded trees, AKA W types |
| 2024-10-06 15:14:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-06 15:13:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-06 14:58:39 +0200 | <haskellbridge> | <thirdofmay18081814goya> ncf: types i'm interested in are well-founded ones |
| 2024-10-06 14:56:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 14:50:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |