Logs: liberachat/#haskell
| 2025-11-12 07:48:30 | × | acidjnk quits (~acidjnk@p200300d6e7171961bd4b6122a2993081.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-11-12 07:50:27 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-12 07:51:28 | → | p3n joins (~p3n@217.198.124.246) |
| 2025-11-12 07:52:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-12 07:52:57 | → | tromp joins (~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343) |
| 2025-11-12 07:59:06 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-12 08:03:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-12 08:07:26 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:f035:6bc2:6fad:c26b) (Remote host closed the connection) |
| 2025-11-12 08:07:43 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:671f:5333:597d:60b9) |
| 2025-11-12 08:07:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-12 08:10:30 | × | Googulator52 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 08:10:39 | → | Googulator52 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 08:10:59 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-12 08:11:13 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-12 08:13:44 | × | connrs quits (~connrs@user/connrs) (Ping timeout: 244 seconds) |
| 2025-11-12 08:21:21 | → | djspacewhale joins (~djspacewh@user/djspacewhale) |
| 2025-11-12 08:21:38 | × | lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 260 seconds) |
| 2025-11-12 08:21:46 | → | lbseale_ joins (~quassel@user/ep1ctetus) |
| 2025-11-12 08:22:07 | × | djspacewhale quits (~djspacewh@user/djspacewhale) (Remote host closed the connection) |
| 2025-11-12 08:22:39 | → | connrs joins (~connrs@user/connrs) |
| 2025-11-12 08:26:47 | → | djspacewhale joins (~djspacewh@user/djspacewhale) |
| 2025-11-12 08:27:08 | × | djspacewhale quits (~djspacewh@user/djspacewhale) (Remote host closed the connection) |
| 2025-11-12 08:27:31 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:671f:5333:597d:60b9) (Remote host closed the connection) |
| 2025-11-12 08:27:43 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:aa6f:3f10:cf62:53ea) |
| 2025-11-12 08:30:42 | × | Googulator52 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 08:30:54 | → | Googulator52 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 08:32:01 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-11-12 08:32:24 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-12 08:36:01 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-12 08:39:03 | → | notzmv joins (~umar@user/notzmv) |
| 2025-11-12 08:44:27 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-12 08:45:31 | × | Googulator52 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 08:45:41 | → | Googulator52 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 08:49:01 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 2025-11-12 08:50:04 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-11-12 08:50:46 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-12 09:01:40 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-12 09:05:38 | → | Googulator35 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 09:05:43 | × | Googulator52 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 09:10:27 | × | lbseale_ quits (~quassel@user/ep1ctetus) (Ping timeout: 256 seconds) |
| 2025-11-12 09:10:48 | → | Googulator85 joins (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-12 09:10:48 | × | Googulator35 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 09:11:41 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 2025-11-12 09:15:19 | → | Miroboru joins (~myrvoll@84.215.250.50) |
| 2025-11-12 09:15:32 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-12 09:25:39 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-12 09:26:29 | → | kuribas joins (~user@2a02-1810-2825-6000-4bf0-37f8-b4bb-282d.ip6.access.telenet.be) |
| 2025-11-12 09:27:20 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-11-12 09:28:16 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-12 09:28:16 | <Enrico63> | Hi there. Does the "HT" in Control.Monad.HT and utility-ht stand for the author's name, HenningThielemann? |
| 2025-11-12 09:31:07 | → | collide29543 joins (~collide29@user/collide2954) |
| 2025-11-12 09:31:08 | <Enrico63> | ... out of curiosity. |
| 2025-11-12 09:33:02 | × | collide2954 quits (~collide29@user/collide2954) (Quit: Ping timeout (120 seconds)) |
| 2025-11-12 09:33:02 | collide29543 | is now known as collide2954 |
| 2025-11-12 09:35:39 | → | Googulator54 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 09:35:51 | × | Googulator85 quits (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 09:41:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-12 09:42:54 | <kuribas> | Enrico63: seems plausible. |
| 2025-11-12 09:45:40 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-11-12 09:46:02 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-11-12 09:48:57 | → | acidjnk joins (~acidjnk@p200300d6e71719864df0570ed0b0e3ba.dip0.t-ipconnect.de) |
| 2025-11-12 09:51:22 | × | tromp quits (~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-12 09:55:37 | → | Googulator73 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 09:55:39 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-12 09:55:40 | × | Googulator54 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 10:00:14 | <haskellbridge> | <Morj> In some of my old projects you can find a custom prelude named morjlude. A bit more obvious with this one |
| 2025-11-12 10:00:40 | × | Googulator73 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 10:00:48 | → | Googulator38 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 10:02:29 | → | ubert1 joins (~Thunderbi@178.165.182.105.wireless.dyn.drei.com) |
| 2025-11-12 10:05:23 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-12 10:07:56 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-12 10:08:16 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-11-12 10:08:35 | <merijn> | Enrico63: That would certainly match his...ecclectic...naming habits |
| 2025-11-12 10:09:03 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:aa6f:3f10:cf62:53ea) (Remote host closed the connection) |
| 2025-11-12 10:09:22 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:9a6c:1796:18b4:82bc) |
| 2025-11-12 10:11:01 | <Enrico63> | merijn, ahahah, like what? In the list at https://hackage.haskell.org/user/HenningThielemann I see ... "toilet", but not much strange names |
| 2025-11-12 10:12:04 | → | comerijn joins (~merijn@77.242.116.146) |
| 2025-11-12 10:12:37 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-12 10:14:29 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-12 10:15:37 | × | ubert1 quits (~Thunderbi@178.165.182.105.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2025-11-12 10:18:01 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-12 10:24:25 | <mauke> | Enrico63: https://hackage.haskell.org/package/unique-logic-0.4.0.1/docs/doc-index.html count the number of classes named 'C' and types named 'T' |
| 2025-11-12 10:25:07 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-12 10:25:25 | <haskellbridge> | <Morj> Maybe it's just ocaml-style! |
| 2025-11-12 10:25:51 | <haskellbridge> | <Morj> Nah, doesn't look like it |
| 2025-11-12 10:28:24 | × | acidjnk quits (~acidjnk@p200300d6e71719864df0570ed0b0e3ba.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-11-12 10:29:56 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-12 10:30:39 | × | Googulator38 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 10:30:49 | → | Googulator38 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 10:40:45 | → | fp joins (~Thunderbi@130.233.70.206) |
| 2025-11-12 10:46:27 | <__monty__> | Meant to be used fully qualified? |
| 2025-11-12 10:47:29 | <haskellbridge> | <Morj> Yeah, ocaml-style. I thought that maybe not because there are other datatype definitions in the same module |
| 2025-11-12 10:48:48 | <merijn> | I guess we're still talking Henning's naming? He's a believer you should always use everything qualified and his naming scheme basically forces you too, but it also results in completely unreadable hackage docs >.> |
| 2025-11-12 10:51:06 | <haskellbridge> | <Morj> Actually a based opinion if he were writing rust |
| 2025-11-12 10:51:31 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-12 10:52:29 | <haskellbridge> | <Morj> Though you remind me that I wrote this piece of code yesterday: "mimeRender _ = Data.ByteString.Lazy.fromStrict . Data.Text.Encoding.encodeUtf8" - and then made HLS auto-add the qualified import, and it was nice |
| 2025-11-12 10:53:26 | → | Nachtgespenst joins (~user@user/siracusa) |
| 2025-11-12 10:56:11 | <tomsmeding> | Morj: HLS even manages to auto-add the qualified import sometimes if you write `Lazy.fromStrict` |
| 2025-11-12 10:58:06 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-12 10:59:25 | <merijn> | Morj: I mean some modules are explicitly intended for qualified imports, but generally people use abbreviations |
All times are in UTC.