From e588b530339c40ad11a0efff211a6817e4edf8d4 Mon Sep 17 00:00:00 2001 From: JillThornhill <121565493+JillThornhill@users.noreply.github.com> Date: Mon, 21 Aug 2023 19:34:15 +0200 Subject: [PATCH 1/2] Update documentation-survey.md Summarize https://edolstra.github.io/pubs/phd-thesis.pdf Chapter 4 --- .../working_groups/learning_journey/documentation-survey.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/maintainers/working_groups/learning_journey/documentation-survey.md b/maintainers/working_groups/learning_journey/documentation-survey.md index 7aa5f04b9..27f68ab2e 100644 --- a/maintainers/working_groups/learning_journey/documentation-survey.md +++ b/maintainers/working_groups/learning_journey/documentation-survey.md @@ -172,8 +172,14 @@ To better navigate the material and judge its relevance, every entry should prov Relates deployment issues to memory management issues in programming languages. Relates files to objects in memory. Describes closures, discusses pointer discipline and conservative garbage collection, shows that persistence is achieved by cryptographic hashes. - Reading time: 25 min + + Chapter 4: + The Nix language: Functional languages; lazy languages. Lexical syntax of Nix language. Semantics: Basic and compund values, substitutions, function calls, conditionals, assertions, `with`, operators, evaluation rules. Implementation using ATerm library. + + - Reading time: 60 min + ### Nixpkgs - [Nix Pills Chapter 6: Our First Derivation](https://nixos.org/guides/nix-pills/our-first-derivation.html) From 597b81b246f9cfa43b79d252a2e0a09fb20d976f Mon Sep 17 00:00:00 2001 From: Henrik Date: Mon, 21 Aug 2023 20:01:33 +0100 Subject: [PATCH 2/2] Update maintainers/working_groups/learning_journey/documentation-survey.md --- .../working_groups/learning_journey/documentation-survey.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maintainers/working_groups/learning_journey/documentation-survey.md b/maintainers/working_groups/learning_journey/documentation-survey.md index 27f68ab2e..64ff8d2b5 100644 --- a/maintainers/working_groups/learning_journey/documentation-survey.md +++ b/maintainers/working_groups/learning_journey/documentation-survey.md @@ -174,7 +174,7 @@ To better navigate the material and judge its relevance, every entry should prov - Reading time: 25 min Chapter 4: - The Nix language: Functional languages; lazy languages. Lexical syntax of Nix language. Semantics: Basic and compund values, substitutions, function calls, conditionals, assertions, `with`, operators, evaluation rules. Implementation using ATerm library. + The Nix language: Functional languages; lazy languages. Lexical syntax of Nix language. Semantics: Basic and compound values, substitutions, function calls, conditionals, assertions, `with`, operators, evaluation rules. Implementation using ATerm library. - Reading time: 60 min