Logs: liberachat/#haskell
| 2026-02-08 20:55:01 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-02-08 20:55:29 | → | _JusSx_ joins (~username@37.163.117.200) |
| 2026-02-08 20:56:34 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 21:01:31 | <chromoblob> | tomsmeding: the definitions |
| 2026-02-08 21:02:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 21:03:02 | <Rembane> | chromoblob: Have you tried them in a Haskell compiler? |
| 2026-02-08 21:03:55 | <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 21:03:56 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 21:03:57 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 21:04:31 | <chromoblob> | Rembane: no, i doubt it will work because i can see that Timed would have an infinite kind |
| 2026-02-08 21:04:54 | <tomsmeding> | % data Timed a = Later (Timed a) | Now (a Timed) |
| 2026-02-08 21:04:54 | <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 21:07:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-08 21:09:37 | × | fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2026-02-08 21:14:51 | × | ystael quits (~ystael@user/ystael) (Quit: Lost terminal) |
| 2026-02-08 21:14:57 | → | fgarcia joins (~lei@user/fgarcia) |
| 2026-02-08 21:18:04 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 21:18:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 21:21:46 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-08 21:22:14 | <EvanR> | it's kind of like how f f is impossible as is |
| 2026-02-08 21:22:43 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 21:22:58 | <EvanR> | you'd need some kind of newtype wrapper to mediate |
| 2026-02-08 21:23:24 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-02-08 21:23:28 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-02-08 21:23:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-08 21:25:57 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 21:27:33 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 21:29:55 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 245 seconds) |
| 2026-02-08 21:30:39 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 21:34:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 21:35:14 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 21:35:18 | → | Enrico63 joins (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) |
| 2026-02-08 21:38:30 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 21:39:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-08 21:42:26 | <probie> | You don't need a newtype wrapper to have `f f` |
| 2026-02-08 21:42:48 | <probie> | % data Foo (f :: forall k . k -> k) = Foo (f f ()) |
| 2026-02-08 21:42:48 | <yahb2> | <no output> |
| 2026-02-08 21:43:32 | <EvanR> | lol |
| 2026-02-08 21:43:43 | <EvanR> | i.e. f (f ()) |
| 2026-02-08 21:46:27 | <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 21:46:39 | <EvanR> | meanwhile attoparsec's float parser uses scientific |
| 2026-02-08 21:47:15 | <EvanR> | (and then... to get to the finish line... fromRational . toRational) |
| 2026-02-08 21:47:41 | <EvanR> | I was curious about this alleged "move fast break things" float parser in attoparsec |
| 2026-02-08 21:48:42 | → | pavonia joins (~user@user/siracusa) |
| 2026-02-08 21:50:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 21:51:33 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 21:52:15 | <yin> | i'm taking darcs for a spin. any advice? |
| 2026-02-08 21:53:29 | <tomsmeding> | EvanR: historical version of attoparsec seem to have such a thing |
| 2026-02-08 21:54:54 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 21:55:52 | <tomsmeding> | EvanR: seems attoparsec-0.12.0.0 is the first that just calls to Scientific |
| 2026-02-08 21:55:52 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 21:57:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-08 21:59:35 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 22:00:31 | × | Enrico63 quits (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-08 22:02:54 | <haskellbridge> | <ijouw> yin: Keep this diagram in mind https://darcs.net/Using/Model. Don't forget to >darcs add< your source files. |
| 2026-02-08 22:06:52 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 2026-02-08 22:07:34 | × | emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 246 seconds) |
| 2026-02-08 22:07:57 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 22:08:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 22:10:13 | <mauke> | keep backup copies of everything because darcs likes to corrupt repositories |
| 2026-02-08 22:11:47 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 22:13:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-08 22:15:05 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 22:19:13 | <yin> | mauke: i'm using darcs in tandem with git :) |
| 2026-02-08 22:20:13 | <yin> | so it's not a reliable version control system? |
| 2026-02-08 22:20:27 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 22:20:55 | × | krei-se- quits (~krei-se@p50829bea.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2026-02-08 22:21:26 | <mauke> | it wasn't when I stopped using it, but that was like 15 years ago :-) |
| 2026-02-08 22:21:47 | × | michalz quits (~michalz@185.246.207.193) (Remote host closed the connection) |
| 2026-02-08 22:22:51 | <mauke> | I had a local repo that would just pull in updates from a remote source (and act as a source for other local repositories), but after a while darcs would start complaining about unresolved conflicts in that repo |
| 2026-02-08 22:23:17 | <mauke> | which made no sense because I never edited (let alone committed) anything in there |
| 2026-02-08 22:23:44 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 22:24:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 22:28:07 | × | ThePenguin quits (~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection) |
| 2026-02-08 22:28:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-08 22:29:16 | <geekosaur> | fwiw #darcs is a thing (and you can ask in there if you have issues) (also bridged to #darcs:matrix.org) |
| 2026-02-08 22:29:38 | <yin> | geekosaur: great, thanks! |
| 2026-02-08 22:31:45 | → | ThePenguin joins (~ThePengui@cust-95-80-28-221.csbnet.se) |
| 2026-02-08 22:32:46 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 22:35:05 | × | ThePenguin quits (~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection) |
| 2026-02-08 22:35:28 | <EvanR> | was darcs using acid-state |
| 2026-02-08 22:35:54 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 252 seconds) |
| 2026-02-08 22:36:00 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 22:36:05 | → | ThePenguin joins (~ThePengui@cust-95-80-28-221.csbnet.se) |
| 2026-02-08 22:36:29 | × | ThePenguin quits (~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection) |
| 2026-02-08 22:37:15 | → | ThePenguin joins (~ThePengui@cust-95-80-28-221.csbnet.se) |
| 2026-02-08 22:40:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 22:40:29 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 22:43:50 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 22:44:22 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-08 22:44:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-08 22:46:36 | <EvanR> | which one sucks less: parser (potentially) returns a Command, then a big case dispatches Command to run the specific command IO code |
| 2026-02-08 22:46:55 | <EvanR> | or parser (potentially) just returns the IO action that would eventually be run instead |
| 2026-02-08 22:47:00 | → | Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi) |
| 2026-02-08 22:49:04 | <haskellbridge> | <sm> "darcs likes to corrupt repositories" ? I wouldn't say that |
| 2026-02-08 22:49:38 | <haskellbridge> | <sm> no, it doesn't use acid-state EvanR |
| 2026-02-08 22:50:19 | <EvanR> | 👍 |
| 2026-02-08 22:52:33 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2026-02-08 22:52:44 | → | mange joins (~mange@user/mange) |
| 2026-02-08 22:55:16 | <geekosaur> | the first is what's usually done, in some fashion (e.g. free monad instead of a traditional ADT); also, the second could be considered a variety of the first. but also smacks of "parse, don't validate" violation to me? |
All times are in UTC.