mirror of
https://github.com/roc-lang/roc.git
synced 2025-10-03 08:34:33 +00:00
4e942b3e5d
I was hoping to add nested datatypes into the language, but it turns out doing so is quite tricky and not all that useful with Roc's current compilation model. Basically every implementation strategy I could think of ended up requiring a uniform representation for the data layout (or some ugly workaround). Furhermore it increased the complexity of the checker/mono IR generator a little bit - basically, we must always pass around the alias definitions of nested datatypes and instantiate them at usage sites, rather than being able to unroll aliases as we currently do during canonicalization. So, especially because we don't support polymorphic recursion anyway, I think it may be better to simply disallow any kind of nested datatypes in the language. In any case, Stephanie Weirich [seems to think nested datatypes are not needed](https://www.cis.upenn.edu/~plclub/blog/2020-12-04-nested-datatypes/). Closes #2293 |
||
|---|---|---|
| .. | ||
| ast.rs | ||
| blankspace.rs | ||
| expr.rs | ||
| header.rs | ||
| ident.rs | ||
| keyword.rs | ||
| lib.rs | ||
| module.rs | ||
| number_literal.rs | ||
| parser.rs | ||
| pattern.rs | ||
| problems.rs | ||
| state.rs | ||
| string_literal.rs | ||
| test_helpers.rs | ||
| type_annotation.rs | ||