Christian Meredith@Ceige_M
13 Jan 2022
Tested Hegel JS on its own website today, looks increasingly promising as a TypeScript alternative. Was worried that JSDoc types don't work, but that ML-inspired type inference is great!

hegel.js.org/try
Example of Hegel inferring the type of a (non-statically typed) function argument as an object with a property "name" that is of type "string", simply because in the function body I concatenated "object.name" to a string. This is a stark contrast to TypeScript. When we try to pass in an object with property "name" with type "number", Hegel determines that that is an erroneous use of our function.
1
0
2
Christian Meredith@Ceige_M
13 Jan 2022
Replying to @Ceige_M
An example of Hegel's deeper inference. It knows getName returns the name property, and it knows the argument of trim must have a trim() method (a -> b), so in this nested "trim ∘ getName" example, an object with a string name works, but an object with a null name doesn't.

Jan 13, 2022 · 7:57 AM UTC

1
0
0
Christian Meredith@Ceige_M
13 Jan 2022
Replying to @Ceige_M
Unfortunately taking 2 args (a, b) and spreading them into a single object doesn't work; perhaps for security reasons this is a good thing 😅
0
0
0
RepliesRelevant