Newest at the top
| 2024-11-19 19:21:50 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-19 19:09:49 +0100 | Alleria | (~Alleria@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-19 19:09:47 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2024-11-19 19:08:18 +0100 | rachelambda8 | rachelambda |
| 2024-11-19 19:08:17 +0100 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) (Ping timeout: 248 seconds) |
| 2024-11-19 19:06:12 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) rachelambda |
| 2024-11-19 19:05:19 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-19 19:04:42 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-19 19:03:51 +0100 | <bwe> | guy: https://paste.tomsmeding.com/3ZhcPekE |
| 2024-11-19 18:59:41 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-11-19 18:56:31 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 2024-11-19 18:51:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-19 18:50:48 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-19 18:49:19 +0100 | <guy> | anyway, theres no question here other than syntax errors |
| 2024-11-19 18:49:15 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-11-19 18:49:07 +0100 | <guy> | still needs the offending extra type at the instance commented out |
| 2024-11-19 18:48:21 +0100 | <bwe> | guy: https://paste.tomsmeding.com/lGOCgwrY |
| 2024-11-19 18:48:21 +0100 | <guy> | a stateful language another time |
| 2024-11-19 18:47:18 +0100 | <guy> | cabal projects and v2-repl in .bat files is a good way to easily point the compiler to a subproject / cabal package in a directory structure |
| 2024-11-19 18:46:03 +0100 | <guy> | might help with these matching issues |
| 2024-11-19 18:45:57 +0100 | <guy> | writing; data DBEntry where DBEntry :: SiteVariant -> BS.ByteString -> DBEntry |
| 2024-11-19 18:45:38 +0100 | <geekosaur> | ardell: tbh stack is still easier to start with, but as your extra-deps start to grow cabal will become easier to work with. if you can stick to the snapshot then stack will be easier |
| 2024-11-19 18:44:26 +0100 | <guy> | (DBEntry siteVariant html) |
| 2024-11-19 18:43:57 +0100 | <guy> | DBEntry {..} = case siteVariant |
| 2024-11-19 18:43:56 +0100 | <guy> | its all valid in terms of proxies. but you have an error matching here; |
| 2024-11-19 18:43:22 +0100 | <guy> | then the B case should work, if you also supply an instance for that class |
| 2024-11-19 18:42:27 +0100 | <guy> | also your instance should not replace the type with a new type, that should be a comment, and it should not be incorrect accotrding to the class |
| 2024-11-19 18:40:56 +0100 | <guy> | A -> fromHTML (Proxy @SiteA) html |
| 2024-11-19 18:39:14 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-11-19 18:38:18 +0100 | <guy> | ghcup still going strong |
| 2024-11-19 18:38:08 +0100 | <guy> | cabal ftw |
| 2024-11-19 18:37:54 +0100 | <bwe> | btw. does anyone has hlint working within helix editor with or without using hls? |
| 2024-11-19 18:37:27 +0100 | <geekosaur> | also these days stack hooks into ghcup, which generally works better than stack's own ghc management |
| 2024-11-19 18:37:24 +0100 | <bwe> | guy & Leary: I've put together some minimum example: https://paste.tomsmeding.com/MrYnuSCc |
| 2024-11-19 18:34:25 +0100 | f-a | (ff2a@joined.irc.for-some.fun) () |
| 2024-11-19 18:34:14 +0100 | <haskellbridge> | <maerwald> hls works better with cabal |
| 2024-11-19 18:33:21 +0100 | <ardell> | If I may throw in an unrelated question: I'd like to write something small in Haskell. What's the current recommendation for initial setup? ghcup and cabal? Or is stack still recommended? |
| 2024-11-19 18:33:12 +0100 | <guy> | did anyone have any thoughts on a stateful language? |
| 2024-11-19 18:33:02 +0100 | <guy> | .... |
| 2024-11-19 18:31:50 +0100 | <guy> | but normally you write the forall so the ambiguous types come first |
| 2024-11-19 18:31:36 +0100 | <guy> | there is a wildcard @_ to avoid having to supply preceeding types |
| 2024-11-19 18:31:11 +0100 | <guy> | and you dont need to supply all or any usually, but can if there is ambiguity |
| 2024-11-19 18:30:52 +0100 | <guy> | the forall is kind of like the list of function arguments, except requiring @ arguments that are types |
| 2024-11-19 18:30:43 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-19 18:29:58 +0100 | <guy> | let xs = blankVec @Double |
| 2024-11-19 18:29:32 +0100 | <guy> | much worse |
| 2024-11-19 18:29:24 +0100 | <guy> | let xs = blankVec (Proxy :: Proxy Double) |
| 2024-11-19 18:29:02 +0100 | <guy> | blankVec :: Proxy a -> Vec a |
| 2024-11-19 18:29:02 +0100 | <guy> | rather than eg |
| 2024-11-19 18:28:17 +0100 | <guy> | which is anyway implicit |