Logs: liberachat/#haskell
| 2025-10-06 01:07:21 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-10-06 01:07:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 01:09:02 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 01:11:47 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-10-06 01:12:06 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-06 01:13:31 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-06 01:13:54 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-06 01:15:44 | → | anpad joins (~pandeyan@user/anpad) |
| 2025-10-06 01:18:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 01:22:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-06 01:30:14 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-06 01:32:13 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-10-06 01:32:46 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-06 01:33:11 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-06 01:33:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 01:40:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-06 01:40:42 | × | Googulator81 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 01:40:46 | → | Googulator40 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 01:43:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 01:48:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 01:57:06 | × | ski quits (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 2025-10-06 01:59:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 02:03:03 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-06 02:03:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 02:07:30 | <yang_> | perser combinators are way cool but recently I fell in love with the simplicity of semantic regexes I learned while using scheme |
| 2025-10-06 02:14:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 02:18:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-06 02:19:06 | <haskellbridge> | <sm> are those regexps with a more human readable syntax ? |
| 2025-10-06 02:20:47 | → | Googulator85 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 02:21:12 | × | Googulator40 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 02:29:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 02:33:55 | × | craunts79 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-06 02:34:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-06 02:34:24 | × | synchrom1 quits (~john@115.69.186.131) (Read error: Connection reset by peer) |
| 2025-10-06 02:34:48 | → | synchromesh joins (~john@2406:5a00:2412:2c00:14af:5217:695d:a2e) |
| 2025-10-06 02:45:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 02:45:38 | → | Googulator92 joins (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-06 02:45:44 | × | Googulator85 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 02:49:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 03:00:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 03:05:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 03:07:15 | → | craunts79 joins (~craunts@136.158.7.194) |
| 2025-10-06 03:10:36 | → | Googulator67 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 03:10:38 | × | Googulator92 quits (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 03:12:11 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-10-06 03:12:30 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-06 03:14:50 | <dcpagan> | Not really a Haskell question, but is there a standard mathematical notation for a unary prefix operator denoting the reciprocal? |
| 2025-10-06 03:15:46 | → | Googulator54 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 03:16:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 03:16:09 | × | Googulator67 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 03:17:14 | <monochrom> | No, it has always been postfix superscript -1. |
| 2025-10-06 03:17:46 | <monochrom> | Standard math notation was evolved not designed. |
| 2025-10-06 03:18:09 | <dcpagan> | Man, I really hate that notation. That's not even an operator, but an exponent. |
| 2025-10-06 03:18:43 | <dcpagan> | We overloaded minus in an unary context to mean negation. Why can't we do the same thing with the solidus? |
| 2025-10-06 03:19:24 | <dcpagan> | "2 + -2 = 0" is accepted. Why not "2 * /2 = 1"? |
| 2025-10-06 03:23:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-06 03:23:44 | × | cheater quits (~fuck@84-115-208-145.cable.dynamic.surfer.at) (Remote host closed the connection) |
| 2025-10-06 03:27:02 | <Maxdamantus> | Is "2 + - - 2 = 4" accepted? |
| 2025-10-06 03:28:12 | <Maxdamantus> | works in JS at least, dunno about standard notation. |
| 2025-10-06 03:29:55 | <Maxdamantus> | I vote for "x 0 1 - ^" as the notation for reciprocals. |
| 2025-10-06 03:31:03 | × | Googulator54 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 03:31:05 | → | Googulator13 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 03:33:08 | → | dostoevsky joins (~dostoevsk@user/dostoevsky) |
| 2025-10-06 03:34:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 03:36:01 | → | Googulator30 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 03:36:12 | × | Googulator13 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 03:38:41 | × | craunts79 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-06 03:39:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-06 03:40:17 | <dcpagan> | Prefix operators usually have no space between them and their operand. |
| 2025-10-06 03:40:30 | <dcpagan> | Also, they often are parenthesized with the operand. |
| 2025-10-06 03:44:15 | <Maxdamantus> | So is "2 + --2 = 4" accepted then? |
| 2025-10-06 03:44:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 03:44:41 | <jreicher> | dcpagan: I think this is a bit like arguing cube root should be a unary operator |
| 2025-10-06 03:45:31 | <jreicher> | Square root kind of is through omission of the number, but not even squaring is a unary operator |
| 2025-10-06 03:45:45 | <fgidim> | i think haskell kind of supports this with sections. don't know if it is readable though. (1/) |
| 2025-10-06 03:48:10 | → | peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) |
| 2025-10-06 03:49:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-06 03:49:56 | <EvanR_> | dcpagan, postfix -1 is not necessarily an "exponent" |
| 2025-10-06 03:50:14 | <EvanR_> | though it is consistent with exponents e.g. 3.14 * 10^-1 |
| 2025-10-06 03:50:20 | EvanR_ | is now known as EvanR |
| 2025-10-06 03:51:17 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 260 seconds) |
| 2025-10-06 03:51:20 | × | dostoevsky quits (~dostoevsk@user/dostoevsky) (Quit: Leaving) |
| 2025-10-06 03:51:51 | <EvanR> | and it doesn't just mean reciprocal it's inverse |
| 2025-10-06 03:54:31 | <jreicher> | EvanR: I think it amounts to the same if you allow for a fractional number of applications of an operator (e.g. fractional derivative generalises -1 as the antiderivative) |
| 2025-10-06 03:55:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 03:56:11 | <EvanR> | that makes no sense |
| 2025-10-06 03:56:48 | <EvanR> | like average number of 2.2 kids |
| 2025-10-06 03:59:07 | <jreicher> | I'm not sure it's much worse than moving from multiplication as repeated addition (which requires one number to be a positive integer) to the situation where neither of the numbers are positive integers. Multiplication becomes detached from the intuitive meaning at that point and is just an algebraic operation. |
| 2025-10-06 03:59:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-06 04:07:28 | <jreicher> | dcpagan: you've really got me thinking about negation now. I actually don't think it's an operator at all. It's an angle. |
| 2025-10-06 04:10:31 | <dcpagan> | The context of this question on notation is that I'm playing around with delimited continuations, and I had to program a monad to structure field operations. |
| 2025-10-06 04:10:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 04:10:52 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2025-10-06 04:10:54 | <dcpagan> | I want an elegant notation standard for formatting the reciprocal. |
| 2025-10-06 04:10:59 | <dcpagan> | Here is my sandbox: https://github.com/DCPagan/haskell-sandbox.git |
| 2025-10-06 04:13:17 | <jreicher> | That even more convinces me you're not after an operator; you're after a syntactically nice literal notation for certain elements |
| 2025-10-06 04:13:24 | <jreicher> | Right? |
| 2025-10-06 04:14:43 | <dcpagan> | Yes, I am. |
| 2025-10-06 04:14:59 | <dcpagan> | Prefix unary notations parse and format nicely |
| 2025-10-06 04:15:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
All times are in UTC.