James/tricu
1
1
Fork 0
Code Issues 3 Pull Requests Actions Packages Projects Releases 1 Wiki Activity

Explore typing tricu #6

New Issue
Open
opened 2024-12-30 13:50:24 +00:00 by James · 1 comment
James commented 2024-12-30 13:50:24 +00:00
Owner
Copy Link

Typed Program Analysis without Encodings by Barry Jay (December, 2024) details a method of embedding a powerful type system in the untyped tree calculus. Let's explore implementing typing in tricu.

Typed Program Analysis without Encodings by Barry Jay (December, 2024) details a method of embedding a powerful type system in the untyped tree calculus. Let's explore implementing typing in tricu.
James added the
enhancement
help wanted
 labels 2024-12-30 13:50:30 +00:00
James commented 2024-12-30 13:50:34 +00:00
Author
Owner
Copy Link

An implementation has been explored by Johannes Bader on treecalcul.us:

https://treecalcul.us/live/?example=typer
https://treecalcul.us/live/?example=typed-program-analysis
https://treecalcul.us/live/?example=demo-gradual-typing

He added syntax sugar to his language for desugaring ADT definitions similar to Haskell to Scott encoded type constructors which is available in those demos.

An implementation has been explored by Johannes Bader on treecalcul.us: https://treecalcul.us/live/?example=typer https://treecalcul.us/live/?example=typed-program-analysis https://treecalcul.us/live/?example=demo-gradual-typing He added syntax sugar to his language for desugaring ADT definitions similar to Haskell to Scott encoded type constructors which is available in those demos.
James added this to the Typed Program Analysis milestone 2024-12-30 13:51:38 +00:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
bug
Something is not working
duplicate
This issue or pull request already exists
enhancement
New feature
help wanted
Need some help
invalid
Something is wrong
question
More information is needed
wontfix
This won't be fixed
No Label
enhancement
help wanted
Milestone
No items
No Milestone Typed Program Analysis
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: James/tricu#6
No description provided.
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?