search

aeternity / aesophia

Stand alone compiler for the Sophia smart contract language
https://docs.aeternity.com/aesophia
ISC License
51 stars 19 forks source link

Recursive datatypes #200

Open UlfNorell opened 4 years ago

UlfNorell commented 4 years ago

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

nikita-fuchs commented 4 years ago

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

radrow commented 4 years ago

@UlfNorell How does it break the consensus?

UlfNorell commented 4 years ago

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