Logs: liberachat/#haskell
| 2026-03-15 13:33:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-15 13:40:37 | → | huhuhuhuh joins (~huhuhuhuh@220.158.168.165) |
| 2026-03-15 13:44:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 13:44:58 | × | huhuhuhuh quits (~huhuhuhuh@220.158.168.165) (Ping timeout: 240 seconds) |
| 2026-03-15 13:48:29 | <gentauro> | mesaoptimizer: you need to have a base. I recall very bright people from the uni days that by taking the SML course were not able to understand what was going on (and skipping the class entirely). |
| 2026-03-15 13:49:01 | <gentauro> | I think the only person I know who have managed to make these concepts easy to use by almost everybody, is Evan with Elm. |
| 2026-03-15 13:49:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-15 13:49:19 | gentauro | and there are still many people who don't grasp the notions of it, sadly |
| 2026-03-15 13:51:11 | <Rembane> | I believe in the concept of Elm as a "gateway drug" |
| 2026-03-15 13:51:28 | <Rembane> | Gleam might work for that too, since it has a syntax that smells more of C |
| 2026-03-15 14:00:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 14:05:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-15 14:05:50 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-15 14:11:24 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2026-03-15 14:13:04 | → | califax joins (~califax@user/califx) |
| 2026-03-15 14:13:56 | × | timide quits (~timide@user/timide) (Read error: Connection reset by peer) |
| 2026-03-15 14:14:07 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-15 14:14:28 | → | timide joins (~timide@user/timide) |
| 2026-03-15 14:15:22 | → | img joins (~img@user/img) |
| 2026-03-15 14:15:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 14:20:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-15 14:26:08 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) |
| 2026-03-15 14:30:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 14:31:41 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-15 14:32:00 | → | j1n37 joins (~j1n37@user/j1n37) |
| 2026-03-15 14:35:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-15 14:38:49 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-03-15 14:43:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 14:43:34 | × | m1dnight quits (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 276 seconds) |
| 2026-03-15 14:47:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-15 14:49:32 | → | m1dnight joins (~m1dnight@d8D861A17.access.telenet.be) |
| 2026-03-15 14:52:28 | → | Square2 joins (~Square@user/square) |
| 2026-03-15 14:58:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 14:59:47 | → | karenw joins (~karenw@user/karenw) |
| 2026-03-15 15:00:31 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-03-15 15:02:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-15 15:04:37 | <chromoblob> | Hoogle-as-a-Haskell-mentor |
| 2026-03-15 15:09:11 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2026-03-15 15:09:27 | → | califax joins (~califax@user/califx) |
| 2026-03-15 15:13:19 | <mesaoptimizer> | Hoogle isn't enough |
| 2026-03-15 15:13:45 | <mesaoptimizer> | you need one-on-one mentoring while you try to solve exercises |
| 2026-03-15 15:13:59 | <mesaoptimizer> | that's what I believe the essay states is the most effective strategy |
| 2026-03-15 15:14:01 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-15 15:14:52 | <mesaoptimizer> | gentauro: I feel like Haskell is likely easier to learn for people who didn't learn a traditional effectful impure imperative language |
| 2026-03-15 15:15:02 | <mesaoptimizer> | so au contraire |
| 2026-03-15 15:15:32 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-15 15:18:44 | <c_wraith> | learning just about everything is most effective with a one-on-one mentor |
| 2026-03-15 15:20:42 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2026-03-15 15:21:59 | <mesaoptimizer> | I just realized that in my experience, I never could learn math in realtime in a one-on-one conversation with anyone experienced |
| 2026-03-15 15:23:07 | <mesaoptimizer> | people massively underestimate the deep bodies of knowledge they've built and try to walk you through an argument as if you've internalized the statement they've said a few seconds ago |
| 2026-03-15 15:23:40 | <mesaoptimizer> | its even worse if they are *bad* at this and get *frustrated* or worse, keep trying when you try to politely inform them of the futility of the attempt |
| 2026-03-15 15:25:31 | <c_wraith> | I didn't say it was easy to be a mentor! It's actually very hard to know when to stop explaining and say "try this on your own for a while and tell me you come up with" |
| 2026-03-15 15:32:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 15:37:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-15 15:45:00 | → | qqq joins (~qqq@185.54.20.215) |
| 2026-03-15 15:46:17 | × | raincomplex quits (~rain@user/raincomplex) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2026-03-15 15:47:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 15:48:34 | → | raincomplex joins (~rain@pool-173-54-183-192.nwrknj.fios.verizon.net) |
| 2026-03-15 15:48:34 | × | raincomplex quits (~rain@pool-173-54-183-192.nwrknj.fios.verizon.net) (Changing host) |
| 2026-03-15 15:48:34 | → | raincomplex joins (~rain@user/raincomplex) |
| 2026-03-15 15:51:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-15 16:02:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 16:06:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-15 16:13:31 | → | spew joins (~spew@user/spew) |
| 2026-03-15 16:13:56 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-03-15 16:17:51 | × | Digit quits (~user@user/digit) (Ping timeout: 255 seconds) |
| 2026-03-15 16:18:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 16:18:23 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-03-15 16:22:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-15 16:27:55 | × | emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 264 seconds) |
| 2026-03-15 16:33:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 16:38:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-15 16:43:33 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-03-15 16:44:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 16:49:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-15 16:57:39 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-15 16:58:09 | Digitteknohippie | is now known as Digit |
| 2026-03-15 16:59:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 17:00:42 | → | madresch1 joins (~Thunderbi@user/madresch) |
| 2026-03-15 17:02:11 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 252 seconds) |
| 2026-03-15 17:02:11 | madresch1 | is now known as madresch |
| 2026-03-15 17:03:28 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-03-15 17:04:39 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2026-03-15 17:06:35 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2026-03-15 17:06:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-15 17:10:12 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2026-03-15 17:17:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 17:21:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-15 17:25:11 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-15 17:33:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 17:37:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-15 17:45:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 17:47:06 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-03-15 17:49:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-15 17:51:05 | → | wickedjargon joins (~user@S0106f89e28d5699a.vc.shawcable.net) |
| 2026-03-15 17:54:23 | × | madresch quits (~Thunderbi@user/madresch) (Quit: madresch) |
| 2026-03-15 17:55:59 | <Rembane> | Math is ... math is never easy to learn nor to teach. IMHO. A compiler and some limit of the abstractions make things so much easier. |
| 2026-03-15 18:00:10 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 245 seconds) |
| 2026-03-15 18:00:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 18:05:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
All times are in UTC.