Adding algebraic data types to Nickel

• dhall-lang

  118 4,239 5.0 Dhall

  Maintainable configuration files

  

  Dhall[1] also usually gets mentioned in the same sentence as CUE.

  As for Nickel, I have mixed feelings about it of the same kind as about ES6 classes and perhaps modules—we’re taking a simple language (an extremely simple one, in the case of Nix) and baking into it some stuff that the original had as a completely satisfactory library, in the name of discoverability resp. uniformity. Seems a bit sad and unnecessary to be honest. (The problem of Nixpkgs and NixOS, IMO, is not Nix the language, which is fine for the most part, but the fact that they’re a single giant monorepo with comparatively very little documentation even for the parts that basically serve as the Nix standard library.) Looks like my design sensibilities just align much better with PhD-student Eelco than with Tweag-engineer Eelco.

  [1] https://dhall-lang.org/

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• nickel

  49 2,438 9.3 Rust

  Better configuration for less

  

  There’s an issue for this :)

  https://github.com/tweag/nickel/issues/357

• cue

  117 5,158 9.9 Go

  The home of the CUE language! Validate and define text-based and dynamic configuration

  

  I think [1] is a good summary of the types and [2] to be a good explanation of their philosophy, but I had some experience with lattice theory and typed feature structure grammars which helped a lot. There are a couple of papers cited in [2] that would help a lot in providing background.

  Not quite a one-pager! Maybe it would make a good blog post...

  [1]: https://cuelang.org/docs/concept/the-logic-of-cue/

  [2]: https://github.com/cue-lang/cue/blob/master/doc/ref/impl.md

Suggest a related project