WOLFRAM SUMMER SCHOOL 2022

Framework for Self-referential data structures: ConsList and ConsTree

[Athina Kyriazi]
[University of Patras]
[Abstract: Is it possible to operate in Self-Referential Expressions? For which of those is it worth making framework? ConsList and ConsTree are two self referential types that are being introduced in this community post. It includes new function definitions (ex. constructors) and properly modified functions from the List and the Tree Framework in order to be able to operate on these types.]

Initialization


Introduction

Is it possible to operate on Self-Referential Expressions?


Are there any MEANINGFUL Self-Referential Expressions?


List and ConsList


Tree and ConsTree


ConsList

Construction


Manipulation


Application Examples


ConsTree

Construction


Manipulation


Application Example


Conclusion

List problems - What ConsList offers?


Why self-reference instead of Iteration?


Possible model extensions


Keywords

◼
  • infinite list
    • ◼
  • infinite tree
    • ◼
  • Hold / Evaluate
    • ◼
  • Self reference / Recursion
    • ​

    Acknowledgment

    This project wouldn’t be possible without the help of my mentors Christopher Wolfram and Bradley Klee. Sotiris Michos contributed as well. Special thanks also to Dr. Stephen Wolfram for assigning me this project. The other great part of this experience was having lots of peers to work with and a fun team for project meetings.

    References

    ◼
  • https://www.cs.hmc.edu/~oneill/papers/Sieve-JFP.pdf