search

zydeco-lang / zydeco

a proof-of-concept programming language based on Call-by-push-value
Other
49 stars 3 forks source link

Port Example Code from Fiddle #5

Open maxsnew opened 1 year ago

maxsnew commented 1 year ago

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 commented 1 year ago

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?

akaiDing commented 1 year ago

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