| 17 Jan 2025 |
 thirdofmay18081814goya | i just want the simplest of typing systems, god please lord give me types I will die | 15:10:31 |
 maralorn | Which can probably be used as a library to do nix stuff in Haskell. | 15:10:32 |
| maralorn | You might wanna have a look how far nickel-lang.org is usable as a nix drop-in. | 15:11:11 |
| thirdofmay18081814goya | oh two very good suggestions | 15:11:24 |
| thirdofmay18081814goya | thank you! | 15:11:25 |
| maralorn | But while I totally share your pain I am quite sceptical that any replacement is viable for most use cases without significant effort at this point. | 15:12:24 |
| thirdofmay18081814goya | modeling an attempt to do this on how typescript did it might give a shimmer of hope | 15:13:30 |
| thirdofmay18081814goya | or at the very least I want to delegate any processing of lists and attribute sets to another language | 15:14:22 |
| thirdofmay18081814goya | but one thing that is absolutely unacceptable to me is the ... input | 15:16:55 |
| thirdofmay18081814goya | which wouldn't be necessary if functions could share type information at their call location | 15:17:39 |
 Profpatsch | nrs-status: We’ve all been there, it’s the bargaining phase | 15:40:39 |
| Profpatsch | depression is next! fun! | 15:40:55 |
| Profpatsch | nrs-status: fwiw https://github.com/openlab-aux/vuizvui/blob/master/pkgs/profpatsch/xdg-open/default.nix#L109-L120 | 15:41:53 |
| Profpatsch | https://github.com/openlab-aux/vuizvui/blob/master/pkgs/profpatsch/importPurescript.nix#L1 | 15:42:03 |
| Profpatsch | it works pretty ok | 15:42:11 |
| Profpatsch | just make sure you use a static binary release of purs-to-nix, otherwise your eval time goes into the gutter with IfD | 15:43:11 |
| thirdofmay18081814goya | ah neat! thanks for the references, I'll be looking at what they've done | 15:43:46 |
| thirdofmay18081814goya | ah yeah that's the compiler maralorn was talking about, I haven't had time to give it a look, will begin reading | 15:44:11 |
| Profpatsch | nrs-status: it’s essentially a minimal working purescript-to-nix integration | 15:44:35 |
| Profpatsch | You can just copy most of it and adapt | 15:44:47 |
| Profpatsch | (just note that it’s GPLv3, but since I’m the sole author I give you permission to relicense as you see fit) | 15:45:16 |
| thirdofmay18081814goya | oh you're the author? very cool stuff | 15:45:52 |
| thirdofmay18081814goya | will definitely ping you about this (if you're interested), because I am in it for the long ride | 15:46:26 |
| thirdofmay18081814goya | * will definitely ping you about this (if you're interested), because I am in it for the long run | 15:46:41 |
| Profpatsch | nrs-status: Well, it’d be interesting if somebody tries to really use this in anger | 15:47:41 |
| Profpatsch | Originally, this used the same idea with dhall-to-nix, but dhall is kind of a lost cause ino | 15:47:59 |
| Profpatsch | *imo | 15:48:01 |
| Profpatsch | purescript is not great, but works better | 15:48:15 |
| Profpatsch | I’d just advise strongly against trying to compile the purescript stdlib to nix | 15:48:37 |
| Profpatsch | and instead use it as a very simple nix frontend with typing | 15:48:48 |
