Newest at the top
| 2026-02-08 22:50:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-08 22:48:42 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-08 22:47:41 +0100 | <EvanR> | I was curious about this alleged "move fast break things" float parser in attoparsec |
| 2026-02-08 22:47:15 +0100 | <EvanR> | (and then... to get to the finish line... fromRational . toRational) |
| 2026-02-08 22:46:39 +0100 | <EvanR> | meanwhile attoparsec's float parser uses scientific |
| 2026-02-08 22:46:27 +0100 | <EvanR> | postgresql documentation might be outdated here... saying that converting database reals to Float "goes through attoparsec which sacrifices accuracy for speed. Use Scientific if you want correct" |
| 2026-02-08 22:43:43 +0100 | <EvanR> | i.e. f (f ()) |
| 2026-02-08 22:43:32 +0100 | <EvanR> | lol |
| 2026-02-08 22:42:48 +0100 | <yahb2> | <no output> |
| 2026-02-08 22:42:48 +0100 | <probie> | % data Foo (f :: forall k . k -> k) = Foo (f f ()) |
| 2026-02-08 22:42:26 +0100 | <probie> | You don't need a newtype wrapper to have `f f` |
| 2026-02-08 22:39:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-08 22:38:30 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-08 22:35:18 +0100 | Enrico63 | (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) Enrico63 |
| 2026-02-08 22:35:14 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 22:34:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-08 22:30:39 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-08 22:29:55 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 245 seconds) |
| 2026-02-08 22:27:33 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 22:25:57 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-08 22:23:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-08 22:23:28 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-08 22:23:24 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-08 22:22:58 +0100 | <EvanR> | you'd need some kind of newtype wrapper to mediate |
| 2026-02-08 22:22:43 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 22:22:14 +0100 | <EvanR> | it's kind of like how f f is impossible as is |
| 2026-02-08 22:21:46 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-08 22:18:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-08 22:18:04 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-08 22:14:57 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-02-08 22:14:51 +0100 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2026-02-08 22:09:37 +0100 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2026-02-08 22:07:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-08 22:04:54 +0100 | <yahb2> | <interactive>:7:41: error: [GHC-27958] ; • Expected kind ‘k0’, but ‘Timed’ has kind ‘(k0 -> *) -> *’ ; • In the first argument of ‘a’, namely ‘Timed’ ; In the type ‘(a Timed)’ ; ... |
| 2026-02-08 22:04:54 +0100 | <tomsmeding> | % data Timed a = Later (Timed a) | Now (a Timed) |
| 2026-02-08 22:04:31 +0100 | <chromoblob> | Rembane: no, i doubt it will work because i can see that Timed would have an infinite kind |
| 2026-02-08 22:03:57 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 22:03:56 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-08 22:03:55 +0100 | <chromoblob> | something like "data Timed a = Later (Timed a) | Now a" and "data ListTimed a = EmptyTimed | ConsTimed (Timed a) (Timed (ListTimed a))" is intended |
| 2026-02-08 22:03:02 +0100 | <Rembane> | chromoblob: Have you tried them in a Haskell compiler? |
| 2026-02-08 22:02:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-08 22:01:31 +0100 | <chromoblob> | tomsmeding: the definitions |
| 2026-02-08 21:56:34 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 21:55:29 +0100 | _JusSx_ | (~username@37.163.117.200) _JusSx_ |
| 2026-02-08 21:55:01 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-08 21:54:18 +0100 | _JusSx_ | (~jussx@37.163.117.200) (Quit: leaving) |
| 2026-02-08 21:53:18 +0100 | tomsmeding | is not sure what "this" refers to |
| 2026-02-08 21:52:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-08 21:47:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-08 21:46:49 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |