Yining Zhang
@yining.me
PhD student @vtcomputerscience.bsky.social
I also use GADTs in my project to represent ASTs with different types of annotations, and use functors for transformations. I think this method is good because you can annotate arbitrary info while ensuring type safety.
You can take a look at github.com/Foundations-...
You can take a look at github.com/Foundations-...
Pirouette-Compiler/lib/ast_core at main · Foundations-of-Decentralization-Group/Pirouette-Compiler
Contribute to Foundations-of-Decentralization-Group/Pirouette-Compiler development by creating an account on GitHub.
github.com
February 7, 2025 at 7:40 PM
I also use GADTs in my project to represent ASTs with different types of annotations, and use functors for transformations. I think this method is good because you can annotate arbitrary info while ensuring type safety.
You can take a look at github.com/Foundations-...
You can take a look at github.com/Foundations-...
Thank you for sharing these PL opportunities! And I applied for the Poe position
February 2, 2025 at 4:06 PM
Thank you for sharing these PL opportunities! And I applied for the Poe position
The Internet Archive has to date downloaded 500 terabytes of US government websites, which it crawls at the end of every presidential term. The whole archive is fully searchable. This effort's housed by a donation-funded nonprofit, not a branch of the US government. blog.archive.org/2024/05/08/e...
End of Term Web Archive – Preserving the Transition of a Nation | Internet Archive Blogs
blog.archive.org
February 2, 2025 at 4:01 AM