Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/getify/TypL

The Type Linter for JS
https://github.com/getify/TypL

assertion javascript linter types

Last synced: about 1 month ago
JSON representation

The Type Linter for JS

Host: GitHub
URL: https://github.com/getify/TypL
Owner: getify
License: mit
Created: 2019-01-25T20:57:25.000Z (over 5 years ago)
Default Branch: master
Last Pushed: 2021-11-11T18:23:30.000Z (over 2 years ago)
Last Synced: 2024-04-23T11:02:56.872Z (about 1 month ago)
Topics: assertion, javascript, linter, types
Language: JavaScript
Homepage: https://TypL.dev
Size: 215 KB
Stars: 368
Watchers: 31
Forks: 13
Open Issues: 23
Metadata Files:
- Readme: README.md
- Funding: .github/FUNDING.yml
- License: LICENSE.txt

Lists

awesome-javascript - TypL - the JavaScript Type Linter with a bias on type inference. (Type Checkers)
awesome-javascript-cn - TypL
awesome-javascript - TypL - the JavaScript Type Linter with a bias on type inference. (Type Checkers)
awesome-stars - TypL - The Type Linter for JS (JavaScript)
awesome-stars - TypL - The JavaScript Type Linter (JavaScript)
awesome-javascript - TypL
awesome-javascript-builds-project - TypL - the JavaScript Type Linter with a bias on type inference. (Type Checkers)
awesome-javascript - TypL - The Type Linter for JS ` 📝 a year ago ` (Type Checkers [🔝](#readme))

README

# TypL

The ***Typ***e ***L***inter for JS.

## Overview

**TypL** provides optional type annotations for JS programs, so you can verify that you haven't mixed incompatible value-types in any operations (which can cause bugs!). However, **TypL** takes a different approach from the more well-known [TypeScript](https://www.typescriptlang.org/) and [Flow](https://flow.org/) tools.

As a quick glance at the differences:

* not a typed-language variant of JS, but rather a (type) linter in the truest sense: **TypL** checks code against a set of opinions (that you control!) about how types should be treated in your program; with a **heavy emphasis on type inferencing**, you can run type linting on existing JS programs without any code changes

* for type annotations, uses only standard valid JS syntax (ES6 template tags), so type-annotated code can be executed without any compilation step if desired (as long as the runtime library is present)

* shifts focus from "typing your variables" to "typing your values and expressions"; variables optionally get assigned "implied types" from the annotated value-types

* provides compile-time static type checks as well as runtime dynamic type checks (assertions), both of which are optional

* completely configurable (like [ESLint](https://eslint.org/)), so you're always in control of what is reported as a type error or not -- for example, you decide if some specific type conversion/coercion is allowed, etc

TypL is still in early development. For more information, please see: [TypL.dev](https://typl.dev).

## Run

```
bin/typl --file=./some-code.js
```

or:

```
node ./lib/cli.js --file=./some-code.js
```

## Test

```
npm test
```

## Project Champions

I would like to thank the following people for their generous [sponsorship as a project champion](https://github.com/users/getify/sponsorship). You are awesome!

* [Judith Rohatiner @jrohatiner](https://github.com/jrohatiner)

## License