Logs: liberachat/#haskell
| 2026-04-23 07:02:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 07:04:32 | × | Vizious quits (~bes@user/Vizious) (Read error: Connection reset by peer) |
| 2026-04-23 07:06:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 07:15:14 | → | Square2 joins (~Square4@user/square) |
| 2026-04-23 07:17:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 07:21:15 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-04-23 07:21:25 | × | rainbyte quits (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-04-23 07:22:18 | → | rainbyte joins (~rainbyte@181.47.219.3) |
| 2026-04-23 07:22:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-23 07:23:41 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-23 07:24:03 | → | fp1 joins (~Thunderbi@2001-14ba-6e24-3000--180.rev.dnainternet.fi) |
| 2026-04-23 07:34:06 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-23 07:38:12 | → | Vizious joins (~bes@user/Vizious) |
| 2026-04-23 07:48:16 | × | vgtw quits (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2026-04-23 07:54:17 | → | oskarw joins (~user@user/oskarw) |
| 2026-04-23 08:01:38 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-04-23 08:01:56 | → | karenw joins (~karenw@user/karenw) |
| 2026-04-23 08:05:36 | → | vgtw joins (~vgtw@user/vgtw) |
| 2026-04-23 08:11:08 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 2026-04-23 08:14:47 | <haskellbridge> | <ozkutuk> dibblego: there is also ReifiedPrism' if you prefer using that |
| 2026-04-23 08:15:18 | <dibblego> | I do, but that is back to a type-alias |
| 2026-04-23 08:16:41 | <haskellbridge> | <ozkutuk> yes, but it is an alias for ReifiedPrism and not the underlying optic type, so in a sense it is still opaque |
| 2026-04-23 08:16:48 | <haskellbridge> | <ozkutuk> or maybe I misunderstood your use case |
| 2026-04-23 08:23:13 | <dibblego> | I want a value that can use in a position (p :: * -> * -> *) and type-aliases cannot appear there |
| 2026-04-23 08:25:36 | <haskellbridge> | <ozkutuk> in that case I think wrapping with a newtype of your own is your only choice |
| 2026-04-23 08:40:42 | <dibblego> | ok thanks |
| 2026-04-23 08:48:00 | × | CiaoSen quits (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-04-23 08:48:23 | jreicher | is now known as Guest5730 |
| 2026-04-23 08:48:23 | × | Guest5730 quits (~joelr@user/jreicher) (Killed (niobium.libera.chat (Nickname regained by services))) |
| 2026-04-23 08:48:56 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-04-23 08:51:34 | × | fp1 quits (~Thunderbi@2001-14ba-6e24-3000--180.rev.dnainternet.fi) (Ping timeout: 245 seconds) |
| 2026-04-23 08:51:44 | → | bggd__ joins (~bgg@2a01:e0a:fd5:f510:a8fb:b82b:2a5:62ab) |
| 2026-04-23 08:52:57 | × | tnt1 quits (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 2026-04-23 08:55:36 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2026-04-23 08:56:00 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 2026-04-23 09:01:10 | <haskellbridge> | <Liamzee> hey, is servant dead? their hackage page now has brokne links :( |
| 2026-04-23 09:11:09 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2026-04-23 09:13:39 | <mauke> | https://docs.servant.dev/en/0.20.3.0/tutorial/index.html ? |
| 2026-04-23 09:16:39 | <merijn> | Liamzee which broken links? |
| 2026-04-23 09:17:03 | <haskellbridge> | <Liamzee> https://docs.servant.dev/en/stable/tutorial/index.html |
| 2026-04-23 09:17:07 | <haskellbridge> | <Liamzee> https://hackage.haskell.org/package/servant-server |
| 2026-04-23 09:17:53 | <merijn> | Liamzee: I mean, the hackage page only updates when they publish a new version (assuming they remember to check that link) |
| 2026-04-23 09:19:16 | <gentauro> | % lenght (Just []) |
| 2026-04-23 09:19:16 | <yahb2> | <interactive>:37:1: error: [GHC-88464] ; Variable not in scope: lenght :: Maybe [a0] -> t ; Suggested fix: Perhaps use ‘length’ (imported from Prelude) |
| 2026-04-23 09:19:26 | <gentauro> | % length (Just []) |
| 2026-04-23 09:19:26 | <yahb2> | 1 |
| 2026-04-23 09:19:33 | <gentauro> | % length (Just [1]) |
| 2026-04-23 09:19:33 | <yahb2> | 1 |
| 2026-04-23 09:19:37 | <gentauro> | % length (Just []) |
| 2026-04-23 09:19:37 | <yahb2> | 1 |
| 2026-04-23 09:19:44 | <gentauro> | Huh? |
| 2026-04-23 09:20:15 | <mauke> | % length Nothing |
| 2026-04-23 09:20:15 | <yahb2> | 0 |
| 2026-04-23 09:20:38 | <mauke> | Maybe = a list of at most one element |
| 2026-04-23 09:20:41 | <humasect> | vector[1] == scalar ? |
| 2026-04-23 09:20:49 | <humasect> | oh |
| 2026-04-23 09:21:04 | <humasect> | % length Nothing |
| 2026-04-23 09:21:04 | <yahb2> | 0 |
| 2026-04-23 09:21:16 | <gentauro> | mauke: lucky to have the LSP point that out :o |
| 2026-04-23 09:28:43 | × | vgtw quits (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2026-04-23 09:29:20 | <haskellbridge> | <Liamzee> merijn, sorry |
| 2026-04-23 09:29:28 | <haskellbridge> | <Liamzee> i'm sort of depressed, AI is going to eat everything |
| 2026-04-23 09:29:40 | <haskellbridge> | <Liamzee> i lost my faith |
| 2026-04-23 09:32:28 | <merijn> | I'm still not convinced :p |
| 2026-04-23 09:33:53 | <merijn> | Uptime of everyone is in the dumps since the AI hype in silicon valley, Windows is a dumpster fire, seems a direct correlation between things going to shit and AI usage |
| 2026-04-23 09:35:37 | × | myme quits (~myme@2a01:799:d5e:5f00:170f:167e:539:9415) (Ping timeout: 248 seconds) |
| 2026-04-23 09:36:51 | → | myme joins (~myme@2a01:799:d5e:5f00:35e0:fff9:f0bb:6422) |
| 2026-04-23 09:37:32 | → | misterfish joins (~misterfis@046044172198.static.ipv4.heldenvannu.net) |
| 2026-04-23 09:37:55 | ← | oskarw parts (~user@user/oskarw) (ERC 5.6.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-23 09:41:12 | <haskellbridge> | <Liamzee> Windows is dying, albeit quite slowly |
| 2026-04-23 09:45:56 | → | acidjnk_new joins (~acidjnk@p200300d6e700e5373152bf0fe7dd1216.dip0.t-ipconnect.de) |
| 2026-04-23 09:46:09 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 245 seconds) |
| 2026-04-23 09:48:08 | → | vgtw joins (~vgtw@user/vgtw) |
| 2026-04-23 09:48:39 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e5839e53bb2e58e5bcbf.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-04-23 09:58:35 | <merijn> | I mean, adoption of 11 is in the dumps and with 12 being "a proper agentic OS" I suspsect that's not gonna be better :P |
| 2026-04-23 10:00:44 | × | misterfish quits (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 245 seconds) |
| 2026-04-23 10:02:35 | → | misterfish joins (~misterfis@89.205.247.219) |
| 2026-04-23 10:03:08 | deveng | is now known as fernando-basso |
| 2026-04-23 10:08:44 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-04-23 10:09:04 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2026-04-23 10:23:23 | → | Katarushisu6 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2026-04-23 10:32:58 | → | tok joins (~user@user/tok) |
| 2026-04-23 10:45:16 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2026-04-23 10:45:40 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
All times are in UTC.