Logs: liberachat/#haskell
| 2025-11-11 03:56:44 | × | sp1ff quits (~user@2601:1c2:4c00:6820::8bad) (Read error: Connection reset by peer) |
| 2025-11-11 04:00:36 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 04:00:49 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 04:05:42 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-11 04:14:25 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-11-11 04:14:27 | ← | sm parts (znc@plaintextaccounting/sm) () |
| 2025-11-11 04:17:23 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 04:17:36 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 04:25:33 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 2025-11-11 04:25:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-11 04:27:34 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 246 seconds) |
| 2025-11-11 04:27:35 | polykernel_ | is now known as polykernel |
| 2025-11-11 04:30:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-11 04:32:21 | <Square2> | I'm going to give a talk at my company about Haskell to inspire some people to learn it, cause we'll be needing it for a DSL library. How would you pitch Haskell to middle age people that might not be you most curious programmers? |
| 2025-11-11 04:32:48 | <Square2> | be your* |
| 2025-11-11 04:33:21 | <mange> | What DSL library are you using that needs Haskell, if you're not already using Haskell? |
| 2025-11-11 04:34:22 | <jreicher> | Square2: what language(s) do they already know? |
| 2025-11-11 04:34:26 | <Square2> | It's a DSL written in Haskell. It's not in production yet. |
| 2025-11-11 04:34:34 | <Square2> | jreicher, java |
| 2025-11-11 04:34:46 | <jreicher> | "Impossible to have a null pointer exception" |
| 2025-11-11 04:35:00 | <Square2> | That's a good one! |
| 2025-11-11 04:35:20 | <jreicher> | This I would not repeat, but it's how I think about this stuff... |
| 2025-11-11 04:36:02 | <jreicher> | What garbage collection did for memory management, pure functional languages do for every aspect of data structure management. So the entire class of reference-management mistakes get eliminated. Null references is the most common of those. |
| 2025-11-11 04:37:20 | → | spew joins (~spew@user/spew) |
| 2025-11-11 04:38:45 | <jreicher> | The type system SHOULD be a selling point for Haskell too, but I'm not sure it is. |
| 2025-11-11 04:39:03 | × | spew quits (~spew@user/spew) (Client Quit) |
| 2025-11-11 04:39:19 | <Square2> | Personally I feel learning Haskell was a milestone of my work life. Wo exaggerating. It made me better creating programs I wanted and also gave me a better sense of what is possible (and what's not) when it comes to modeling. |
| 2025-11-11 04:39:47 | <Square2> | But I guess that's a bit vague. |
| 2025-11-11 04:40:26 | <jreicher> | Does your audience care about being better at creating programs? (I know that's a cynical question.) |
| 2025-11-11 04:41:13 | <geekosaur> | "writing code with fewer bugs" |
| 2025-11-11 04:42:00 | <Square2> | It's not your worst devs, but some are definitely more interested in the daily coffee break than learning new things. |
| 2025-11-11 04:42:04 | <jreicher> | Not all programmers do, unfortunately. And even worse, not all jobs require it. |
| 2025-11-11 04:42:38 | <Square2> | geekosaur, good point. Sleep better. I actually already had that in my list. |
| 2025-11-11 04:42:56 | <Square2> | ...or less stress, imho. |
| 2025-11-11 04:43:24 | <geekosaur> | more time writing code, less time debugging |
| 2025-11-11 04:43:39 | <geekosaur> | (doesn't work if they can push debugging off onto the junior in the group…) |
| 2025-11-11 04:46:49 | <jreicher> | Square2: if you can find a way to describe the composability of Haskell then they might see how much more reuse you can get out of existing code. That appeals to lazy (in a good way) programmers. |
| 2025-11-11 04:48:08 | geekosaur | suddenly wonders f we could adopt or mangle lwall's triptych |
| 2025-11-11 04:52:13 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 04:52:26 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 04:53:25 | × | deptype quits (~deptype@2406:b400:3a:73c2:87a5:b5f2:d68c:7c8) (Ping timeout: 240 seconds) |
| 2025-11-11 04:58:43 | <Square2> | jreicher, Great point. I semi had that in my list. |
| 2025-11-11 04:58:59 | <Square2> | thank you all for your input appreciated |
| 2025-11-11 04:59:58 | → | deptype joins (~deptype@2406:b400:3a:73c2:5ccb:d911:3632:6880) |
| 2025-11-11 05:00:32 | <Leary> | Square2: See what you can steal from the OG: John Hughes's "Why Functional Programming Matters" |
| 2025-11-11 05:02:35 | <Square2> | Leary, this https://www.youtube.com/watch?v=FGQAP0GxlW8 ? |
| 2025-11-11 05:03:23 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-11 05:04:22 | → | jreicher joins (~user@user/jreicher) |
| 2025-11-11 05:05:01 | <Leary> | There's an old paper, and various versions of the talk. If you're going to watch one of the talks, best to pick the most recent you can find. |
| 2025-11-11 05:14:42 | × | Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-11 05:15:41 | → | Googulator63 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 05:15:45 | × | Googulator96 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 05:20:03 | → | sp1ff joins (~user@2601:1c2:4c00:6820::8bad) |
| 2025-11-11 05:20:37 | × | Googulator63 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 05:20:53 | → | Googulator63 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 05:22:37 | <fgarcia> | pitching haskell? :O one that could be nice is supporting both prefix and infix notation |
| 2025-11-11 05:22:58 | <fgarcia> | pattern matching is amazing as well |
| 2025-11-11 05:28:30 | trickard_ | is now known as trickard |
| 2025-11-11 05:30:27 | <jreicher> | Java is getting pattern matching. :) |
| 2025-11-11 05:32:42 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-11-11 05:32:42 | × | chexum_ quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-11-11 05:32:55 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-11-11 05:33:04 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2025-11-11 05:35:38 | × | Googulator63 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 05:35:39 | → | Googulator34 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 05:40:27 | × | mange quits (~mange@user/mange) (Remote host closed the connection) |
| 2025-11-11 05:42:31 | <EvanR> | I know, tell them how you can define arbitrary brand new operators |
| 2025-11-11 05:42:38 | <EvanR> | everybody loves that |
| 2025-11-11 05:48:36 | <Square2> | Everyone's nostalgic from learning C++? =D |
| 2025-11-11 05:50:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-11 05:50:20 | <jreicher> | I miss having a compiler I can crash |
| 2025-11-11 05:52:30 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-11 05:54:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-11 05:56:14 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 05:56:28 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 05:57:42 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-11-11 05:57:50 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-11-11 05:57:54 | × | Googulator34 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 05:58:12 | → | Googulator34 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 06:00:16 | × | synchromesh quits (~john@2406:5a00:2412:2c00:ed84:4ebe:de81:99a2) (Read error: Connection reset by peer) |
| 2025-11-11 06:01:30 | → | synchromesh joins (~john@2406:5a00:2412:2c00:ed84:4ebe:de81:99a2) |
| 2025-11-11 06:20:40 | × | Googulator34 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 06:20:43 | → | Googulator33 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 06:22:01 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-11-11 06:22:10 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-11-11 06:22:58 | → | sm joins (znc@plaintextaccounting/sm) |
| 2025-11-11 06:28:06 | × | jreicher quits (~user@user/jreicher) (Quit: Beer) |
| 2025-11-11 06:29:28 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-11 06:30:00 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-11 06:50:10 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-11-11 06:52:03 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-11-11 06:52:21 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-11-11 06:52:46 | → | jreicher joins (~user@user/jreicher) |
| 2025-11-11 06:53:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-11 06:53:25 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-11-11 06:56:37 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-11 06:57:17 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-11-11 06:57:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-11 07:07:50 | <dibblego> | data X f a b = X (a, f b) -- what is X? |
| 2025-11-11 07:08:17 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
All times are in UTC.