hegel
hegel copied to clipboard
JSMonk
An advanced static type checker
supporting Existential Type will cut down boilerplate code that sometimes is needed to achieve same result for example this ```js const FEATURES: $Immutable = { SORTING: 'Sorting', FILTERING: 'Filtering', REORDERING:...
```typescript class Predicate { p : T => boolean constructor (p : T => boolean) { this.p = p } contramap(f : U => T): Predicate { return new Predicate(x...
Hi, here is what I mean :  This can be useful to write "extension methods" [try](https://hegel.js.org/try#MYGwhgzhAEDC5WgbwFAF8UvpCA6ADgE4D2ALmQJ74Cm0A9HdNYSYUA)
I don't have a minimal reproduction yet, but it seems to be related to the interpretation of `.hegelrc` file. If in `.hegelrc` I put: ```yaml environment: browser include: - ./src/**/*.js...
Hi I wander why this is not possible  [try](https://hegel.js.org/try#DYUwLgBAbgXBDeA6ZBfCBeBKBQVHAHtgMIAWAbmyuyA) It's a pity that this is not supported as is very common. For example :  By the way the...
Seems it doesn't support in hegel? ```ts class Base {} class Foo extends Base {} const fooArr: Array = [new Foo()]; const baseArr: Array = fooArr; ``` [playground](https://hegel.js.org/try#MYGwhgzhAEBCkFNoG8C+AoUkYDED2e0CAHgC4IB2AJjPBEmupnhRKdAGYECCATrwC5ofXmACeAHnx4AfNAC80ANoUEAd2jSAFAEoAugG5mrdgCNEIoSPES6COYq54RBoA)
I suggested this in #298 but now that I've brought in all those test cases I don't know what to do with it?! Since Babel is parsing the code into...
```ts function makeTuple(x,y) { return [x,y] } const makeTuple(1,2); // currently `Array`. Hoping for `[1, 2]` ``` I wish this was automatically inferred instead of defaulting to `Array`. Is there...
This is gonna be a good sanity check https://github.com/tc39/test262