diff options
| author | Eduardo Julian | 2021-09-08 02:03:18 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-08 02:03:18 -0400 |
| commit | 609cc6c16e75c13d87183c38245136fa038b0496 (patch) | |
| tree | f5f3b499df0c3e7e6e3dc0c451c9766f34ec07de /documentation/book | |
| parent | 964ec62d4fbcc1fb2336a3de355ce3554ef7eb04 (diff) | |
No more module annotations.
Diffstat (limited to 'documentation/book')
| -rw-r--r-- | documentation/book/the_lux_programming_language/chapter_6.md | 4 |
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. |