Logs: liberachat/#haskell
| 2026-03-19 07:07:58 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-03-19 07:08:12 | × | wickedjargon quits (~user@s0106f89e28d5699a.vc.shawcable.net) (Ping timeout: 264 seconds) |
| 2026-03-19 07:11:22 | <gentauro> | jreicher: what does that do? |
| 2026-03-19 07:11:43 | <gentauro> | like -> `(setq flymake-show-diagnostics-at-end-of-line 'fancy)`? |
| 2026-03-19 07:12:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-19 07:13:22 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
| 2026-03-19 07:13:53 | <jreicher> | I would never use setq for a running session. only setopt |
| 2026-03-19 07:14:25 | <jreicher> | You can use setq if you're putting it in init.el and restarting though, if you want. |
| 2026-03-19 07:14:38 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 2026-03-19 07:15:22 | <jreicher> | Actually I just reread (info "(flymake) Customizable variables") and it says it uses unicode graphics, so might work on terminal also. Worth a try. |
| 2026-03-19 07:15:28 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-19 07:15:47 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-19 07:15:57 | × | Franciman quits (~Franciman@mx1.fracta.dev) (Ping timeout: 268 seconds) |
| 2026-03-19 07:16:16 | × | pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
| 2026-03-19 07:16:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-19 07:16:57 | × | lortabac quits (~lortabac@mx1.fracta.dev) (Ping timeout: 268 seconds) |
| 2026-03-19 07:16:57 | × | nckx quits (~nckx@libera/staff/owl/nckx) (Ping timeout: 248 seconds) |
| 2026-03-19 07:17:05 | → | pierrot joins (~pi@user/pierrot) |
| 2026-03-19 07:20:01 | × | pierrot quits (~pi@user/pierrot) (Client Quit) |
| 2026-03-19 07:23:06 | → | CiaoSen joins (~Jura@p200300c9570792004e50ddfffe9b8922.dip0.t-ipconnect.de) |
| 2026-03-19 07:25:20 | → | marinelli joins (~weechat@brrr.fr) |
| 2026-03-19 07:26:35 | <gentauro> | jreicher: yeah, I place stuff like that in `.emacs.d/init.el` |
| 2026-03-19 07:26:55 | → | nckx joins (~nckx@libera/staff/owl/nckx) |
| 2026-03-19 07:26:57 | → | pierrot joins (~pi@user/pierrot) |
| 2026-03-19 07:27:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-19 07:28:17 | <jreicher> | It's about the restart. Using setq requires a restart. setopt does not. |
| 2026-03-19 07:28:30 | → | lortabac joins (~lortabac@mx1.fracta.dev) |
| 2026-03-19 07:32:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-19 07:32:45 | × | jreicher quits (~joelr@user/jreicher) (Quit: brb) |
| 2026-03-19 07:33:33 | → | Franciman joins (~Franciman@mx1.fracta.dev) |
| 2026-03-19 07:34:13 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-03-19 07:34:39 | × | CiaoSen quits (~Jura@p200300c9570792004e50ddfffe9b8922.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-03-19 07:36:23 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 2026-03-19 07:38:11 | × | jreicher quits (~joelr@user/jreicher) (Client Quit) |
| 2026-03-19 07:40:10 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b980:9900:10f7:ff16:cae0) |
| 2026-03-19 07:40:51 | × | lol__ quits (~lol@2603:3016:1e01:b980:38fd:c90f:4f82:2f54) (Ping timeout: 246 seconds) |
| 2026-03-19 07:40:51 | → | dtman34_ joins (~dtman34@2601:447:d183:2302:b0c5:8965:1c3f:d560) |
| 2026-03-19 07:41:12 | × | lol_ quits (~lol@2603:3016:1e01:b980:38fd:c90f:4f82:2f54) (Ping timeout: 246 seconds) |
| 2026-03-19 07:41:43 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2026-03-19 07:42:05 | → | lol_ joins (~lol@2603:3016:1e01:b980:9900:10f7:ff16:cae0) |
| 2026-03-19 07:42:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-19 07:42:29 | <gentauro> | this worked -> https://emacs-lsp.github.io/lsp-mode/page/settings/lens/#lsp-lens-enable |
| 2026-03-19 07:42:54 | <gentauro> | I'm very pedantic with 80-char lines and they were breaking indentation and stuff |
| 2026-03-19 07:42:57 | <gentauro> | jaiks |
| 2026-03-19 07:44:09 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-19 07:46:32 | × | ft quits (~ft@p508db341.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-03-19 07:49:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-19 07:49:49 | → | Enrico63 joins (~Enrico63@host-79-27-153-132.retail.telecomitalia.it) |
| 2026-03-19 07:50:02 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-03-19 07:54:02 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-19 08:00:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-19 08:03:38 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-19 08:04:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-19 08:07:48 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2026-03-19 08:11:28 | × | jreicher quits (~joelr@user/jreicher) (Quit: brb) |
| 2026-03-19 08:21:51 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-03-19 08:22:12 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-03-19 08:22:16 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-03-19 08:23:28 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-19 08:28:36 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2026-03-19 08:34:58 | × | Enrico63 quits (~Enrico63@host-79-27-153-132.retail.telecomitalia.it) (Ping timeout: 240 seconds) |
| 2026-03-19 08:43:11 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-03-19 08:44:55 | Googulator74 | is now known as Googulator |
| 2026-03-19 08:57:14 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-19 09:01:48 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2026-03-19 09:07:53 | → | troydm joins (~troydm@user/troydm) |
| 2026-03-19 09:19:40 | × | urdh quits (~urdh@user/urdh) (Ping timeout: 265 seconds) |
| 2026-03-19 09:19:55 | → | urdh joins (~urdh@user/urdh) |
| 2026-03-19 09:20:35 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-03-19 09:27:33 | → | Freakie joins (~Freakie@37.96.11.80) |
| 2026-03-19 09:28:17 | → | czan joins (~czan@user/mange) |
| 2026-03-19 09:31:31 | <mesaoptimizer> | if I am correct, Bool isn't a true sum type, is it? for it only contains type constructors |
| 2026-03-19 09:32:11 | <mesaoptimizer> | Either is a sum type because it is a sum of `Either` unary type constructors and type a and type b, is that right? |
| 2026-03-19 09:35:59 | <[exa]> | mesaoptimizer: () + () is a good sum, isn't it? |
| 2026-03-19 09:36:36 | <[exa]> | (relatedly, is Either () () a sum type?) |
| 2026-03-19 09:37:34 | <mesaoptimizer> | I do not know what `()` type is, sorry |
| 2026-03-19 09:37:41 | <mesaoptimizer> | is that the bottom type? |
| 2026-03-19 09:37:42 | <[exa]> | the haskell's empty type () |
| 2026-03-19 09:37:45 | <[exa]> | :t () |
| 2026-03-19 09:37:46 | <lambdabot> | () |
| 2026-03-19 09:37:58 | <mesaoptimizer> | I see, so it is the bottom type |
| 2026-03-19 09:38:26 | <[exa]> | "bottom" is usually used for harsher lack of information (e.g. Void) |
| 2026-03-19 09:38:27 | → | tromp joins (~textual@2001:1c00:340e:2700:d42c:a851:5541:9fa8) |
| 2026-03-19 09:38:31 | <mesaoptimizer> | oh. |
| 2026-03-19 09:38:38 | <mesaoptimizer> | I think I'm too confused to continue this discussion in the realm of Haskell |
| 2026-03-19 09:38:46 | <[exa]> | but yeah in the hierarchy of sums&products this would kinda be a bottom |
| 2026-03-19 09:38:50 | <mesaoptimizer> | maybe after I've figured it out in type theory |
| 2026-03-19 09:40:14 | <[exa]> | btw I think the main issue is about the sum labels in haskell, these are typically not occurring in most of the sum&product type explanations so it's not quite clear how to represent them, right? |
| 2026-03-19 09:40:29 | <czan> | () has got a member, so it can't be the empty type. It's the unit type (i.e. "1" in the type algebra). |
| 2026-03-19 09:40:38 | <[exa]> | as in, "what is the actual False in the language of sums" |
| 2026-03-19 09:44:00 | <Leary> | mesaoptimizer: Without a precise definition of 'sum type', there's no good answer to the question. |
| 2026-03-19 09:48:11 | <anselmschueler> | "bottom" can refer to the "least defined" value, which is undefined/nontermination in Haskell, and is a member of every type |
| 2026-03-19 09:48:26 | <anselmschueler> | "bottom" can also refer to the type that is a subtype of every type in type systems with subtyping |
| 2026-03-19 09:48:59 | <anselmschueler> | a bottom type may be the type with no values. every value of this type is vacuously also a valid value of every other type (there are no such values) |
| 2026-03-19 09:49:25 | <anselmschueler> | consequently in a type system with nontermination and subtyping the bottom type may be the type that only has nontermination |
| 2026-03-19 09:49:46 | <anselmschueler> | the Haskell equivalent of this type is "data Void" with no constructors |
| 2026-03-19 09:49:56 | <anselmschueler> | there are no values of this type except undefined/nontermination |
| 2026-03-19 09:51:12 | <Freakie> | algebraic data types as they're usually defined in functional languages are sum types, while tuples are products |
| 2026-03-19 09:53:20 | <anselmschueler> | the data keyword in Haskell is kinda a combination of sum and product |
| 2026-03-19 09:53:24 | <anselmschueler> | each constructor is a product type |
All times are in UTC.