type-checking
Here are 103 public repositories matching this topic...
I was excited to see the introduction to modern Haskell as I find that it's very confusing to enter Haskell these days as many or most introductions doesn't actually match current practices (Text vs. String, cabal vs. plain GHC, etc). However, I was bewildered when the Cabal & Stack section didn't mention Stack. Is this merely waiting for someone to write it? At the very least, we should be
-
Updated
May 19, 2020 - Python
-
Updated
May 19, 2020 - TypeScript
-
Updated
May 14, 2020 - JavaScript
Right now the only way to restart mypy daemon is to do it manually in terminal. Also the daemon stays up even when exiting PyCharm.
It would be nice to add functions to restart the daemon since you have to do that to load new config files.
We provide the signatures of a very limited number of standard library classes. We will really appreciate if you write the signature of other classes.
(Note that we are currently working for standard library signatures.)
-
Updated
Jan 8, 2018 - JavaScript
-
Updated
Apr 5, 2020 - JavaScript
-
Updated
Mar 25, 2020 - Java
-
Updated
Apr 16, 2020 - JavaScript
-
Updated
May 14, 2020 - JavaScript
-
Updated
May 6, 2019 - TypeScript
-
Updated
Oct 19, 2017 - Scala
-
Updated
Mar 18, 2020 - JavaScript
-
Updated
Jan 17, 2019 - C++
It's unclear yet whether this should be implemented in Typology
module itself, or TypologyLSP
module. I'm inclined to do the former, as this would allow to do semantic checks against doc comments (number of parameters and their names) and make doc comment auto-complete suggestions with parameter names auto-filled.
-
Updated
Dec 17, 2019 - OCaml
-
Updated
Apr 8, 2020 - Python
Description.
Using mypy plugin doesn't seem possible.
cat mypy.ini
[mypy]
ignore_missing_imports = True
plugins = pydantic.mypy
external/mypy_integration_config/mypy.ini:4: error: Error importing plugin 'pydantic.mypy': No module named 'pydantic'
Found 1 error in 1 file (checked 1 source file)
Solution.
Make _mypy_cli
-
Updated
Apr 16, 2019 - JavaScript
-
Updated
Apr 21, 2020 - TypeScript
-
Updated
Apr 6, 2020 - CoffeeScript
-
Updated
May 13, 2020 - Python
-
Updated
May 9, 2020 - Kotlin
-
Updated
Dec 2, 2018 - Go
-
Updated
Jan 4, 2020 - Ruby
-
Updated
Mar 17, 2019 - OCaml
Improve this page
Add a description, image, and links to the type-checking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-checking topic, visit your repo's landing page and select "manage topics."
Thanks for the library really useful and simple! I so requests to add functionality to pass custom error message, and it was closed with introducing labels.
But be able to create custom