jbwdevries/phasm
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Replaces type3 with type5 #8

Merged
jbwdevries merged 1 commits from reworking-type-unification into master 2025-08-21 17:29:29 +00:00
Conversation 0 Commits 1 Files Changed 72 +4080 -3615
jbwdevries commented 2025-08-21 17:27:34 +00:00
Owner
Copy Link

type5 is much more first principles based, so we get a lot
of weird quirks removed:

  • FromLiteral no longer needs to understand AST
  • Type unifications works more like Haskell
  • Function types are just ordinary types, saving a lot of
    manual busywork

and more.

type5 is much more first principles based, so we get a lot of weird quirks removed: - FromLiteral no longer needs to understand AST - Type unifications works more like Haskell - Function types are just ordinary types, saving a lot of manual busywork and more.
jbwdevries added 1 commit 2025-08-21 17:27:35 +00:00 
type5 is much more first principles based, so we get a lot
of weird quirks removed:

- FromLiteral no longer needs to understand AST
- Type unifications works more like Haskell
- Function types are just ordinary types, saving a lot of
  manual busywork

and more.
jbwdevries merged commit 3d504e3d79 into master 2025-08-21 17:29:29 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
jbwdevries
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: jbwdevries/phasm#8
No description provided.
Delete Branch "reworking-type-unification"

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?