Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improved cast computation #15

Open
nsensfel opened this issue Nov 7, 2020 · 0 comments
Open

Improved cast computation #15

nsensfel opened this issue Nov 7, 2020 · 0 comments
Assignees
@nsensfel
Labels
enhancement New feature or request fate Issues relating to the Fate language
Milestone
Future Version

Comments

@nsensfel
Copy link
Owner

nsensfel commented Nov 7, 2020

  • Add (list X) -> (set X) cast (a shorthand for (add_all my_list (default (set member_type)))).
  • Add (set X) -> (list X) cast (currently doable using add_all, but shouldn't actually require any computations).
  • Add (X Y) -> (X Z) cast: if Y can be cast to Z, generate an X data structure resulting from the cast of all members.
@nsensfel nsensfel added enhancement New feature or request fate Issues relating to the Fate language labels Nov 7, 2020
@nsensfel nsensfel added this to the V2 - Release Candidate 0 milestone Nov 7, 2020
@nsensfel nsensfel self-assigned this Nov 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nsensfel nsensfel

Labels
enhancement New feature or request fate Issues relating to the Fate language
Projects
None yet
Milestone
Future Version
Development

No branches or pull requests
1 participant
@nsensfel