Joël Abrahams
Joël Abrahams
### Relevant issues - Resolves #434 ### Summary ### Added Tests
### Summary In short, if we have a variable used within a function, say: ``` # some variable x is declared and used a bunch f(x) ``` We can use...
### Relevant issues - Resolves #443 ### Summary Only issue now is that we must mark generics when checking class bodies. This means that we should check whether they exist...
## Summary of current issue Error implementation could be made more elegant: - `Cause` is an unnecessary construct I think. Why not just point to another relevant error? So we...
## Current Issue Typing syntax for union looks a bit like sets, might be a bit confusing. ## High-level description of the feature Use same union syntax as Python, Typescrpt...
## Description of Bug When we add certain type annotations, which are correct, the check stage complains. We know they are correct, however, in the current implementation because the output...
## Summary of current issue The `parse` method is not very idiomatic. Instead, why don't we use the built-in `FromStr`? ## Proposed change - [ ] Implement `FromStr` for the...
### Current Issue Now that we have more fully implemented generics, we can leverage this logic to more fully implement the datamodel of Python. This means that when calling methods,...
## Summary of current issue So I'd been wondering whether there was a way that we can specify that a vector always contains at least one element. Found a cool...
Many type system features are now kind of clear, but not wholly. In the sense that I have a broad sense of what I want to achieve, but many design...