ericelliott/rtype

Proof of concept rtype type checker.

Open

#89 aberto em 17 de abr. de 2016

Ver no 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 )

Guia do colaborador

Pilha de tecnologia
javascript
Domain
developer experiencetooling
Tipo Issue
feature
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
4
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
over 1 week
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
stale
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
mostly clear
Prerequisites
JavaScriptBasic type system concepts
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
20
Direção de pesquisa
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.