| 6 Mar 2024 |
 Arialdo Martini | In particular: I'm exploring the meaning of the jargon from type theory "above the arrow", "below the arrow" , "to the left of the arrow" when talking about forall and the fat arrow => | 09:51:56 |
| Arialdo Martini | * In particular: I'm exploring the meaning of the jargon from type theory "above the arrow", "below the arrow" , "to the left of the arrow" when talking about forall and the fat arrow => which I understand has to do with the position of forall in the syntax tree. | 09:52:29 |
 ners | In reply to @arialdo:matrix.org
Yesterday you mentioned a way to use ghc to output the AST parsed from a Haskell source code. Would you be so kind to remind me again? I remember talking about TH as a way to generate an AST that is then injected at the call-site.
To see the various intermediate representations that GHC generates in its various pipelines, you can use dump flags: https://downloads.haskell.org/ghc/latest/docs/users_guide/debugging.html
| 10:02:14 |
| ners | In reply to @arialdo:matrix.org
Yesterday you mentioned a way to use ghc to output the AST parsed from a Haskell source code. Would you be so kind to remind me again? * I remember talking about TH as a way to generate an AST that is then injected at the call-site.
To see the various intermediate representations that GHC generates in its various pipelines, you can pass it dump flags: https://downloads.haskell.org/ghc/latest/docs/users_guide/debugging.html
| 10:02:19 |
| ners | * I remember talking about TH as a way to generate an AST that is then injected at the call-site.
To see the various intermediate representations that GHC generates in its various pipelines, you can pass it dump flags: https://downloads.haskell.org/ghc/latest/docs/users_guide/debugging.html
In particular see section 5.13.1.1 for the AST.
| 10:02:59 |
| ners | 
Download image.png | 15:11:28 |
 das-g | In reply to @ners:nixos.dev
sent an image. Is that an invitation to the next Nix Zürich meetup, or just a shitpost. 🤔 | 20:48:13 |
| 8 Mar 2024 |
| ners | Just a meme. 🙃 | 08:37:04 |
| ners | @room I got confirmation for our next venue, just need to pick the date. Shall I aim for late March (3️⃣) or early April (4️⃣)? | 09:12:37 |
| ners | * @room I got confirmation for the next venue we can use for a meetup, just need to pick the date. Shall I aim for late March (3️⃣) or early April (4️⃣)? | 09:20:57 |
| 14 Mar 2024 |
|  NixOS Moderation Botchanged room power levels. | 18:44:24 |
