Giters
getify
/
TypL
The Type Linter for JS
Home Page:
https://TypL.dev
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
368
Watchers:
31
Issues:
41
Forks:
13
getify/TypL Issues
v1.0 Release Checklist
Updated
a year ago
Comments count
6
Documentation functionality
Updated
2 years ago
Comments count
6
Will TypL cover 100% of JS semantics?
Updated
2 years ago
Comments count
11
Why were tag functions chosen for the API?
Updated
2 years ago
Comments count
5
Cool example of Typl's powerful inference
Updated
2 years ago
Treat tagged template literal as a function call expression
Updated
2 years ago
Comments count
1
Website down?
Closed
3 years ago
Comments count
1
Checker tests keep failing
Updated
3 years ago
Comments count
2
another good example/test
Updated
3 years ago
Some words on performance?
Closed
4 years ago
Comments count
2
Bloating output code?
Closed
4 years ago
Comments count
1
Help in Typl ESLint Plugin
Closed
5 years ago
Comments count
9
Feature for preserving run-time gathered typing info (such as from tests)
Updated
5 years ago
Comments count
1
console.log broken
Updated
5 years ago
Union/Polymorphic Types
Updated
5 years ago
Comments count
1
Persistent object/array shapes
Updated
5 years ago
Comments count
1
Support array-of-type annotation syntax
Closed
5 years ago
Comments count
2
Multi-pass handling bugs
Closed
5 years ago
Another example of Typl inference
Updated
5 years ago
Assert on which specific errors (by ID) are expected
Updated
5 years ago
Basic checker tests
Updated
5 years ago
Comments count
4
Enforce bool type check
Closed
5 years ago
Comments count
9
Checker needs to check tagged-type simple literals
Closed
5 years ago
Treat IIFE as a validated call-expression
Closed
5 years ago
Comments count
1
Interesting quirk, should be aware of
Updated
5 years ago
Comments count
3
Always allow assignment to tagged:"any"
Closed
5 years ago
Comments count
18
Properly handle number sub-types in type matching
Closed
5 years ago
Comments count
2
Narrower number type inference
Closed
5 years ago
Comments count
1
use `isAssignmentAllowed(..)` for arguments and return values
Closed
5 years ago
Comments count
1
Fix architecture of `check(..)` method
Updated
5 years ago
Basic configuration
Updated
5 years ago
TODOs
Updated
5 years ago
Specific type exceptions
Updated
5 years ago
Compiler: basic transforms
Updated
5 years ago
Multi-pass traversal
Closed
5 years ago
Always allow assignment to inferred:"undef"
Closed
5 years ago
Comments count
11
Split checker into multiple files
Updated
5 years ago
Lookup mappings for TypeIDs
Updated
5 years ago
Comments count
3
Feature: add `regex`
Closed
5 years ago
Feature: change some tag functions to support "dynamic literals"
Closed
5 years ago
Feature: add `any`
Closed
5 years ago