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.

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

Port Example Code from Fiddle #5

Open
maxsnew opened this issue Sep 29, 2022 · 2 comments
Open

Port Example Code from Fiddle #5

maxsnew opened this issue Sep 29, 2022 · 2 comments
Assignees
Labels
documentation Improvements or additions to documentation enhancement New feature or request
Milestone

Comments

@maxsnew
Copy link
Contributor

maxsnew commented Sep 29, 2022

I have a significant amount of dynamically typed CBPV code written in Fiddle.

  1. Here is the prelude, which has a lot of convenient CBPV combinators for programming locally in CBV or CBN style: https://github.com/maxsnew/modal-scheme/blob/master/fiddle/prelude.rkt . I think these can be replicated in typed code with recursive codata types.
  2. I have some Advent of code solutions https://github.com/maxsnew/modal-scheme/blob/master/fiddle/prelude.rkt including things like graph algorithms, regex matchers/compilers, parser combinators, virtual machine interpreters.

I think in the short term we should be looking to implement enough basic I/O and co/data types to implement these programs and develop a similar standard library.

@LighghtEeloo LighghtEeloo added documentation Improvements or additions to documentation enhancement New feature or request labels Dec 7, 2022
@LighghtEeloo
Copy link
Contributor

With the recent advancements in the type system, the rapid growth of the standard library, and the upcoming module mechanism, now is an opportune time to expand our example codebase by incorporating more examples from the Fiddle language. This initiative will help showcase the capabilities of our language and provide a valuable resource for new users learning the language and existing users exploring its features. @akaiDing would you like to take the task?

@LighghtEeloo LighghtEeloo added this to the 0.2 milestone Apr 15, 2023
@akaiDing
Copy link
Contributor

All right, I will turn the code in fiddle into zydeco!

@akaiDing akaiDing self-assigned this Apr 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants