Find a type checker and run it with Travis
See original GitHub issueI’m submitting a
- feature request.
Current Behaviour:
Type annotations with mypy
allow the code to tell developers which type of inputs/outputs are expected but there is no tool that checks that the annotations are respected by the functions
Expected Behaviour:
Some command-line tool should run with CI to check if types annotations are correct. See pyre
Issue Analytics
- State:
- Created 4 years ago
- Comments:9 (7 by maintainers)
Top Results From Across the Web
Travis CI Tutorial
Travis only runs builds on the commits you push after you've added a .travis.yml file. Check the build status page to see if...
Read more >Detecting when code is run on Travis CI - Stack Overflow
I have a nose test that uses a pathname to a png file in the tests directory. One path works in local testing,...
Read more >osyrisrblx/t: A Runtime Typechecker for Roblox - GitHub
Typechecking helps you ensure that your functions are recieving the appropriate types for their arguments. In Roblox specifically, it is important to type...
Read more >How to use Travis-CI for research - University College London
This guide explains how to use Travis-CI for automated integration and testing of research software.
Read more >Run-Time Type Checking in TypeScript with io-ts - Azavea
io-ts uses an Either to represent either the failure message or the data we expected. Let's see how that works. // index.ts.
Read more >Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start FreeTop Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
Top GitHub Comments
Hello folks, I have an interesting opinion about this issue, how about we add a static analyzer such as DeepSource to the CI?
These might be some interesting findings.
this content is not related to this issue. For any question, first use Slack and search for past issues or Google. If there is no other reference, open a new issue. Please follow Code Contribution rules.