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

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

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.)

The definitions of standard_library in tl.tl are not complete.

I've been adding them on an "as-needed" basis, but all definitions for Lua 5.3 (which would be a good starting point for a tl standard library) are not there yet.

An easy way to help with development is to add more entries to that table with the missing functions. It shouldn't be hard to write down the types of most functions

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.

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.

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