TypL
TypL copied to clipboard
getify
The Type Linter for JS
I believe TypL could benefit from implementing documentation functionality. Types are useful for documentation but they're only a partial strategy. If a developer were to use TypL for a project...
Other projects like TypeScript struggle with providing ergonomic ways of typing code written in a functional style. And at least at some point, TypeScript wasn't expressive enough to type certain...
TypL looks extremely interesting! Thank you for putting so much work into it already! I have kind of a surface level question: why were tag functions chosen for the API?...
This innocently seeming code is remarkably more complex to infer, and Typl correctly reports an error like a champ (where [TS](https://www.typescriptlang.org/play?noImplicitAny=false#code/G4QwTgBAnhC8EDMD2SAUBmAlAbgLAChRIAvOCAIgAsBTAG1qXIgGpo98CEBXAOwGMALgEskPRClQAPTBADeBAJBhqArmDGT2AXyA) and [Flow](https://flow.org/try/#0PQKgBAAgZgNg9gdzCYAoVA3AhgJzATzAF4wo44AKAZgEoBuTXMAL2LACIALAUxnnbABqAg1RQArgDsAxgBcAlnEmlyFAB40wAb1QBIHN1nicytQwC+QA) do not): ```js var y = foo(3);...
```js function foo(x = number) { return true; } var x = foo`world`; ``` ``foo`world` `` should be validated as a call-expression, including both the template-literal (`` `world` ``) being...
### Bug report Checker tests keep failing on my end: ``` > [email protected] test /home/mohamededrah/Projects/Oss/TypL > node scripts/node-tests.js ********************************** ********** TESTING SRC *********** ********************************** TypL Test Suite (36) Passed: 'Runtime:...
```js const add = x => y => x + y; const a = add(1)(2); const b = add('a')('b'); const c = add(1)('b'); a - 1; ``` Expected results: 1....
This is an interesting idea that fits well with TypL's vision, should explore having it incorporated. https://twitter.com/mpjme/status/1127113416307630080
As I started to write more tests, I realized something is wrong with console.log(). ```js var a = int`` a = "44" console.log(a) ``` If I run the above code...
Need to be able to define a union type that can include multiple types. So... I'm imagining something like this: ```js var x = (union`int | string`)`42`; ``` **Note:** The...