Newest at the top
| 2026-02-15 22:07:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 22:05:35 +0100 | <monochrom> | There is also subtract, i.e., subtract 5 = \x -> x - 5 |
| 2026-02-15 22:04:52 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds) |
| 2026-02-15 22:01:45 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 2026-02-15 21:59:28 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:58:52 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:56:58 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:56:57 +0100 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-02-15 21:56:47 +0100 | <larsivi> | Ah, the unary negation operator - fixed it with wrapping (-) |
| 2026-02-15 21:56:31 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:56:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 21:52:58 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:52:21 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:51:32 +0100 | <larsivi> | (maybe you haven't applied a function to enough arguments?) |
| 2026-02-15 21:51:30 +0100 | <larsivi> | arising from a use of syntactic negation |
| 2026-02-15 21:51:28 +0100 | <larsivi> | • No instance for ‘Num (Int -> Int)’ |
| 2026-02-15 21:51:26 +0100 | <larsivi> | Ok, still not fully in place, I now get (only for negative ops): error: [GHC-39999] |
| 2026-02-15 21:51:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 21:50:19 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:50:02 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:49:10 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:48:52 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:48:01 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:47:42 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:43:05 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-02-15 21:42:19 +0100 | ss4 | wootehfoot |
| 2026-02-15 21:40:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-15 21:36:30 +0100 | karenw_ | (~karenw@user/karenw) karenw |
| 2026-02-15 21:34:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 21:31:50 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-02-15 21:31:23 +0100 | <larsivi> | nice, thanks |
| 2026-02-15 21:31:06 +0100 | <monochrom> | If you have a pair, the pattern is (p,q). If you have a list of length 2, the pattern is [p,q]. |
| 2026-02-15 21:30:58 +0100 | <[exa]> | (op1,op2) |
| 2026-02-15 21:30:31 +0100 | <larsivi> | exa: In the next step I want to pattern match op1:op2, how does that work with a pair? |
| 2026-02-15 21:29:28 +0100 | <[exa]> | (btw you could do something like (+1):[(+0)] to make it work with : , but that doesn't quite look like what you'd want to do) |
| 2026-02-15 21:27:43 +0100 | <lambdabot> | Num a => [a -> a] |
| 2026-02-15 21:27:42 +0100 | <[exa]> | :t [(+1),(+0)] |
| 2026-02-15 21:27:37 +0100 | <lambdabot> | (Num a1, Num a2) => (a1 -> a1, a2 -> a2) |
| 2026-02-15 21:27:37 +0100 | <[exa]> | :t ((+1),(+0)) |
| 2026-02-15 21:27:11 +0100 | <[exa]> | or Left ((+1),(+0)) if you're sure there's always an exact couple |
| 2026-02-15 21:26:53 +0100 | <[exa]> | larsivi: use Left [(+1),(+0)]? the issue is likely the type of (:), it requires a list on the right |
| 2026-02-15 21:25:45 +0100 | <larsivi> | Still learning Haskell here, trying some stuff where I want to return a couple of operations in Left and something else in Right, so like this: Left ((+1):(+0)) However, it fails since +1 and +0 are not the same type. Is there some way yo make this into a more generic type? (in addition to addition, I also have subtractions) |
| 2026-02-15 21:24:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 21:23:44 +0100 | <monochrom> | Coding OO in Haskell becomes annoying once you start subclassing. (Too much boilerplate.) |
| 2026-02-15 21:21:59 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 2026-02-15 21:19:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 21:18:41 +0100 | spew | (~spew@user/spew) (Ping timeout: 252 seconds) |
| 2026-02-15 21:16:00 +0100 | wickedjargon | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-15 21:15:02 +0100 | drlkf | (~drlkf@chat-1.drlkf.net) (Quit: WeeChat 3.8) |
| 2026-02-15 21:14:31 +0100 | spew | (~spew@user/spew) spew |