ericelliott/rtype

Proof of concept rtype type checker.

Open

#89 opened on Apr 17, 2016

View on GitHub
 (20 comments) (0 reactions) (0 assignees)JavaScript (1,128 stars) (46 forks)batch import
help wanted

Description

I've added rtype support to my type checker on a branch.

https://github.com/Raynos/jsig2/tree/rtype#rtype-compatibility-branch

I've documented what is implemented, not implemented and what is missing from rtype.

So far I the main piece missing is a way to declare the types of variables or functions. TypeScript and flow have declaration syntax for this.

The other thing I observed is all of the predicate stuff with interfaces is pretty much unimplemented. As it stands interfaces in rtype have "too many features"

I've also ported an example to what I believe is idiomatic rtype ( https://github.com/Raynos/jsig2/blob/rtype/examples/2-memory-db.hjs )

Contributor guide

Tech stack
javascript
Domain
developer experiencetooling
Issue type
feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
4
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
over 1 week
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
stale
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
mostly clear
Prerequisites
JavaScriptBasic type system concepts
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
20
Research direction
Review the proof of concept branch at https://github.com/Raynos/jsig2/tree/rtype to understand what rtype support is implemented and what is missing. The issue notes that declaration syntax for variables/functions and predicate handling for interfaces are the main gaps. Examine the code and documentation in that branch to identify specific files that need changes. Then propose a concrete plan to implement the missing features, referencing the existing patterns in the branch, and ask maintainers for feedback.