JSMonk / hegel

An advanced static type checker

https://hegel.js.org

JSMonk/hegel Issues

Types as comments syntax?
Updated 4 months ago1
How to contribute?
Updated 7 months ago3
Cannot read properties of undefined (reading 'type')
Updated a year ago11
Document (automate?) maintenance of typings package
Updated a year ago
Maximum stack when inferring classes with a method that calls another method
Updated a year ago
Option to add interfered types on actual code
Updated 2 years ago
Mention another benefit of Hegel in the documentation
Updated 2 years ago1
Project status
Updated 2 years ago2
Old school classes are not supported
Updated 2 years ago
Excess property checks for destructured arguments
Updated 2 years ago8
Is there a v2 branch yet?
Updated 2 years ago19
The object required is inferenced as unknown
Updated 2 years ago
Inference from pattern matching
Updated 3 years ago7
Inference doesn't work if a method returns an instance of the class that is instantiated with the method's type parameters
Updated 3 years ago3
Clearer error messages?
Updated 3 years ago3
Allow function covariance/contravariance
Updated 3 years ago
Allow optional property syntax, similar to typescript with key?: value
Updated 3 years ago5
Relational operations should inferred for string as well
Updated 3 years ago2
Demo 2 is not compiling with TypeScript 4.2.3
Closed 3 years ago
Expose $StrictUnion and similar types as generic
Updated 3 years ago1
Cannot read property 'getValueType' of undefined
Updated 3 years ago2
Comment support?
Closed 3 years ago1
Extra generic in curried function
Updated 3 years ago
Unable to call super in subclass
Updated 3 years ago1
Refined variable can't be returned
Updated 3 years ago1
got 'Property is always "undefined"' when it's not always "undefined"
Updated 3 years ago5
`Never!!!` when checking code that uses npm dependency
Updated 3 years ago3
Roadmap
Updated 3 years ago3
Do not expand types for mutually recursive functions
Updated 3 years ago1
Chat room for Hegel (Discord)?
Updated 3 years ago9
Weird bugs from TypeScript (to avoid in Hegel)
Updated 3 years ago3
immutability: readonly ref to writable value vs ref to readonly value
Updated 3 years ago
Environments/Platforms/Implementations
Updated 3 years ago1
Generating type annotations for functions
Updated 3 years ago4
Support const assertions equivalent
Updated 3 years ago
A generic class instantiation inside the class seems to wrongly always infer current type parameter
Updated 4 years ago
Can't access prototype attribute on classes
Updated 4 years ago2
Cannot use 'in' operator to search for 'start' in undefined
Updated 4 years ago1
It should be possible to refine Soft typed variables when mutating ?
Updated 4 years ago1
is it safe/possible to infer tuples in return statement?
Updated 4 years ago4
Test against tc39/test262
Updated 4 years ago2
`const promisify = fn => (...args) => Promise.resolve(fn(...args))` breaks the compiler
Updated 4 years ago1
[Tracker] Available Web APIs
Updated 4 years ago
Can't define method that mutates property on object declaration
Updated 4 years ago2
Unable to call `array.push(123)`, where`array` is an `Array<number>`
Updated 4 years ago3
EISDIR: illegal operation on a directory, read
Closed 4 years ago3
Include is not working as expected
Updated 4 years ago1
NodeJS environment is incomplete
Updated 4 years ago1
Porting TypeScript's 'declare const' to Hegel
Updated 4 years ago2
Two generic functions
Updated 4 years ago1