aboutsummaryrefslogtreecommitdiff
path: root/documentation
diff options
context:
space:
mode:
authorEduardo Julian2021-09-08 02:03:18 -0400
committerEduardo Julian2021-09-08 02:03:18 -0400
commit609cc6c16e75c13d87183c38245136fa038b0496 (patch)
treef5f3b499df0c3e7e6e3dc0c451c9766f34ec07de /documentation
parent964ec62d4fbcc1fb2336a3de355ce3554ef7eb04 (diff)
No more module annotations.
Diffstat (limited to '')
-rw-r--r--documentation/book/the_lux_programming_language/chapter_6.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/book/the_lux_programming_language/chapter_6.md b/documentation/book/the_lux_programming_language/chapter_6.md
index a68d791e4..a57ff4913 100644
--- a/documentation/book/the_lux_programming_language/chapter_6.md
+++ b/documentation/book/the_lux_programming_language/chapter_6.md
@@ -284,11 +284,11 @@ The type-system would work just fine without it, but users of the language proba
`#Named` is what gives the name _"List"_ to the `List` type, so you can actually read about it everywhere without getting bogged down in implementation details.
-You see, Lux's type system is structural in nature, rather than nominal (the dominating style in programming languages).
+You see, Lux's type system is structural in nature, rather than nominal (the usual style in programming languages).
That means all that matters is how a type is built; not what you call it.
-That implies 2 types with different names, but the exact same value, would actually type-check in your code.
+That implies 2 types with different names, but the exact same internal structure, would actually type-check in your code.
That may sound odd (if you come from Java or other languages with nominal types), but it's actually very convenient and enables you to do some pretty nifty tricks.