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

Real-time, functional queues, in Fungi #10

Open
matthewhammer opened this issue Apr 21, 2018 · 0 comments
Open

Real-time, functional queues, in Fungi #10

matthewhammer opened this issue Apr 21, 2018 · 0 comments
Assignees
@jpw234

Comments

@matthewhammer
Copy link
Member

Implement the following Elm library/data structure, in Fungi:

http://matthewhammer.org/courses/pfp-s18/lectures/RealTimeQueues/index.html

Steps:

  • Writing out (by hand) the type and effect indices for the rotate helper function
  • Do the same for the other operations in the library
  • Try to write and type-check with this implementation of Fungi in Rust

See also:
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jpw234 jpw234

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@matthewhammer @jpw234