Logs: liberachat/#haskell
| 2026-03-06 19:21:08 | Guest9053 | is now known as amish |
| 2026-03-06 19:21:37 | amish | is now known as Guest8263 |
| 2026-03-06 19:22:50 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-06 19:23:05 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-06 19:26:16 | Guest8263 | is now known as astra |
| 2026-03-06 19:28:21 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 2026-03-06 19:28:35 | → | stackdroid18 joins (~stackdroi@user/stackdroid) |
| 2026-03-06 19:34:03 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 2026-03-06 19:44:43 | × | spew quits (~spew@user/spew) (Ping timeout: 264 seconds) |
| 2026-03-06 19:48:32 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-06 19:49:28 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2026-03-06 19:50:59 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-06 19:51:06 | × | machinedgod quits (~machinedg@172.219.48.230) (Ping timeout: 244 seconds) |
| 2026-03-06 19:51:22 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-03-06 20:04:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-06 20:09:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-06 20:11:27 | → | Googulator joins (~Googulato@2a01-036d-0106-0119-01e8-0aed-2fac-7c8a.pool6.digikabel.hu) |
| 2026-03-06 20:18:29 | × | rainbyte quits (~rainbyte@181.47.219.158) (Ping timeout: 244 seconds) |
| 2026-03-06 20:18:30 | → | Square3 joins (~Square@user/square) |
| 2026-03-06 20:20:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-06 20:21:19 | × | Square2 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 2026-03-06 20:26:58 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 248 seconds) |
| 2026-03-06 20:27:08 | → | rainbyte joins (~rainbyte@181.47.219.10) |
| 2026-03-06 20:27:31 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-06 20:31:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-06 20:33:40 | → | rainbyte_ joins (~rainbyte@181.47.219.106) |
| 2026-03-06 20:34:36 | × | rainbyte quits (~rainbyte@181.47.219.10) (Ping timeout: 264 seconds) |
| 2026-03-06 20:35:46 | <EvanR> | recursive descent parsers and parser combinators and even yacc have this notion of "semantic value" of a subparser. The parser not only consumes and accepts some input but yields some value which is intended to be what the input represented (sometimes on a good day, what it was before being serialized) |
| 2026-03-06 20:35:59 | → | tzh joins (~tzh@76.115.131.146) |
| 2026-03-06 20:36:31 | <EvanR> | is this basically mirroring denotational semantics, and so restricts the kind things you can get out of these parsers, they have to be denotational |
| 2026-03-06 20:37:43 | → | pavonia joins (~user@user/siracusa) |
| 2026-03-06 20:39:24 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 264 seconds) |
| 2026-03-06 20:40:09 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-06 20:40:51 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-06 20:41:10 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Quit: CiaoSen) |
| 2026-03-06 20:42:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-06 20:42:54 | × | tromp quits (~textual@2001:1c00:3487:1b00:28bd:27be:ef6d:1cb5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-06 20:44:35 | × | rainbyte_ quits (~rainbyte@181.47.219.106) (Read error: Connection reset by peer) |
| 2026-03-06 20:46:10 | → | rainbyte joins (~rainbyte@181.47.219.106) |
| 2026-03-06 20:48:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-06 20:53:15 | → | humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-06 20:54:10 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds) |
| 2026-03-06 20:56:43 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-06 20:57:39 | → | tromp joins (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) |
| 2026-03-06 20:58:30 | × | humasect_ quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds) |
| 2026-03-06 20:58:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-06 21:03:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-06 21:10:35 | × | tessier_ quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 2026-03-06 21:13:05 | × | Googulator quits (~Googulato@2a01-036d-0106-0119-01e8-0aed-2fac-7c8a.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-06 21:13:19 | → | Googulator joins (~Googulato@2a01-036d-0106-0119-01e8-0aed-2fac-7c8a.pool6.digikabel.hu) |
| 2026-03-06 21:13:59 | <[exa]> | EvanR: kinda wondering what would be a non-denotational thing to get there |
| 2026-03-06 21:14:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-06 21:15:23 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-06 21:15:28 | <EvanR> | any programming language whose syntax isn't context free? |
| 2026-03-06 21:17:05 | <int-e> | EvanR: pretty much all of them |
| 2026-03-06 21:17:54 | <EvanR> | I vague recall something weird with the parsing of expressions containing * in C |
| 2026-03-06 21:17:57 | <int-e> | EvanR: Very standard restrictions like "identifier has to be declared before use" isn't context-free. |
| 2026-03-06 21:18:07 | <int-e> | aren't |
| 2026-03-06 21:19:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-06 21:19:21 | <EvanR> | [exa] ^ |
| 2026-03-06 21:19:48 | <int-e> | EvanR: hah, I parsed that as a question. |
| 2026-03-06 21:21:19 | → | spew joins (~spew@user/spew) |
| 2026-03-06 21:23:42 | <int-e> | EvanR: I had to google but there's something very simple: a * b; can be an expression whose value is ingored or a declarion of a variable of type (a *), depending on what a is. |
| 2026-03-06 21:24:33 | → | weary-traveler joins (~user@user/user363627) |
| 2026-03-06 21:24:56 | <int-e> | At least it's decidable? (C++ parsing famously isn't) |
| 2026-03-06 21:25:52 | <EvanR> | C++ parsing is undecidable? |
| 2026-03-06 21:26:14 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2026-03-06 21:27:17 | <[exa]> | EvanR: you can pull some context through the semantics right? (like they do with the stateful computations) |
| 2026-03-06 21:27:22 | <int-e> | EvanR: because whether something is a type depends on template instantiations and those are Turing complete (not accounting for compiler-imposed limits on said instantiations). sketch: https://blog.reverberate.org/2013/08/parsing-c-is-literally-undecidable.html |
| 2026-03-06 21:27:42 | <[exa]> | that post is priceless^^ |
| 2026-03-06 21:28:07 | <EvanR> | what an unfortuante elision in the url |
| 2026-03-06 21:28:36 | <[exa]> | lol |
| 2026-03-06 21:29:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-06 21:34:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-06 21:39:43 | × | Googulator quits (~Googulato@2a01-036d-0106-0119-01e8-0aed-2fac-7c8a.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-06 21:40:00 | → | Googulator joins (~Googulato@2a01-036d-0106-0119-01e8-0aed-2fac-7c8a.pool6.digikabel.hu) |
| 2026-03-06 21:41:45 | → | tessier joins (~tessier@ip68-8-117-219.sd.sd.cox.net) |
| 2026-03-06 21:45:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-06 21:49:00 | × | michalz quits (~michalz@185.246.207.222) (Remote host closed the connection) |
| 2026-03-06 21:49:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-06 22:00:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-06 22:02:56 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 2026-03-06 22:05:50 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-06 22:06:04 | → | tusko joins (~uwu@user/tusko) |
| 2026-03-06 22:07:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-06 22:09:55 | → | EvanR joins (~EvanR@user/evanr) |
| 2026-03-06 22:18:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-06 22:19:57 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-03-06 22:21:27 | × | takuan quits (~takuan@141.134.185.233) (Ping timeout: 244 seconds) |
| 2026-03-06 22:23:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-06 22:31:07 | × | tromp quits (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-06 22:37:15 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-06 22:44:16 | × | mc2 quits (~mc@user/mc2) (Ping timeout: 268 seconds) |
| 2026-03-06 22:48:48 | → | mange joins (~mange@user/mange) |
| 2026-03-06 22:49:45 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-06 22:50:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-06 22:51:13 | → | tromp joins (~textual@2001:1c00:3487:1b00:d97f:6c22:5298:b927) |
| 2026-03-06 22:55:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-06 22:55:49 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-03-06 23:02:04 | → | ec joins (~ec@gateway/tor-sasl/ec) |
All times are in UTC.