You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Also, recursive type definitions in the Expr and Type are realized simply with Box<Self>, however, this this will make a implementation
of interactive inspection of values difficult, for example, for the language server. Using id_arena simplifies this situation, along with performance improvements.
They are tested on my another project otopoiesis (an experimental branch)
In the current implementation, compiler clones many
String
value and comparing them.Use
StringInterner
crate will improve the performance.https://docs.rs/string-interner/latest/string_interner/
Also, recursive type definitions in the
Expr
andType
are realized simply withBox<Self>
, however, this this will make a implementationof interactive inspection of values difficult, for example, for the language server. Using
id_arena
simplifies this situation, along with performance improvements.They are tested on my another project otopoiesis (an experimental branch)
https://github.com/tomoyanonymous/otopoiesis/blob/372bfb7b5c760744f69532c63e8804878a84397d/otopoiesis_lang/src/expr.rs#L31-L32
https://github.com/tomoyanonymous/otopoiesis/blob/372bfb7b5c760744f69532c63e8804878a84397d/otopoiesis_lang/src/lib.rs#L25-L28
The text was updated successfully, but these errors were encountered: