Recursive datatypes #200

Open
opened 2019-12-09 21:37:32 +09:00 by zxq9 · 4 comments
zxq9 commented 2019-12-09 21:37:32 +09:00 (Migrated from gitlab.com)

Created by: UlfNorell

*Created by: UlfNorell*
zxq9 commented 2019-12-09 21:38:33 +09:00 (Migrated from gitlab.com)

Created by: UlfNorell

Might get away without VM changes if we disallow recursive types crossing contract boundaries to begin with.

*Created by: UlfNorell* Might get away without VM changes if we disallow recursive types crossing contract boundaries to begin with.
zxq9 commented 2019-12-11 08:26:04 +09:00 (Migrated from gitlab.com)

Created by: nikita-fuchs

There might be a use case here, but no real necessity that's worth the high effort imho.

*Created by: nikita-fuchs* There might be a use case here, but no real necessity that's worth the high effort imho.
zxq9 commented 2020-03-27 10:13:57 +09:00 (Migrated from gitlab.com)

Created by: radrow

@UlfNorell How does it break the consensus?

*Created by: radrow* @UlfNorell How does it break the consensus?
zxq9 commented 2020-03-27 14:50:06 +09:00 (Migrated from gitlab.com)

Created by: UlfNorell

There's currently no way to represent a recursive type in the FATE type language, so it needs some VM support.

*Created by: UlfNorell* There's currently no way to represent a recursive type in the FATE type language, so it needs some VM support.
Sign in to join this conversation.
No Milestone
No project
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#200
No description provided.