!oeFELgatfbdiAEkJAY:nixos.org

Nix Zürich

39 Members
https://www.meetup.com/nix-zurich/ - ZHF Hackathon 25-26 May 20247 Servers

Load older messages


SenderMessageTime
5 Mar 2024
@infinisil:matrix.orginfinisilAnyways I wish y'all a nice event!16:18:06
@ners:nixos.devners I’ll be there at about 18:15, got held up by work.  16:33:06
@jeremystucki:matrix.orgJeremy StuckiCan someone please open the door? It's locked and ringing the doorbells has no effect.17:03:58
@ners:nixos.devners Marc Jakobi  17:04:11
@jeremystucki:matrix.orgJeremy Stucki

Hi guys, this is the package I'd like to get packaged:
https://github.com/NixOS/nixpkgs/issues/249155

Related issue:
https://github.com/NixOS/nixpkgs/issues/273668

17:28:57
6 Mar 2024
@arialdo:matrix.orgArialdo MartiniHi folks. I really enjoyed the session together. As a person only working on Linux, Haskell and Nix exclusively in my free time (because work condemned me to awfully old technologies) I found you all really impressive and inspiring. Very energizing. Thank you!08:23:43
@arialdo:matrix.orgArialdo MartiniYesterday 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?09:49:32
@arialdo:matrix.orgArialdo 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:matrix.orgArialdo 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:nixos.devners
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:nixos.devners
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:nixos.devners *

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:nixos.devnersimage.png
Download image.png
15:11:28
@das-g:matrix.orgdas-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:nixos.devnersJust a meme. 🙃08:37:04
@ners:nixos.devners@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:nixos.devners * @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
@mjolnir:nixos.orgNixOS Moderation Botchanged room power levels.18:44:24
16 Mar 2024
@oldaq:matrix.orgPablo Escodebar

fricklerhandwerk: https://github.com/escodebar/life/commits/nix/

I pushed the current iteration. It was fun 🤩

15:31:24
@fricklerhandwerk:matrix.orgfricklerhandwerk I can recommend nix-unit btw, as it also allows catching exceptions. 15:37:01
@oldaq:matrix.orgPablo EscodebarI’ll clean up the repo at some point. I’ll push a branch for each programming language I implemented the game in. Previously it was just for an implementation in vue.js15:37:18
@oldaq:matrix.orgPablo EscodebarI am pretty sure there are a couple on non-idiomatic parts. Would love to get some feedback.15:38:04
@oldaq:matrix.orgPablo EscodebarAll in all, I’m very happy to have done this (at least twice). Whenever I encounter nix code I’m now capable to read it and understand what is what 🥰15:39:00
@fricklerhandwerk:matrix.orgfricklerhandwerk

I recommend to generally avoid import within files that are not at the very top level, especially of lookup paths like here: https://github.com/escodebar/life/blob/nix/life/rules.nix#L3

Use { lib }: ... - that makes your code a lot more reusable

15:42:35
@fricklerhandwerk:matrix.orgfricklerhandwerk Also, put your top-level files (like flake.nix and default.nix) at the root of the repo, otherwise its a pain to actually call them 15:43:37
@fricklerhandwerk:matrix.orgfricklerhandwerk * Also, put your top-level files (like flake.nix and default.nix) at the root of the repo, otherwise its a pain to actually call them without manually cloning your repo 15:43:45
@fricklerhandwerk:matrix.orgfricklerhandwerk There's another, yet undocumented best practice: avoid using builtins directly and take the aliases from pkgs.lib. Nix cannot be reliably versioned, but Nixpkgs maintainers put a lot of effort into making library calls cross-version compatible 15:46:56
@fricklerhandwerk:matrix.orgfricklerhandwerkOtherwise looks reasonable. I'd factor and name a few things differently, but that comes with experience working on growing code bases.15:48:57
@oldaq:matrix.orgPablo EscodebarEveryone: feel free to make pull requests with improvements and explanations of the improvements so I can further learn the language and the ecosystem 😊😘15:52:35
19 Mar 2024
@mjolnir:nixos.orgNixOS Moderation Botchanged room power levels.00:29:50

Show newer messages


Back to Room ListRoom Version: 10