Skip to content
This repository has been archived by the owner on Dec 29, 2019. It is now read-only.

[type] Type Inference #26

Closed
at15 opened this issue Nov 26, 2017 · 1 comment
Closed

[type] Type Inference #26

at15 opened this issue Nov 26, 2017 · 1 comment
Assignees
@at15
Labels
p1 requirement
Milestone
0.0.5

Comments

@at15
Copy link
Owner

at15 commented Nov 26, 2017

Though not sure what our type system gonna be (3 days before the presentation)

  • we need inference even without function, let x = 1; let y = x + 1
  • want operator overload, so 1 + [1, 2, 3] can work

Ref
@at15 at15 added this to the 0.1 milestone Nov 26, 2017
@at15 at15 self-assigned this Nov 26, 2017
at15 added a commit that referenced this issue Nov 27, 2017
@at15
[note] Type inference from PLAI #26
e99d957 
- not that theoretical like TAPL ... but honestly, still not sure what
to do with Reika's type system, might just start writing and figure it
out along the way, not a good way, but better than stuck until
presentation ....
This was referenced Nov 27, 2017
Closed
Merged
@at15 at15 closed this as completed in #25 Nov 27, 2017
@at15
Copy link
Owner Author

at15 commented Nov 27, 2017

found kotlin's unification https://github.com/JetBrains/kotlin/blob/master/compiler/frontend/src/org/jetbrains/kotlin/types/TypeUnifier.java

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@at15 at15

Labels
p1 requirement
Projects
None yet
Milestone
0.0.5
Development

No branches or pull requests
1 participant
@at15